Interval_expression

ISO13584_EXPRESSIONS_SCHEMA (jsdai.SIso13584_expressions_schema)

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 attributes

generic_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;

Users

generic_expression
abstracted_expression_function.expr
analysis_item.items
analysed_item
upfrompm_ap233_analysed_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
application_defined_function.parameters
maths_value
applied_action_method_assignment.items
action_method_items
fbb2_action_method_items
parameter_value_select
applied_certification_assignment.items
certification_item
upfrompm_ap233_certification_item
groupable_item
generic_expression_groupable_item
applied_experience_type_assignment.items
experience_type_item
upfrompm_ap233_experience_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_group_assignment.items
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_person_type_assignment.items
person_type_item
upfrompm_ap233_person_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
banded_matrix.default_entry
maths_value
basic_sparse_matrix.default_entry
maths_value
binary_generic_expression.operands
bound_variational_parameter.parameter_current_value
maths_value
constant_function.sole_output
maths_value
definite_integral_expression.integrand
expression_denoted_function.expr
finite_function.pairs
maths_value
finite_space.members
maths_value
format_function.format_string
format_function.value_to_format
function_application.arguments
maths_value
function_application.operands
functional_terminal_group_assignment.items
groupable_item
generic_expression_groupable_item
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
issue_reference_mapping.items
issue_reference_item
upfromsm_ap233_issue_reference_item
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
rational_representation_item_xim.operands
strict_triangular_matrix.main_diagonal_value
maths_value
substring_expression.index1
substring_expression.index2
substring_expression.operand
symmetric_banded_matrix.default_entry
maths_value
triangular_matrix.default_entry
maths_value
unary_generic_expression.operand
variational_parameter.parameter_current_value
maths_value
verification_evidence.items
verification_evidence_item
smpushup_ap233_verification_evidence_item
groupable_item
generic_expression_groupable_item
expression
comparison_expression.operands
expression_assignment.assigned_expression
expression_relationship.related
expression_relationship.relating
expression_representation_item.item
expression_element
free_form_constraint.constraining_expression
literal_assignment.base
boolean_expression
multiple_arity_boolean_expression.operands
not_expression.operand
xor_expression.operands
generic_expression
abstracted_expression_function.expr
analysis_item.items
analysed_item
upfrompm_ap233_analysed_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
application_defined_function.parameters
maths_value
applied_action_method_assignment.items
action_method_items
fbb2_action_method_items
parameter_value_select
applied_certification_assignment.items
certification_item
upfrompm_ap233_certification_item
groupable_item
generic_expression_groupable_item
applied_experience_type_assignment.items
experience_type_item
upfrompm_ap233_experience_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_group_assignment.items
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_person_type_assignment.items
person_type_item
upfrompm_ap233_person_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
banded_matrix.default_entry
maths_value
basic_sparse_matrix.default_entry
maths_value
binary_generic_expression.operands
bound_variational_parameter.parameter_current_value
maths_value
constant_function.sole_output
maths_value
definite_integral_expression.integrand
expression_denoted_function.expr
finite_function.pairs
maths_value
finite_space.members
maths_value
format_function.format_string
format_function.value_to_format
function_application.arguments
maths_value
function_application.operands
functional_terminal_group_assignment.items
groupable_item
generic_expression_groupable_item
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
issue_reference_mapping.items
issue_reference_item
upfromsm_ap233_issue_reference_item
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
rational_representation_item_xim.operands
strict_triangular_matrix.main_diagonal_value
maths_value
substring_expression.index1
substring_expression.index2
substring_expression.operand
symmetric_banded_matrix.default_entry
maths_value
triangular_matrix.default_entry
maths_value
unary_generic_expression.operand
variational_parameter.parameter_current_value
maths_value
verification_evidence.items
verification_evidence_item
smpushup_ap233_verification_evidence_item
groupable_item
generic_expression_groupable_item
multiple_arity_generic_expression
interval_expression

Global rules for this entity data type

public interface EInterval_expression extends EBoolean_expression, EMultiple_arity_generic_expression

interval_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_expression

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

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