ENTITY atom_based_literal SUBTYPE OF (generic_literal); lit_value : atom_based_value; END_ENTITY; -- atom_based_literal |
Entity data types and their attributesgeneric_expression- simple_generic_expression - generic_literal - atom_based_literal lit_value: atom_based_value; |
Global rules for this entity data type- |
public interface EAtom_based_literal extends EGeneric_literallit_value (explicit attribute)int testLit_value(EAtom_based_literal type)case sLit_valueMaths_number: double getLit_value(EAtom_based_literal type, EMaths_number node1) void setLit_value(EAtom_based_literal type, double value, EMaths_number node1) case sLit_valueMaths_real: double getLit_value(EAtom_based_literal type, EMaths_real node1) void setLit_value(EAtom_based_literal type, double value, EMaths_real node1) case sLit_valueMaths_integer: int getLit_value(EAtom_based_literal type, EMaths_integer node1) void setLit_value(EAtom_based_literal type, int value, EMaths_integer node1) case sLit_valueMaths_logical: int getLit_value(EAtom_based_literal type, EMaths_logical node1) void setLit_value(EAtom_based_literal type, int value, EMaths_logical node1) case sLit_valueMaths_boolean: boolean getLit_value(EAtom_based_literal type, EMaths_boolean node1) void setLit_value(EAtom_based_literal type, boolean value, EMaths_boolean node1) case sLit_valueMaths_string: String getLit_value(EAtom_based_literal type, EMaths_string node1) void setLit_value(EAtom_based_literal type, String value, EMaths_string node1) case sLit_valueMaths_binary: Binary getLit_value(EAtom_based_literal type, EMaths_binary node1) void setLit_value(EAtom_based_literal type, Binary value, EMaths_binary node1) case sLit_valueElementary_space_enumerators: int getLit_value(EAtom_based_literal type, EElementary_space_enumerators node1) void setLit_value(EAtom_based_literal type, int value, EElementary_space_enumerators node1) case sLit_valueOrdering_type: int getLit_value(EAtom_based_literal type, EOrdering_type node1) void setLit_value(EAtom_based_literal type, int value, EOrdering_type node1) case sLit_valueLower_upper: int getLit_value(EAtom_based_literal type, ELower_upper node1) void setLit_value(EAtom_based_literal type, int value, ELower_upper node1) case sLit_valueSymmetry_type: int getLit_value(EAtom_based_literal type, ESymmetry_type node1) void setLit_value(EAtom_based_literal type, int value, ESymmetry_type node1) case sLit_valueElementary_function_enumerators: int getLit_value(EAtom_based_literal type, EElementary_function_enumerators node1) void setLit_value(EAtom_based_literal type, int value, EElementary_function_enumerators node1) case sLit_valueOpen_closed: int getLit_value(EAtom_based_literal type, EOpen_closed node1) void setLit_value(EAtom_based_literal type, int value, EOpen_closed node1) case sLit_valueSpace_constraint_type: int getLit_value(EAtom_based_literal type, ESpace_constraint_type node1) void setLit_value(EAtom_based_literal type, int value, ESpace_constraint_type node1) case sLit_valueRepackage_options: int getLit_value(EAtom_based_literal type, ERepackage_options node1) void setLit_value(EAtom_based_literal type, int value, ERepackage_options node1) case sLit_valueExtension_options: int getLit_value(EAtom_based_literal type, EExtension_options node1) void setLit_value(EAtom_based_literal type, int value, EExtension_options node1) case sLit_valueAtom_based_tuple: AAtom_based_value getLit_value(EAtom_based_literal type, EAtom_based_tuple node1) void setLit_value(EAtom_based_literal type, AAtom_based_value value, EAtom_based_tuple node1) void unsetLit_value(EAtom_based_literal type) |
public class CAtom_based_literal implements EAtom_based_literalstatic EAttribute attributeLit_value(EAtom_based_literal type)static int usedinLit_value(EAtom_based_literal type, EEntity instance, ASdaiModel domain, AAtom_based_literal result) |
public class AAtom_based_literal extends AEntitypublic EAtom_based_literal getByIndex(int index)public EAtom_based_literal getCurrentMember(SdaiIterator it) |