Configuration

SPECIFICATION_BASED_CONFIGURATION_XIM (jsdai.SSpecification_based_configuration_xim)

ENTITY configuration
SUBTYPE OF (configured_effectivity_assignment);
is_solution_for : configured_specification_select;
configuration_type : configuration_kind;
inheritance_type : configuration_inheritance_types;
DERIVE
SELF\effectivity_assignment.role : object_role := ?;
WHERE
wr1: consistent_configuration_type(SELF);
END_ENTITY; -- configuration

Entity data types and their attributes

effectivity_assignment
assigned_effectivity: effectivity;
(DER) role: object_role;
configured_effectivity_assignment
items: SET [1:?] OF configured_effectivity_item;
configuration
is_solution_for: configured_specification_select;
configuration_type: configuration_kind;
inheritance_type: configuration_inheritance_types;
(RT) (DER) role: object_role;

Users

Global rules for this entity data type

public interface EConfiguration extends EConfigured_effectivity_assignment

is_solution_for (explicit attribute)

int testIs_solution_for(EConfiguration type)
case 1
EEntity getIs_solution_for(EConfiguration type)
void setIs_solution_for(EConfiguration type, EEntity value, EEntity node1)
void unsetIs_solution_for(EConfiguration type)

configuration_type (explicit attribute)

boolean testConfiguration_type(EConfiguration type)
int getConfiguration_type(EConfiguration type)
void setConfiguration_type(EConfiguration type, int value)
void unsetConfiguration_type(EConfiguration type)

inheritance_type (explicit attribute)

boolean testInheritance_type(EConfiguration type)
int getInheritance_type(EConfiguration type)
void setInheritance_type(EConfiguration type, int value)
void unsetInheritance_type(EConfiguration type)

public class CConfiguration implements EConfiguration

static EAttribute attributeIs_solution_for(EConfiguration type)
static int usedinIs_solution_for(EConfiguration type, EEntity instance, ASdaiModel domain, AConfiguration result)
static EAttribute attributeConfiguration_type(EConfiguration type)
static EAttribute attributeInheritance_type(EConfiguration type)
static EAttribute attributeRole(EConfiguration type)
static int usedinRole(EConfiguration type, EObject_role instance, ASdaiModel domain, AConfiguration result)

public class AConfiguration extends AEntity

public EConfiguration getByIndex(int index)
public EConfiguration getCurrentMember(SdaiIterator it)