ENTITY maths_variable SUBTYPE OF (generic_variable); values_space : maths_space; name : label; WHERE wr1: expression_is_constant(values_space); END_ENTITY; -- maths_variable |
Entity data types and their attributesgeneric_expression- simple_generic_expression - generic_variable (INV) interpretation: environment FOR syntactic_representation; maths_variable values_space: maths_space; name: label; |
maths_boolean_variable (MATHEMATICAL_FUNCTIONS_SCHEMA) |
maths_integer_variable (MATHEMATICAL_FUNCTIONS_SCHEMA) |
maths_real_variable (MATHEMATICAL_FUNCTIONS_SCHEMA) |
maths_string_variable (MATHEMATICAL_FUNCTIONS_SCHEMA) |
variational_parameter (PARAMETERIZATION_SCHEMA) |
Global rules for this entity data type- |
public interface EMaths_variable extends EGeneric_variablevalues_space (explicit attribute)boolean testValues_space(EMaths_variable type)EMaths_space getValues_space(EMaths_variable type) void setValues_space(EMaths_variable type, EMaths_space value) void unsetValues_space(EMaths_variable type) name (explicit attribute)boolean testName(EMaths_variable type)String getName(EMaths_variable type) void setName(EMaths_variable type, String value) void unsetName(EMaths_variable type) |
public class CMaths_variable implements EMaths_variablestatic EAttribute attributeValues_space(EMaths_variable type)static int usedinValues_space(EMaths_variable type, EMaths_space instance, ASdaiModel domain, AMaths_variable result) static EAttribute attributeName(EMaths_variable type) |
public class AMaths_variable extends AEntitypublic EMaths_variable getByIndex(int index)public EMaths_variable getCurrentMember(SdaiIterator it) |