ENTITY interval_expression SUBTYPE OF (boolean_expression, multiple_arity_generic_expression); DERIVE interval_low : generic_expression := SELF\multiple_arity_generic_expression.operands[1]; interval_item : generic_expression := SELF\multiple_arity_generic_expression.operands[2]; interval_high : generic_expression := SELF\multiple_arity_generic_expression.operands[3]; WHERE wr1: ('ISO13584_EXPRESSIONS_SCHEMA.EXPRESSION' IN TYPEOF(interval_low)) AND ('ISO13584_EXPRESSIONS_SCHEMA.EXPRESSION' IN TYPEOF(interval_item) ) AND ('ISO13584_EXPRESSIONS_SCHEMA.EXPRESSION' IN TYPEOF(interval_high)); wr2: (('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' IN TYPEOF (SELF.interval_low)) AND ('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' IN TYPEOF (SELF.interval_high)) AND ('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' IN TYPEOF (SELF.interval_item))) OR (('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' IN TYPEOF(SELF.interval_low)) AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(SELF.interval_item)) AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(SELF.interval_high))); END_ENTITY; -- interval_expression |
Entity data types and their attributesgeneric_expression- expression - boolean_expression - multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; interval_expression (DER) interval_low: generic_expression; (DER) interval_item: generic_expression; (DER) interval_high: generic_expression; |
Global rules for this entity data type- |
public interface EInterval_expression extends EBoolean_expression, EMultiple_arity_generic_expressioninterval_low (derived attribute)EGeneric_expression getInterval_low(EInterval_expression type)boolean testInterval_low(EInterval_expression type) interval_item (derived attribute)EGeneric_expression getInterval_item(EInterval_expression type)boolean testInterval_item(EInterval_expression type) interval_high (derived attribute)EGeneric_expression getInterval_high(EInterval_expression type)boolean testInterval_high(EInterval_expression type) |
public class CInterval_expression implements EInterval_expressionstatic EAttribute attributeInterval_low(EInterval_expression type)static int usedinInterval_low(EInterval_expression type, EGeneric_expression instance, ASdaiModel domain, AInterval_expression result) static EAttribute attributeInterval_item(EInterval_expression type) static int usedinInterval_item(EInterval_expression type, EGeneric_expression instance, ASdaiModel domain, AInterval_expression result) static EAttribute attributeInterval_high(EInterval_expression type) static int usedinInterval_high(EInterval_expression type, EGeneric_expression instance, ASdaiModel domain, AInterval_expression result) |
public class AInterval_expression extends AEntitypublic EInterval_expression getByIndex(int index)public EInterval_expression getCurrentMember(SdaiIterator it) |