Interface ProblemPackage.Literals

Enclosing interface:
ProblemPackage

public static interface ProblemPackage.Literals
Defines literals for the meta objects that represent
  • each class,
  • each feature of each class,
  • each operation of each class,
  • each enum,
  • and each data type
  • Field Details Link icon

    • PROBLEM Link icon

      static final org.eclipse.emf.ecore.EClass PROBLEM
      The meta object literal for the 'Problem' class.
      See Also:
    • PROBLEM__NODES Link icon

      static final org.eclipse.emf.ecore.EReference PROBLEM__NODES
      The meta object literal for the 'Nodes' containment reference list feature.
    • PROBLEM__STATEMENTS Link icon

      static final org.eclipse.emf.ecore.EReference PROBLEM__STATEMENTS
      The meta object literal for the 'Statements' containment reference list feature.
    • PROBLEM__KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute PROBLEM__KIND
      The meta object literal for the 'Kind' attribute feature.
    • PROBLEM__EXPLICIT_KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute PROBLEM__EXPLICIT_KIND
      The meta object literal for the 'Explicit Kind' attribute feature.
    • CLASS_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass CLASS_DECLARATION
      The meta object literal for the 'Class Declaration' class.
      See Also:
    • CLASS_DECLARATION__ABSTRACT Link icon

      static final org.eclipse.emf.ecore.EAttribute CLASS_DECLARATION__ABSTRACT
      The meta object literal for the 'Abstract' attribute feature.
    • CLASS_DECLARATION__FEATURE_DECLARATIONS Link icon

      static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__FEATURE_DECLARATIONS
      The meta object literal for the 'Feature Declarations' containment reference list feature.
    • CLASS_DECLARATION__NEW_NODE Link icon

      static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__NEW_NODE
      The meta object literal for the 'New Node' containment reference feature.
    • CLASS_DECLARATION__SUPER_TYPES Link icon

      static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__SUPER_TYPES
      The meta object literal for the 'Super Types' reference list feature.
    • REFERENCE_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass REFERENCE_DECLARATION
      The meta object literal for the 'Reference Declaration' class.
      See Also:
    • REFERENCE_DECLARATION__OPPOSITE Link icon

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__OPPOSITE
      The meta object literal for the 'Opposite' reference feature.
    • REFERENCE_DECLARATION__MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__MULTIPLICITY
      The meta object literal for the 'Multiplicity' containment reference feature.
    • REFERENCE_DECLARATION__KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute REFERENCE_DECLARATION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • REFERENCE_DECLARATION__REFERENCE_TYPE Link icon

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__REFERENCE_TYPE
      The meta object literal for the 'Reference Type' reference feature.
    • REFERENCE_DECLARATION__INVALID_MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__INVALID_MULTIPLICITY
      The meta object literal for the 'Invalid Multiplicity' containment reference feature.
    • REFERENCE_DECLARATION__SUPER_SETS Link icon

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__SUPER_SETS
      The meta object literal for the 'Super Sets' reference list feature.
    • NAMED_ELEMENT Link icon

      static final org.eclipse.emf.ecore.EClass NAMED_ELEMENT
      The meta object literal for the 'Named Element' class.
      See Also:
    • NAMED_ELEMENT__NAME Link icon

      static final org.eclipse.emf.ecore.EAttribute NAMED_ELEMENT__NAME
      The meta object literal for the 'Name' attribute feature.
    • PREDICATE_DEFINITION Link icon

      static final org.eclipse.emf.ecore.EClass PREDICATE_DEFINITION
      The meta object literal for the 'Predicate Definition' class.
      See Also:
    • PREDICATE_DEFINITION__BODIES Link icon

      static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__BODIES
      The meta object literal for the 'Bodies' containment reference list feature.
    • PREDICATE_DEFINITION__KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute PREDICATE_DEFINITION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • PREDICATE_DEFINITION__COMPUTED_VALUE Link icon

      static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__COMPUTED_VALUE
      The meta object literal for the 'Computed Value' containment reference feature.
    • PREDICATE_DEFINITION__SUPER_SETS Link icon

      static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__SUPER_SETS
      The meta object literal for the 'Super Sets' reference list feature.
    • PARAMETER Link icon

      static final org.eclipse.emf.ecore.EClass PARAMETER
      The meta object literal for the 'Parameter' class.
      See Also:
    • PARAMETER__PARAMETER_TYPE Link icon

      static final org.eclipse.emf.ecore.EReference PARAMETER__PARAMETER_TYPE
      The meta object literal for the 'Parameter Type' reference feature.
    • PARAMETER__KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute PARAMETER__KIND
      The meta object literal for the 'Kind' attribute feature.
    • VARIABLE Link icon

      static final org.eclipse.emf.ecore.EClass VARIABLE
      The meta object literal for the 'Variable' class.
      See Also:
    • ATOM Link icon

      static final org.eclipse.emf.ecore.EClass ATOM
      The meta object literal for the 'Atom' class.
      See Also:
    • ATOM__TRANSITIVE_CLOSURE Link icon

      static final org.eclipse.emf.ecore.EAttribute ATOM__TRANSITIVE_CLOSURE
      The meta object literal for the 'Transitive Closure' attribute feature.
    • ATOM__ARGUMENTS Link icon

      static final org.eclipse.emf.ecore.EReference ATOM__ARGUMENTS
      The meta object literal for the 'Arguments' containment reference list feature.
    • ATOM__RELATION Link icon

      static final org.eclipse.emf.ecore.EReference ATOM__RELATION
      The meta object literal for the 'Relation' reference feature.
    • IMPLICIT_VARIABLE Link icon

      static final org.eclipse.emf.ecore.EClass IMPLICIT_VARIABLE
      The meta object literal for the 'Implicit Variable' class.
      See Also:
    • EXISTENTIAL_QUANTIFIER Link icon

      static final org.eclipse.emf.ecore.EClass EXISTENTIAL_QUANTIFIER
      The meta object literal for the 'Existential Quantifier' class.
      See Also:
    • EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES Link icon

      static final org.eclipse.emf.ecore.EReference EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES
      The meta object literal for the 'Implicit Variables' containment reference list feature.
    • ABSTRACT_ASSERTION Link icon

      static final org.eclipse.emf.ecore.EClass ABSTRACT_ASSERTION
      The meta object literal for the 'Abstract Assertion' class.
      See Also:
    • ABSTRACT_ASSERTION__ARGUMENTS Link icon

      static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__ARGUMENTS
      The meta object literal for the 'Arguments' containment reference list feature.
    • ABSTRACT_ASSERTION__RELATION Link icon

      static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__RELATION
      The meta object literal for the 'Relation' reference feature.
    • ABSTRACT_ASSERTION__VALUE Link icon

      static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • NODE Link icon

      static final org.eclipse.emf.ecore.EClass NODE
      The meta object literal for the 'Node' class.
      See Also:
    • SCOPE_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass SCOPE_DECLARATION
      The meta object literal for the 'Scope Declaration' class.
      See Also:
    • SCOPE_DECLARATION__TYPE_SCOPES Link icon

      static final org.eclipse.emf.ecore.EReference SCOPE_DECLARATION__TYPE_SCOPES
      The meta object literal for the 'Type Scopes' containment reference list feature.
    • STATEMENT Link icon

      static final org.eclipse.emf.ecore.EClass STATEMENT
      The meta object literal for the 'Statement' class.
      See Also:
    • TYPE_SCOPE Link icon

      static final org.eclipse.emf.ecore.EClass TYPE_SCOPE
      The meta object literal for the 'Type Scope' class.
      See Also:
    • TYPE_SCOPE__INCREMENT Link icon

      static final org.eclipse.emf.ecore.EAttribute TYPE_SCOPE__INCREMENT
      The meta object literal for the 'Increment' attribute feature.
    • TYPE_SCOPE__MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EReference TYPE_SCOPE__MULTIPLICITY
      The meta object literal for the 'Multiplicity' containment reference feature.
    • TYPE_SCOPE__TARGET_TYPE Link icon

      static final org.eclipse.emf.ecore.EReference TYPE_SCOPE__TARGET_TYPE
      The meta object literal for the 'Target Type' reference feature.
    • MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EClass MULTIPLICITY
      The meta object literal for the 'Multiplicity' class.
      See Also:
    • RANGE_MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EClass RANGE_MULTIPLICITY
      The meta object literal for the 'Range Multiplicity' class.
      See Also:
    • RANGE_MULTIPLICITY__LOWER_BOUND Link icon

      static final org.eclipse.emf.ecore.EAttribute RANGE_MULTIPLICITY__LOWER_BOUND
      The meta object literal for the 'Lower Bound' attribute feature.
    • RANGE_MULTIPLICITY__UPPER_BOUND Link icon

      static final org.eclipse.emf.ecore.EAttribute RANGE_MULTIPLICITY__UPPER_BOUND
      The meta object literal for the 'Upper Bound' attribute feature.
    • EXACT_MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EClass EXACT_MULTIPLICITY
      The meta object literal for the 'Exact Multiplicity' class.
      See Also:
    • EXACT_MULTIPLICITY__EXACT_VALUE Link icon

      static final org.eclipse.emf.ecore.EAttribute EXACT_MULTIPLICITY__EXACT_VALUE
      The meta object literal for the 'Exact Value' attribute feature.
    • UNBOUNDED_MULTIPLICITY Link icon

      static final org.eclipse.emf.ecore.EClass UNBOUNDED_MULTIPLICITY
      The meta object literal for the 'Unbounded Multiplicity' class.
      See Also:
    • ENUM_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass ENUM_DECLARATION
      The meta object literal for the 'Enum Declaration' class.
      See Also:
    • ENUM_DECLARATION__LITERALS Link icon

      static final org.eclipse.emf.ecore.EReference ENUM_DECLARATION__LITERALS
      The meta object literal for the 'Literals' containment reference list feature.
    • VARIABLE_OR_NODE Link icon

      static final org.eclipse.emf.ecore.EClass VARIABLE_OR_NODE
      The meta object literal for the 'Variable Or Node' class.
      See Also:
    • CONSTANT Link icon

      static final org.eclipse.emf.ecore.EClass CONSTANT
      The meta object literal for the 'Constant' class.
      See Also:
    • INT_CONSTANT Link icon

      static final org.eclipse.emf.ecore.EClass INT_CONSTANT
      The meta object literal for the 'Int Constant' class.
      See Also:
    • INT_CONSTANT__INT_VALUE Link icon

      static final org.eclipse.emf.ecore.EAttribute INT_CONSTANT__INT_VALUE
      The meta object literal for the 'Int Value' attribute feature.
    • REAL_CONSTANT Link icon

      static final org.eclipse.emf.ecore.EClass REAL_CONSTANT
      The meta object literal for the 'Real Constant' class.
      See Also:
    • REAL_CONSTANT__REAL_VALUE Link icon

      static final org.eclipse.emf.ecore.EAttribute REAL_CONSTANT__REAL_VALUE
      The meta object literal for the 'Real Value' attribute feature.
    • STRING_CONSTANT Link icon

      static final org.eclipse.emf.ecore.EClass STRING_CONSTANT
      The meta object literal for the 'String Constant' class.
      See Also:
    • STRING_CONSTANT__STRING_VALUE Link icon

      static final org.eclipse.emf.ecore.EAttribute STRING_CONSTANT__STRING_VALUE
      The meta object literal for the 'String Value' attribute feature.
    • NODE_ASSERTION_ARGUMENT Link icon

      static final org.eclipse.emf.ecore.EClass NODE_ASSERTION_ARGUMENT
      The meta object literal for the 'Node Assertion Argument' class.
      See Also:
    • NODE_ASSERTION_ARGUMENT__NODE Link icon

      static final org.eclipse.emf.ecore.EReference NODE_ASSERTION_ARGUMENT__NODE
      The meta object literal for the 'Node' reference feature.
    • ASSERTION_ARGUMENT Link icon

      static final org.eclipse.emf.ecore.EClass ASSERTION_ARGUMENT
      The meta object literal for the 'Assertion Argument' class.
      See Also:
    • NODE_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass NODE_DECLARATION
      The meta object literal for the 'Node Declaration' class.
      See Also:
    • NODE_DECLARATION__NODES Link icon

      static final org.eclipse.emf.ecore.EReference NODE_DECLARATION__NODES
      The meta object literal for the 'Nodes' containment reference list feature.
    • NODE_DECLARATION__KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute NODE_DECLARATION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • WILDCARD_ASSERTION_ARGUMENT Link icon

      static final org.eclipse.emf.ecore.EClass WILDCARD_ASSERTION_ARGUMENT
      The meta object literal for the 'Wildcard Assertion Argument' class.
      See Also:
    • PARAMETRIC_DEFINITION Link icon

      static final org.eclipse.emf.ecore.EClass PARAMETRIC_DEFINITION
      The meta object literal for the 'Parametric Definition' class.
      See Also:
    • PARAMETRIC_DEFINITION__PARAMETERS Link icon

      static final org.eclipse.emf.ecore.EReference PARAMETRIC_DEFINITION__PARAMETERS
      The meta object literal for the 'Parameters' containment reference list feature.
    • RULE_DEFINITION Link icon

      static final org.eclipse.emf.ecore.EClass RULE_DEFINITION
      The meta object literal for the 'Rule Definition' class.
      See Also:
    • RULE_DEFINITION__CONSEQUENTS Link icon

      static final org.eclipse.emf.ecore.EReference RULE_DEFINITION__CONSEQUENTS
      The meta object literal for the 'Consequents' containment reference list feature.
    • RULE_DEFINITION__PRECONDITIONS Link icon

      static final org.eclipse.emf.ecore.EReference RULE_DEFINITION__PRECONDITIONS
      The meta object literal for the 'Preconditions' containment reference list feature.
    • RULE_DEFINITION__KIND Link icon

      static final org.eclipse.emf.ecore.EAttribute RULE_DEFINITION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • CONSEQUENT Link icon

      static final org.eclipse.emf.ecore.EClass CONSEQUENT
      The meta object literal for the 'Consequent' class.
      See Also:
    • CONSEQUENT__ACTIONS Link icon

      static final org.eclipse.emf.ecore.EReference CONSEQUENT__ACTIONS
      The meta object literal for the 'Actions' containment reference list feature.
    • ACTION Link icon

      static final org.eclipse.emf.ecore.EClass ACTION
      The meta object literal for the 'Action' class.
      See Also:
    • ASSERTION_ACTION Link icon

      static final org.eclipse.emf.ecore.EClass ASSERTION_ACTION
      The meta object literal for the 'Assertion Action' class.
      See Also:
    • EXPR Link icon

      static final org.eclipse.emf.ecore.EClass EXPR
      The meta object literal for the 'Expr' class.
      See Also:
    • VARIABLE_OR_NODE_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass VARIABLE_OR_NODE_EXPR
      The meta object literal for the 'Variable Or Node Expr' class.
      See Also:
    • VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE Link icon

      static final org.eclipse.emf.ecore.EReference VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE
      The meta object literal for the 'Variable Or Node' reference feature.
    • VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE Link icon

      static final org.eclipse.emf.ecore.EReference VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE
      The meta object literal for the 'Singleton Variable' containment reference feature.
    • VARIABLE_OR_NODE_EXPR__RELATION Link icon

      static final org.eclipse.emf.ecore.EReference VARIABLE_OR_NODE_EXPR__RELATION
      The meta object literal for the 'Relation' reference feature.
    • VARIABLE_OR_NODE_EXPR__ELEMENT Link icon

      static final org.eclipse.emf.ecore.EReference VARIABLE_OR_NODE_EXPR__ELEMENT
      The meta object literal for the 'Element' reference feature.
    • BINARY_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass BINARY_EXPR
      The meta object literal for the 'Binary Expr' class.
      See Also:
    • BINARY_EXPR__LEFT Link icon

      static final org.eclipse.emf.ecore.EReference BINARY_EXPR__LEFT
      The meta object literal for the 'Left' containment reference feature.
    • BINARY_EXPR__RIGHT Link icon

      static final org.eclipse.emf.ecore.EReference BINARY_EXPR__RIGHT
      The meta object literal for the 'Right' containment reference feature.
    • UNARY_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass UNARY_EXPR
      The meta object literal for the 'Unary Expr' class.
      See Also:
    • UNARY_EXPR__BODY Link icon

      static final org.eclipse.emf.ecore.EReference UNARY_EXPR__BODY
      The meta object literal for the 'Body' containment reference feature.
    • ARITHMETIC_UNARY_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass ARITHMETIC_UNARY_EXPR
      The meta object literal for the 'Arithmetic Unary Expr' class.
      See Also:
    • ARITHMETIC_UNARY_EXPR__OP Link icon

      static final org.eclipse.emf.ecore.EAttribute ARITHMETIC_UNARY_EXPR__OP
      The meta object literal for the 'Op' attribute feature.
    • AGGREGATION_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass AGGREGATION_EXPR
      The meta object literal for the 'Aggregation Expr' class.
      See Also:
    • AGGREGATION_EXPR__VALUE Link icon

      static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • AGGREGATION_EXPR__CONDITION Link icon

      static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__CONDITION
      The meta object literal for the 'Condition' containment reference feature.
    • AGGREGATION_EXPR__AGGREGATOR Link icon

      static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__AGGREGATOR
      The meta object literal for the 'Aggregator' reference feature.
    • COMPARISON_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass COMPARISON_EXPR
      The meta object literal for the 'Comparison Expr' class.
      See Also:
    • COMPARISON_EXPR__OP Link icon

      static final org.eclipse.emf.ecore.EAttribute COMPARISON_EXPR__OP
      The meta object literal for the 'Op' attribute feature.
    • QUANTIFIED_UNARY_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass QUANTIFIED_UNARY_EXPR
      The meta object literal for the 'Quantified Unary Expr' class.
      See Also:
    • FUNCTION_DEFINITION Link icon

      static final org.eclipse.emf.ecore.EClass FUNCTION_DEFINITION
      The meta object literal for the 'Function Definition' class.
      See Also:
    • FUNCTION_DEFINITION__CASES Link icon

      static final org.eclipse.emf.ecore.EReference FUNCTION_DEFINITION__CASES
      The meta object literal for the 'Cases' containment reference list feature.
    • FUNCTION_DEFINITION__FUNCTION_TYPE Link icon

      static final org.eclipse.emf.ecore.EReference FUNCTION_DEFINITION__FUNCTION_TYPE
      The meta object literal for the 'Function Type' reference feature.
    • CASE Link icon

      static final org.eclipse.emf.ecore.EClass CASE
      The meta object literal for the 'Case' class.
      See Also:
    • CONJUNCTION Link icon

      static final org.eclipse.emf.ecore.EClass CONJUNCTION
      The meta object literal for the 'Conjunction' class.
      See Also:
    • CONJUNCTION__LITERALS Link icon

      static final org.eclipse.emf.ecore.EReference CONJUNCTION__LITERALS
      The meta object literal for the 'Literals' containment reference list feature.
    • MATCH Link icon

      static final org.eclipse.emf.ecore.EClass MATCH
      The meta object literal for the 'Match' class.
      See Also:
    • MATCH__CONDITION Link icon

      static final org.eclipse.emf.ecore.EReference MATCH__CONDITION
      The meta object literal for the 'Condition' containment reference feature.
    • MATCH__VALUE Link icon

      static final org.eclipse.emf.ecore.EReference MATCH__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • ARITHMETIC_BINARY_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass ARITHMETIC_BINARY_EXPR
      The meta object literal for the 'Arithmetic Binary Expr' class.
      See Also:
    • ARITHMETIC_BINARY_EXPR__OP Link icon

      static final org.eclipse.emf.ecore.EAttribute ARITHMETIC_BINARY_EXPR__OP
      The meta object literal for the 'Op' attribute feature.
    • NEGATION_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass NEGATION_EXPR
      The meta object literal for the 'Negation Expr' class.
      See Also:
    • COUNT_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass COUNT_EXPR
      The meta object literal for the 'Count Expr' class.
      See Also:
    • RELATION Link icon

      static final org.eclipse.emf.ecore.EClass RELATION
      The meta object literal for the 'Relation' class.
      See Also:
    • RANGE_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass RANGE_EXPR
      The meta object literal for the 'Range Expr' class.
      See Also:
    • LOGIC_CONSTANT Link icon

      static final org.eclipse.emf.ecore.EClass LOGIC_CONSTANT
      The meta object literal for the 'Logic Constant' class.
      See Also:
    • LOGIC_CONSTANT__LOGIC_VALUE Link icon

      static final org.eclipse.emf.ecore.EAttribute LOGIC_CONSTANT__LOGIC_VALUE
      The meta object literal for the 'Logic Value' attribute feature.
    • IMPORT_STATEMENT Link icon

      static final org.eclipse.emf.ecore.EClass IMPORT_STATEMENT
      The meta object literal for the 'Import Statement' class.
      See Also:
    • IMPORT_STATEMENT__IMPORTED_MODULE Link icon

      static final org.eclipse.emf.ecore.EReference IMPORT_STATEMENT__IMPORTED_MODULE
      The meta object literal for the 'Imported Module' reference feature.
    • IMPORT_STATEMENT__ALIAS Link icon

      static final org.eclipse.emf.ecore.EAttribute IMPORT_STATEMENT__ALIAS
      The meta object literal for the 'Alias' attribute feature.
    • DATATYPE_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass DATATYPE_DECLARATION
      The meta object literal for the 'Datatype Declaration' class.
      See Also:
    • LATTICE_BINARY_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass LATTICE_BINARY_EXPR
      The meta object literal for the 'Lattice Binary Expr' class.
      See Also:
    • LATTICE_BINARY_EXPR__OP Link icon

      static final org.eclipse.emf.ecore.EAttribute LATTICE_BINARY_EXPR__OP
      The meta object literal for the 'Op' attribute feature.
    • CAST_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass CAST_EXPR
      The meta object literal for the 'Cast Expr' class.
      See Also:
    • CAST_EXPR__BODY Link icon

      static final org.eclipse.emf.ecore.EReference CAST_EXPR__BODY
      The meta object literal for the 'Body' containment reference feature.
    • CAST_EXPR__TARGET_TYPE Link icon

      static final org.eclipse.emf.ecore.EReference CAST_EXPR__TARGET_TYPE
      The meta object literal for the 'Target Type' reference feature.
    • ASSIGNMENT_EXPR Link icon

      static final org.eclipse.emf.ecore.EClass ASSIGNMENT_EXPR
      The meta object literal for the 'Assignment Expr' class.
      See Also:
    • INFINITE_CONSTANT Link icon

      static final org.eclipse.emf.ecore.EClass INFINITE_CONSTANT
      The meta object literal for the 'Infinite Constant' class.
      See Also:
    • AGGREGATOR_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass AGGREGATOR_DECLARATION
      The meta object literal for the 'Aggregator Declaration' class.
      See Also:
    • ASSERTION Link icon

      static final org.eclipse.emf.ecore.EClass ASSERTION
      The meta object literal for the 'Assertion' class.
      See Also:
    • ASSERTION__DEFAULT Link icon

      static final org.eclipse.emf.ecore.EAttribute ASSERTION__DEFAULT
      The meta object literal for the 'Default' attribute feature.
    • ANNOTATED_ELEMENT Link icon

      static final org.eclipse.emf.ecore.EClass ANNOTATED_ELEMENT
      The meta object literal for the 'Annotated Element' class.
      See Also:
    • ANNOTATED_ELEMENT__ANNOTATIONS Link icon

      static final org.eclipse.emf.ecore.EReference ANNOTATED_ELEMENT__ANNOTATIONS
      The meta object literal for the 'Annotations' containment reference feature.
    • ANNOTATION_CONTAINER Link icon

      static final org.eclipse.emf.ecore.EClass ANNOTATION_CONTAINER
      The meta object literal for the 'Annotation Container' class.
      See Also:
    • ANNOTATION_CONTAINER__ANNOTATIONS Link icon

      static final org.eclipse.emf.ecore.EReference ANNOTATION_CONTAINER__ANNOTATIONS
      The meta object literal for the 'Annotations' containment reference list feature.
    • ANNOTATION_DECLARATION Link icon

      static final org.eclipse.emf.ecore.EClass ANNOTATION_DECLARATION
      The meta object literal for the 'Annotation Declaration' class.
      See Also:
    • ANNOTATION Link icon

      static final org.eclipse.emf.ecore.EClass ANNOTATION
      The meta object literal for the 'Annotation' class.
      See Also:
    • ANNOTATION__DECLARATION Link icon

      static final org.eclipse.emf.ecore.EReference ANNOTATION__DECLARATION
      The meta object literal for the 'Declaration' reference feature.
    • ANNOTATION__ARGUMENTS Link icon

      static final org.eclipse.emf.ecore.EReference ANNOTATION__ARGUMENTS
      The meta object literal for the 'Arguments' containment reference list feature.
    • ANNOTATION_ARGUMENT Link icon

      static final org.eclipse.emf.ecore.EClass ANNOTATION_ARGUMENT
      The meta object literal for the 'Annotation Argument' class.
      See Also:
    • ANNOTATION_ARGUMENT__VALUE Link icon

      static final org.eclipse.emf.ecore.EReference ANNOTATION_ARGUMENT__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • ANNOTATION_ARGUMENT__PARAMETER Link icon

      static final org.eclipse.emf.ecore.EReference ANNOTATION_ARGUMENT__PARAMETER
      The meta object literal for the 'Parameter' reference feature.
    • TOP_LEVEL_ANNOTATION Link icon

      static final org.eclipse.emf.ecore.EClass TOP_LEVEL_ANNOTATION
      The meta object literal for the 'Top Level Annotation' class.
      See Also:
    • TOP_LEVEL_ANNOTATION__ANNOTATION Link icon

      static final org.eclipse.emf.ecore.EReference TOP_LEVEL_ANNOTATION__ANNOTATION
      The meta object literal for the 'Annotation' containment reference feature.
    • LOGIC_VALUE Link icon

      static final org.eclipse.emf.ecore.EEnum LOGIC_VALUE
      The meta object literal for the 'Logic Value' enum.
      See Also:
    • COMPARISON_OP Link icon

      static final org.eclipse.emf.ecore.EEnum COMPARISON_OP
      The meta object literal for the 'Comparison Op' enum.
      See Also:
    • REFERENCE_KIND Link icon

      static final org.eclipse.emf.ecore.EEnum REFERENCE_KIND
      The meta object literal for the 'Reference Kind' enum.
      See Also:
    • UNARY_OP Link icon

      static final org.eclipse.emf.ecore.EEnum UNARY_OP
      The meta object literal for the 'Unary Op' enum.
      See Also:
    • BINARY_OP Link icon

      static final org.eclipse.emf.ecore.EEnum BINARY_OP
      The meta object literal for the 'Binary Op' enum.
      See Also:
    • MODULE_KIND Link icon

      static final org.eclipse.emf.ecore.EEnum MODULE_KIND
      The meta object literal for the 'Module Kind' enum.
      See Also:
    • NODE_KIND Link icon

      static final org.eclipse.emf.ecore.EEnum NODE_KIND
      The meta object literal for the 'Node Kind' enum.
      See Also:
    • LATTICE_BINARY_OP Link icon

      static final org.eclipse.emf.ecore.EEnum LATTICE_BINARY_OP
      The meta object literal for the 'Lattice Binary Op' enum.
      See Also:
    • MODALITY Link icon

      static final org.eclipse.emf.ecore.EEnum MODALITY
      The meta object literal for the 'Modality' enum.
      See Also:
    • CONCRETENESS Link icon

      static final org.eclipse.emf.ecore.EEnum CONCRETENESS
      The meta object literal for the 'Concreteness' enum.
      See Also:
    • RULE_KIND Link icon

      static final org.eclipse.emf.ecore.EEnum RULE_KIND
      The meta object literal for the 'Rule Kind' enum.
      See Also:
    • PREDICATE_KIND Link icon

      static final org.eclipse.emf.ecore.EEnum PREDICATE_KIND
      The meta object literal for the 'Predicate Kind' enum.
      See Also:
    • PARAMETER_KIND Link icon

      static final org.eclipse.emf.ecore.EEnum PARAMETER_KIND
      The meta object literal for the 'Parameter Kind' enum.
      See Also: