Package tools.refinery.language.model.problem

Interface ProblemFactory

All Superinterfaces:
org.eclipse.emf.ecore.EFactory, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
ProblemFactoryImpl
public interface ProblemFactory extends org.eclipse.emf.ecore.EFactory
The Factory for the model. It provides a create method for each non-abstract class of the model.
See Also:

  • Field Details

    • eINSTANCE

      static final ProblemFactory eINSTANCE
      The singleton instance of the factory.

  • Method Details

    • createProblem

      Problem createProblem()
      Returns a new object of class 'Problem'.
      Returns:
      a new object of class 'Problem'.

    • createClassDeclaration

      ClassDeclaration createClassDeclaration()
      Returns a new object of class 'Class Declaration'.
      Returns:
      a new object of class 'Class Declaration'.

    • createReferenceDeclaration

      ReferenceDeclaration createReferenceDeclaration()
      Returns a new object of class 'Reference Declaration'.
      Returns:
      a new object of class 'Reference Declaration'.

    • createPredicateDefinition

      PredicateDefinition createPredicateDefinition()
      Returns a new object of class 'Predicate Definition'.
      Returns:
      a new object of class 'Predicate Definition'.

    • createParameter

      Parameter createParameter()
      Returns a new object of class 'Parameter'.
      Returns:
      a new object of class 'Parameter'.

    • createAtom

      Atom createAtom()
      Returns a new object of class 'Atom'.
      Returns:
      a new object of class 'Atom'.

    • createImplicitVariable

      ImplicitVariable createImplicitVariable()
      Returns a new object of class 'Implicit Variable'.
      Returns:
      a new object of class 'Implicit Variable'.

    • createNode

      Node createNode()
      Returns a new object of class 'Node'.
      Returns:
      a new object of class 'Node'.

    • createScopeDeclaration

      ScopeDeclaration createScopeDeclaration()
      Returns a new object of class 'Scope Declaration'.
      Returns:
      a new object of class 'Scope Declaration'.

    • createTypeScope

      TypeScope createTypeScope()
      Returns a new object of class 'Type Scope'.
      Returns:
      a new object of class 'Type Scope'.

    • createRangeMultiplicity

      RangeMultiplicity createRangeMultiplicity()
      Returns a new object of class 'Range Multiplicity'.
      Returns:
      a new object of class 'Range Multiplicity'.

    • createExactMultiplicity

      ExactMultiplicity createExactMultiplicity()
      Returns a new object of class 'Exact Multiplicity'.
      Returns:
      a new object of class 'Exact Multiplicity'.

    • createUnboundedMultiplicity

      UnboundedMultiplicity createUnboundedMultiplicity()
      Returns a new object of class 'Unbounded Multiplicity'.
      Returns:
      a new object of class 'Unbounded Multiplicity'.

    • createEnumDeclaration

      EnumDeclaration createEnumDeclaration()
      Returns a new object of class 'Enum Declaration'.
      Returns:
      a new object of class 'Enum Declaration'.

    • createIntConstant

      IntConstant createIntConstant()
      Returns a new object of class 'Int Constant'.
      Returns:
      a new object of class 'Int Constant'.

    • createRealConstant

      RealConstant createRealConstant()
      Returns a new object of class 'Real Constant'.
      Returns:
      a new object of class 'Real Constant'.

    • createStringConstant

      StringConstant createStringConstant()
      Returns a new object of class 'String Constant'.
      Returns:
      a new object of class 'String Constant'.

    • createNodeAssertionArgument

      NodeAssertionArgument createNodeAssertionArgument()
      Returns a new object of class 'Node Assertion Argument'.
      Returns:
      a new object of class 'Node Assertion Argument'.

    • createNodeDeclaration

      NodeDeclaration createNodeDeclaration()
      Returns a new object of class 'Node Declaration'.
      Returns:
      a new object of class 'Node Declaration'.

    • createWildcardAssertionArgument

      WildcardAssertionArgument createWildcardAssertionArgument()
      Returns a new object of class 'Wildcard Assertion Argument'.
      Returns:
      a new object of class 'Wildcard Assertion Argument'.

    • createRuleDefinition

      RuleDefinition createRuleDefinition()
      Returns a new object of class 'Rule Definition'.
      Returns:
      a new object of class 'Rule Definition'.

    • createConsequent

      Consequent createConsequent()
      Returns a new object of class 'Consequent'.
      Returns:
      a new object of class 'Consequent'.

    • createAssertionAction

      AssertionAction createAssertionAction()
      Returns a new object of class 'Assertion Action'.
      Returns:
      a new object of class 'Assertion Action'.

    • createVariableOrNodeExpr

      VariableOrNodeExpr createVariableOrNodeExpr()
      Returns a new object of class 'Variable Or Node Expr'.
      Returns:
      a new object of class 'Variable Or Node Expr'.

    • createArithmeticUnaryExpr

      ArithmeticUnaryExpr createArithmeticUnaryExpr()
      Returns a new object of class 'Arithmetic Unary Expr'.
      Returns:
      a new object of class 'Arithmetic Unary Expr'.

    • createAggregationExpr

      AggregationExpr createAggregationExpr()
      Returns a new object of class 'Aggregation Expr'.
      Returns:
      a new object of class 'Aggregation Expr'.

    • createComparisonExpr

      ComparisonExpr createComparisonExpr()
      Returns a new object of class 'Comparison Expr'.
      Returns:
      a new object of class 'Comparison Expr'.

    • createFunctionDefinition

      FunctionDefinition createFunctionDefinition()
      Returns a new object of class 'Function Definition'.
      Returns:
      a new object of class 'Function Definition'.

    • createConjunction

      Conjunction createConjunction()
      Returns a new object of class 'Conjunction'.
      Returns:
      a new object of class 'Conjunction'.

    • createMatch

      Match createMatch()
      Returns a new object of class 'Match'.
      Returns:
      a new object of class 'Match'.

    • createArithmeticBinaryExpr

      ArithmeticBinaryExpr createArithmeticBinaryExpr()
      Returns a new object of class 'Arithmetic Binary Expr'.
      Returns:
      a new object of class 'Arithmetic Binary Expr'.

    • createNegationExpr

      NegationExpr createNegationExpr()
      Returns a new object of class 'Negation Expr'.
      Returns:
      a new object of class 'Negation Expr'.

    • createCountExpr

      CountExpr createCountExpr()
      Returns a new object of class 'Count Expr'.
      Returns:
      a new object of class 'Count Expr'.

    • createRangeExpr

      RangeExpr createRangeExpr()
      Returns a new object of class 'Range Expr'.
      Returns:
      a new object of class 'Range Expr'.

    • createLogicConstant

      LogicConstant createLogicConstant()
      Returns a new object of class 'Logic Constant'.
      Returns:
      a new object of class 'Logic Constant'.

    • createImportStatement

      ImportStatement createImportStatement()
      Returns a new object of class 'Import Statement'.
      Returns:
      a new object of class 'Import Statement'.

    • createDatatypeDeclaration

      DatatypeDeclaration createDatatypeDeclaration()
      Returns a new object of class 'Datatype Declaration'.
      Returns:
      a new object of class 'Datatype Declaration'.

    • createLatticeBinaryExpr

      LatticeBinaryExpr createLatticeBinaryExpr()
      Returns a new object of class 'Lattice Binary Expr'.
      Returns:
      a new object of class 'Lattice Binary Expr'.

    • createCastExpr

      CastExpr createCastExpr()
      Returns a new object of class 'Cast Expr'.
      Returns:
      a new object of class 'Cast Expr'.

    • createAssignmentExpr

      AssignmentExpr createAssignmentExpr()
      Returns a new object of class 'Assignment Expr'.
      Returns:
      a new object of class 'Assignment Expr'.

    • createInfiniteConstant

      InfiniteConstant createInfiniteConstant()
      Returns a new object of class 'Infinite Constant'.
      Returns:
      a new object of class 'Infinite Constant'.

    • createAggregatorDeclaration

      AggregatorDeclaration createAggregatorDeclaration()
      Returns a new object of class 'Aggregator Declaration'.
      Returns:
      a new object of class 'Aggregator Declaration'.

    • createModalExpr

      ModalExpr createModalExpr()
      Returns a new object of class 'Modal Expr'.
      Returns:
      a new object of class 'Modal Expr'.

    • createAssertion

      Assertion createAssertion()
      Returns a new object of class 'Assertion'.
      Returns:
      a new object of class 'Assertion'.

    • getProblemPackage

      ProblemPackage getProblemPackage()
      Returns the package supported by this factory.
      Returns:
      the package supported by this factory.