Overview Schemas Index

KINEMATIC_STRUCTURE_SCHEMA (jsdai.SKinematic_structure_schema)


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 attributes

initial_state
          applies_to_mechanism: mechanism;
          pair_values: SET [1:?] OF pair_value;

Users

initial_state

Global rules for this entity data type

          -

public interface EInitial_state extends EEntity

applies_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_state

          static 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 AEntity

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