ENTITY functional_specification_armx SUBTYPE OF (functional_specification); associated_definition : functional_specification_definition; reference_signal : SET [1:?] OF signal_specification; characterizing_functional_unit : functional_unit_armx; characterizing_signal : SET [1:?] OF signal_specification; DERIVE SELF\representation.items : SET [1:?] OF representation_item := ?; SELF\representation.context_of_items : representation_context := ?; SELF\representation.name : label := ?; INVERSE characteristic_category : external_source_identification FOR items; WHERE wr1: characterizing_functional_unit.composed_network = associated_definition; END_ENTITY; -- functional_specification_armx |
Entity data types and their attributesrepresentationname: label; items: SET [1:?] OF representation_item; context_of_items: representation_context; (DER) id: identifier; (DER) description: text; functional_specification - functional_specification_armx associated_definition: functional_specification_definition; reference_signal: SET [1:?] OF signal_specification; characterizing_functional_unit: functional_unit_armx; characterizing_signal: SET [1:?] OF signal_specification; (RT) (DER) items: SET [1:?] OF representation_item; (RT) (DER) context_of_items: representation_context; (RT) (DER) name: label; (INV) characteristic_category: external_source_identification FOR items; |
Global rules for this entity data type- |
public interface EFunctional_specification_armx extends EFunctional_specificationassociated_definition (explicit attribute)boolean testAssociated_definition(EFunctional_specification_armx type)EFunctional_specification_definition getAssociated_definition(EFunctional_specification_armx type) void setAssociated_definition(EFunctional_specification_armx type, EFunctional_specification_definition value) void unsetAssociated_definition(EFunctional_specification_armx type) reference_signal (explicit attribute)boolean testReference_signal(EFunctional_specification_armx type)ASignal_specification getReference_signal(EFunctional_specification_armx type) ASignal_specification createReference_signal(EFunctional_specification_armx type) void unsetReference_signal(EFunctional_specification_armx type) characterizing_functional_unit (explicit attribute)boolean testCharacterizing_functional_unit(EFunctional_specification_armx type)EFunctional_unit_armx getCharacterizing_functional_unit(EFunctional_specification_armx type) void setCharacterizing_functional_unit(EFunctional_specification_armx type, EFunctional_unit_armx value) void unsetCharacterizing_functional_unit(EFunctional_specification_armx type) characterizing_signal (explicit attribute)boolean testCharacterizing_signal(EFunctional_specification_armx type)ASignal_specification getCharacterizing_signal(EFunctional_specification_armx type) ASignal_specification createCharacterizing_signal(EFunctional_specification_armx type) void unsetCharacterizing_signal(EFunctional_specification_armx type) characteristic_category (inverse attribute)AExternal_source_identification getCharacteristic_category(EFunctional_specification_armx type, ASdaiModel domain) |
public class CFunctional_specification_armx implements EFunctional_specification_armxstatic EAttribute attributeAssociated_definition(EFunctional_specification_armx type)static int usedinAssociated_definition(EFunctional_specification_armx type, EFunctional_specification_definition instance, ASdaiModel domain, AFunctional_specification_armx result) static EAttribute attributeReference_signal(EFunctional_specification_armx type) static int usedinReference_signal(EFunctional_specification_armx type, ESignal_specification instance, ASdaiModel domain, AFunctional_specification_armx result) static EAttribute attributeCharacterizing_functional_unit(EFunctional_specification_armx type) static int usedinCharacterizing_functional_unit(EFunctional_specification_armx type, EFunctional_unit_armx instance, ASdaiModel domain, AFunctional_specification_armx result) static EAttribute attributeCharacterizing_signal(EFunctional_specification_armx type) static int usedinCharacterizing_signal(EFunctional_specification_armx type, ESignal_specification instance, ASdaiModel domain, AFunctional_specification_armx result) static EAttribute attributeItems(EFunctional_specification_armx type) static int usedinItems(EFunctional_specification_armx type, ERepresentation_item instance, ASdaiModel domain, AFunctional_specification_armx result) static EAttribute attributeContext_of_items(EFunctional_specification_armx type) static int usedinContext_of_items(EFunctional_specification_armx type, ERepresentation_context instance, ASdaiModel domain, AFunctional_specification_armx result) static EAttribute attributeName(EFunctional_specification_armx type) static EAttribute attributeCharacteristic_category(EFunctional_specification_armx type) |
public class AFunctional_specification_armx extends AEntitypublic EFunctional_specification_armx getByIndex(int index)public EFunctional_specification_armx getCurrentMember(SdaiIterator it) |