GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
CONSTRAINT_NO
+
Point of view
All features
ANY
All features
class CONSTRAINT_NO
Summary
top
the 2 items can not be associated (forbidden association)
Direct parents
Inherit list:
CONSTRAINT_COUPLE
Overview
top
Creation features
Features
{
ANY
}
build_masks
(builder:
MASK_BUILDER
)
creation of the mask for the constraint
{
ANY
}
item1
:
ITEM
the couple of items
item2
:
ITEM
the couple of items
make
(i1:
ITEM
, i2:
ITEM
)
creation
get_items
(collector:
ITEM_COLLECTOR
)
collect the items
build_masks
(builder:
MASK_BUILDER
)
effective procedure
{
ANY
}
top
creation of the mask for the constraint
item1
:
ITEM
writable attribute
{
ANY
}
top
the couple of items
item2
:
ITEM
writable attribute
{
ANY
}
top
the couple of items
make
(i1:
ITEM
, i2:
ITEM
)
effective procedure
{
ANY
}
top
creation
require
i1.group /= i2.group
get_items
(collector:
ITEM_COLLECTOR
)
effective procedure
{
ANY
}
top
collect the items