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 Summary
Modifier and TypeFieldDescriptionstatic final ProblemFactory
The singleton instance of the factory. -
Method Summary
Modifier and TypeMethodDescriptionReturns a new object of class 'Aggregation Expr'.Returns a new object of class 'Aggregator Declaration'.Returns a new object of class 'Arithmetic Binary Expr'.Returns a new object of class 'Arithmetic Unary Expr'.Returns a new object of class 'Assertion'.Returns a new object of class 'Assertion Action'.Returns a new object of class 'Assignment Expr'.Returns a new object of class 'Atom'.Returns a new object of class 'Cast Expr'.Returns a new object of class 'Class Declaration'.Returns a new object of class 'Comparison Expr'.Returns a new object of class 'Conjunction'.Returns a new object of class 'Consequent'.Returns a new object of class 'Count Expr'.Returns a new object of class 'Datatype Declaration'.Returns a new object of class 'Enum Declaration'.Returns a new object of class 'Exact Multiplicity'.Returns a new object of class 'Function Definition'.Returns a new object of class 'Implicit Variable'.Returns a new object of class 'Import Statement'.Returns a new object of class 'Infinite Constant'.Returns a new object of class 'Int Constant'.Returns a new object of class 'Lattice Binary Expr'.Returns a new object of class 'Logic Constant'.Returns a new object of class 'Match'.Returns a new object of class 'Modal Expr'.Returns a new object of class 'Negation Expr'.Returns a new object of class 'Node'.Returns a new object of class 'Node Assertion Argument'.Returns a new object of class 'Node Declaration'.Returns a new object of class 'Parameter'.Returns a new object of class 'Predicate Definition'.Returns a new object of class 'Problem'.Returns a new object of class 'Range Expr'.Returns a new object of class 'Range Multiplicity'.Returns a new object of class 'Real Constant'.Returns a new object of class 'Reference Declaration'.Returns a new object of class 'Rule Definition'.Returns a new object of class 'Scope Declaration'.Returns a new object of class 'String Constant'.Returns a new object of class 'Type Scope'.Returns a new object of class 'Unbounded Multiplicity'.Returns a new object of class 'Variable Or Node Expr'.Returns a new object of class 'Wildcard Assertion Argument'.Returns the package supported by this factory.Methods inherited from interface org.eclipse.emf.ecore.EFactory
convertToString, create, createFromString, getEPackage, setEPackage
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Field Details
-
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.
-