ENTITY initial_state; applies_to_mechanism : mechanism; pair_values : SET [1:?] OF pair_value; WHERE wr1: SIZEOF (QUERY (joint <* applies_to_mechanism.structure_definition.joints | SIZEOF (QUERY (init_val <* pair_values | init_val.applies_to_pair.joint :=: joint)) <> 1)) = 0; END_ENTITY; -- initial_state |
Entity data types and their attributesinitial_stateapplies_to_mechanism: mechanism; pair_values: SET [1:?] OF pair_value; |
Usersinitial_state |
Global rules for this entity data type- |
public interface EInitial_state extends EEntityapplies_to_mechanism (explicit attribute)boolean testApplies_to_mechanism(EInitial_state type)EMechanism getApplies_to_mechanism(EInitial_state type) void setApplies_to_mechanism(EInitial_state type, EMechanism value) void unsetApplies_to_mechanism(EInitial_state type) pair_values (explicit attribute)boolean testPair_values(EInitial_state type)APair_value getPair_values(EInitial_state type) APair_value createPair_values(EInitial_state type) void unsetPair_values(EInitial_state type) |
public class CInitial_state implements EInitial_statestatic EAttribute attributeApplies_to_mechanism(EInitial_state type)static int usedinApplies_to_mechanism(EInitial_state type, EMechanism instance, ASdaiModel domain, AInitial_state result) static EAttribute attributePair_values(EInitial_state type) static int usedinPair_values(EInitial_state type, EPair_value instance, ASdaiModel domain, AInitial_state result) |
public class AInitial_state extends AEntitypublic EInitial_state getByIndex(int index)public EInitial_state getCurrentMember(SdaiIterator it) |