From 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Tue, 28 Apr 2020 20:43:04 +0200 Subject: initial commit --- .../solverLanguage/SolverLanguageFactory.java | 521 +++++++++++++++++++++ 1 file changed, 521 insertions(+) create mode 100644 Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java') diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java new file mode 100644 index 00000000..ebe2abdb --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java @@ -0,0 +1,521 @@ +/** + * generated by Xtext 2.18.0.M3 + */ +package org.eclipse.viatra.solver.language.solverLanguage; + +import org.eclipse.emf.ecore.EFactory; + +/** + * + * The Factory for the model. + * It provides a create method for each non-abstract class of the model. + * + * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage + * @generated + */ +public interface SolverLanguageFactory extends EFactory +{ + /** + * The singleton instance of the factory. + * + * + * @generated + */ + SolverLanguageFactory eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguageFactoryImpl.init(); + + /** + * Returns a new object of class 'Problem'. + * + * + * @return a new object of class 'Problem'. + * @generated + */ + Problem createProblem(); + + /** + * Returns a new object of class 'Statement'. + * + * + * @return a new object of class 'Statement'. + * @generated + */ + Statement createStatement(); + + /** + * Returns a new object of class 'Boolean Value'. + * + * + * @return a new object of class 'Boolean Value'. + * @generated + */ + BooleanValue createBooleanValue(); + + /** + * Returns a new object of class 'Truth Value'. + * + * + * @return a new object of class 'Truth Value'. + * @generated + */ + TruthValue createTruthValue(); + + /** + * Returns a new object of class 'Interpretation'. + * + * + * @return a new object of class 'Interpretation'. + * @generated + */ + Interpretation createInterpretation(); + + /** + * Returns a new object of class 'Basic Interpretation'. + * + * + * @return a new object of class 'Basic Interpretation'. + * @generated + */ + BasicInterpretation createBasicInterpretation(); + + /** + * Returns a new object of class 'Symbol'. + * + * + * @return a new object of class 'Symbol'. + * @generated + */ + Symbol createSymbol(); + + /** + * Returns a new object of class 'Model Symbol'. + * + * + * @return a new object of class 'Model Symbol'. + * @generated + */ + ModelSymbol createModelSymbol(); + + /** + * Returns a new object of class 'Partiality Symbol'. + * + * + * @return a new object of class 'Partiality Symbol'. + * @generated + */ + PartialitySymbol createPartialitySymbol(); + + /** + * Returns a new object of class 'Exist Symbol'. + * + * + * @return a new object of class 'Exist Symbol'. + * @generated + */ + ExistSymbol createExistSymbol(); + + /** + * Returns a new object of class 'Equals Symbol'. + * + * + * @return a new object of class 'Equals Symbol'. + * @generated + */ + EqualsSymbol createEqualsSymbol(); + + /** + * Returns a new object of class 'Data Symbol'. + * + * + * @return a new object of class 'Data Symbol'. + * @generated + */ + DataSymbol createDataSymbol(); + + /** + * Returns a new object of class 'Boolean Symbol'. + * + * + * @return a new object of class 'Boolean Symbol'. + * @generated + */ + BooleanSymbol createBooleanSymbol(); + + /** + * Returns a new object of class 'Integer Symbol'. + * + * + * @return a new object of class 'Integer Symbol'. + * @generated + */ + IntegerSymbol createIntegerSymbol(); + + /** + * Returns a new object of class 'Real Symbol'. + * + * + * @return a new object of class 'Real Symbol'. + * @generated + */ + RealSymbol createRealSymbol(); + + /** + * Returns a new object of class 'String Symbol'. + * + * + * @return a new object of class 'String Symbol'. + * @generated + */ + StringSymbol createStringSymbol(); + + /** + * Returns a new object of class 'Complex Object'. + * + * + * @return a new object of class 'Complex Object'. + * @generated + */ + ComplexObject createComplexObject(); + + /** + * Returns a new object of class 'Object'. + * + * + * @return a new object of class 'Object'. + * @generated + */ + Object createObject(); + + /** + * Returns a new object of class 'Named Object'. + * + * + * @return a new object of class 'Named Object'. + * @generated + */ + NamedObject createNamedObject(); + + /** + * Returns a new object of class 'Unnamed Object'. + * + * + * @return a new object of class 'Unnamed Object'. + * @generated + */ + UnnamedObject createUnnamedObject(); + + /** + * Returns a new object of class 'Data Object'. + * + * + * @return a new object of class 'Data Object'. + * @generated + */ + DataObject createDataObject(); + + /** + * Returns a new object of class 'Boolean Object'. + * + * + * @return a new object of class 'Boolean Object'. + * @generated + */ + BooleanObject createBooleanObject(); + + /** + * Returns a new object of class 'Int Object'. + * + * + * @return a new object of class 'Int Object'. + * @generated + */ + IntObject createIntObject(); + + /** + * Returns a new object of class 'Real Object'. + * + * + * @return a new object of class 'Real Object'. + * @generated + */ + RealObject createRealObject(); + + /** + * Returns a new object of class 'String Object'. + * + * + * @return a new object of class 'String Object'. + * @generated + */ + StringObject createStringObject(); + + /** + * Returns a new object of class 'Predicate'. + * + * + * @return a new object of class 'Predicate'. + * @generated + */ + Predicate createPredicate(); + + /** + * Returns a new object of class 'Predicate Symbol'. + * + * + * @return a new object of class 'Predicate Symbol'. + * @generated + */ + PredicateSymbol createPredicateSymbol(); + + /** + * Returns a new object of class 'Error Predicate'. + * + * + * @return a new object of class 'Error Predicate'. + * @generated + */ + ErrorPredicate createErrorPredicate(); + + /** + * Returns a new object of class 'Parameter'. + * + * + * @return a new object of class 'Parameter'. + * @generated + */ + Parameter createParameter(); + + /** + * Returns a new object of class 'Pattern Body'. + * + * + * @return a new object of class 'Pattern Body'. + * @generated + */ + PatternBody createPatternBody(); + + /** + * Returns a new object of class 'Polarity'. + * + * + * @return a new object of class 'Polarity'. + * @generated + */ + Polarity createPolarity(); + + /** + * Returns a new object of class 'Constraint'. + * + * + * @return a new object of class 'Constraint'. + * @generated + */ + Constraint createConstraint(); + + /** + * Returns a new object of class 'Closure Type'. + * + * + * @return a new object of class 'Closure Type'. + * @generated + */ + ClosureType createClosureType(); + + /** + * Returns a new object of class 'Literal'. + * + * + * @return a new object of class 'Literal'. + * @generated + */ + Literal createLiteral(); + + /** + * Returns a new object of class 'Variable'. + * + * + * @return a new object of class 'Variable'. + * @generated + */ + Variable createVariable(); + + /** + * Returns a new object of class 'All Instances'. + * + * + * @return a new object of class 'All Instances'. + * @generated + */ + AllInstances createAllInstances(); + + /** + * Returns a new object of class 'All Objects'. + * + * + * @return a new object of class 'All Objects'. + * @generated + */ + AllObjects createAllObjects(); + + /** + * Returns a new object of class 'Default Interpretation'. + * + * + * @return a new object of class 'Default Interpretation'. + * @generated + */ + DefaultInterpretation createDefaultInterpretation(); + + /** + * Returns a new object of class 'CD Interpretation'. + * + * + * @return a new object of class 'CD Interpretation'. + * @generated + */ + CDInterpretation createCDInterpretation(); + + /** + * Returns a new object of class 'Class Interpretation'. + * + * + * @return a new object of class 'Class Interpretation'. + * @generated + */ + ClassInterpretation createClassInterpretation(); + + /** + * Returns a new object of class 'Enum Interpretation'. + * + * + * @return a new object of class 'Enum Interpretation'. + * @generated + */ + EnumInterpretation createEnumInterpretation(); + + /** + * Returns a new object of class 'Field Relation Interpretation'. + * + * + * @return a new object of class 'Field Relation Interpretation'. + * @generated + */ + FieldRelationInterpretation createFieldRelationInterpretation(); + + /** + * Returns a new object of class 'Global Relation Interpretation'. + * + * + * @return a new object of class 'Global Relation Interpretation'. + * @generated + */ + GlobalRelationInterpretation createGlobalRelationInterpretation(); + + /** + * Returns a new object of class 'Multiplicity Definition'. + * + * + * @return a new object of class 'Multiplicity Definition'. + * @generated + */ + MultiplicityDefinition createMultiplicityDefinition(); + + /** + * Returns a new object of class 'Boolean True'. + * + * + * @return a new object of class 'Boolean True'. + * @generated + */ + BooleanTrue createBooleanTrue(); + + /** + * Returns a new object of class 'Boolean False'. + * + * + * @return a new object of class 'Boolean False'. + * @generated + */ + BooleanFalse createBooleanFalse(); + + /** + * Returns a new object of class 'True'. + * + * + * @return a new object of class 'True'. + * @generated + */ + True createTrue(); + + /** + * Returns a new object of class 'False'. + * + * + * @return a new object of class 'False'. + * @generated + */ + False createFalse(); + + /** + * Returns a new object of class 'Unknown'. + * + * + * @return a new object of class 'Unknown'. + * @generated + */ + Unknown createUnknown(); + + /** + * Returns a new object of class 'Error'. + * + * + * @return a new object of class 'Error'. + * @generated + */ + Error createError(); + + /** + * Returns a new object of class 'Positive'. + * + * + * @return a new object of class 'Positive'. + * @generated + */ + Positive createPositive(); + + /** + * Returns a new object of class 'Negative'. + * + * + * @return a new object of class 'Negative'. + * @generated + */ + Negative createNegative(); + + /** + * Returns a new object of class 'Reflexive Closure'. + * + * + * @return a new object of class 'Reflexive Closure'. + * @generated + */ + ReflexiveClosure createReflexiveClosure(); + + /** + * Returns a new object of class 'Irreflexive Closure'. + * + * + * @return a new object of class 'Irreflexive Closure'. + * @generated + */ + IrreflexiveClosure createIrreflexiveClosure(); + + /** + * Returns the package supported by this factory. + * + * + * @return the package supported by this factory. + * @generated + */ + SolverLanguagePackage getSolverLanguagePackage(); + +} //SolverLanguageFactory -- cgit v1.2.3-54-g00ecf