From 419e76265ecbdf65e960e0624be006d31ed1e191 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 8 May 2020 18:28:19 +0200 Subject: Update solver language grammar First version, still needs TokenSource and Linker to work. --- .../solverLanguage/SolverLanguageFactory.java | 320 +++++++++------------ 1 file changed, 133 insertions(+), 187 deletions(-) (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 index c5d4cbff..cf5c8e62 100644 --- 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 @@ -1,5 +1,5 @@ /** - * generated by Xtext 2.18.0.M3 + * generated by Xtext 2.21.0 */ package org.eclipse.viatra.solver.language.solverLanguage; @@ -42,454 +42,400 @@ public interface SolverLanguageFactory extends EFactory Statement createStatement(); /** - * Returns a new object of class 'Boolean Value'. + * Returns a new object of class 'Predicate Definition'. * * - * @return a new object of class 'Boolean Value'. + * @return a new object of class 'Predicate Definition'. * @generated */ - BooleanValue createBooleanValue(); + PredicateDefinition createPredicateDefinition(); /** - * Returns a new object of class 'Truth Value'. + * Returns a new object of class 'Unnamed Error Prediate Definition'. * * - * @return a new object of class 'Truth Value'. + * @return a new object of class 'Unnamed Error Prediate Definition'. * @generated */ - TruthValue createTruthValue(); + UnnamedErrorPrediateDefinition createUnnamedErrorPrediateDefinition(); /** - * Returns a new object of class 'Interpretation'. + * Returns a new object of class 'Default Definition'. * * - * @return a new object of class 'Interpretation'. + * @return a new object of class 'Default Definition'. * @generated */ - Interpretation createInterpretation(); + DefaultDefinition createDefaultDefinition(); /** - * Returns a new object of class 'Basic Interpretation'. + * Returns a new object of class 'Extern Predicate Definition'. * * - * @return a new object of class 'Basic Interpretation'. + * @return a new object of class 'Extern Predicate Definition'. * @generated */ - BasicInterpretation createBasicInterpretation(); + ExternPredicateDefinition createExternPredicateDefinition(); /** - * Returns a new object of class 'Symbol'. + * Returns a new object of class 'Metric Definition'. * * - * @return a new object of class 'Symbol'. + * @return a new object of class 'Metric Definition'. * @generated */ - Symbol createSymbol(); + MetricDefinition createMetricDefinition(); /** - * Returns a new object of class 'Model Symbol'. + * Returns a new object of class 'Extern Metric Definition'. * * - * @return a new object of class 'Model Symbol'. + * @return a new object of class 'Extern Metric Definition'. * @generated */ - ModelSymbol createModelSymbol(); + ExternMetricDefinition createExternMetricDefinition(); /** - * Returns a new object of class 'Partiality Symbol'. + * Returns a new object of class 'Expression'. * * - * @return a new object of class 'Partiality Symbol'. + * @return a new object of class 'Expression'. * @generated */ - PartialitySymbol createPartialitySymbol(); + Expression createExpression(); /** - * Returns a new object of class 'Exist Symbol'. + * Returns a new object of class 'If Else'. * * - * @return a new object of class 'Exist Symbol'. + * @return a new object of class 'If Else'. * @generated */ - ExistSymbol createExistSymbol(); + IfElse createIfElse(); /** - * Returns a new object of class 'Equals Symbol'. + * Returns a new object of class 'Case'. * * - * @return a new object of class 'Equals Symbol'. + * @return a new object of class 'Case'. * @generated */ - EqualsSymbol createEqualsSymbol(); + Case createCase(); /** - * Returns a new object of class 'Data Symbol'. + * Returns a new object of class 'Count'. * * - * @return a new object of class 'Data Symbol'. + * @return a new object of class 'Count'. * @generated */ - DataSymbol createDataSymbol(); + Count createCount(); /** - * Returns a new object of class 'Boolean Symbol'. + * Returns a new object of class 'Aggregation'. * * - * @return a new object of class 'Boolean Symbol'. + * @return a new object of class 'Aggregation'. * @generated */ - BooleanSymbol createBooleanSymbol(); + Aggregation createAggregation(); /** - * Returns a new object of class 'Integer Symbol'. + * Returns a new object of class 'Call'. * * - * @return a new object of class 'Integer Symbol'. + * @return a new object of class 'Call'. * @generated */ - IntegerSymbol createIntegerSymbol(); + Call createCall(); /** - * Returns a new object of class 'Real Symbol'. + * Returns a new object of class 'Argument List'. * * - * @return a new object of class 'Real Symbol'. + * @return a new object of class 'Argument List'. * @generated */ - RealSymbol createRealSymbol(); + ArgumentList createArgumentList(); /** - * Returns a new object of class 'String Symbol'. + * Returns a new object of class 'Argument'. * * - * @return a new object of class 'String Symbol'. + * @return a new object of class 'Argument'. * @generated */ - StringSymbol createStringSymbol(); + Argument createArgument(); /** - * Returns a new object of class 'Complex Object'. + * Returns a new object of class 'Expression Argument'. * * - * @return a new object of class 'Complex Object'. + * @return a new object of class 'Expression Argument'. * @generated */ - ComplexObject createComplexObject(); + ExpressionArgument createExpressionArgument(); /** - * Returns a new object of class 'Object'. + * Returns a new object of class 'Star Argument'. * * - * @return a new object of class 'Object'. + * @return a new object of class 'Star Argument'. * @generated */ - Object createObject(); + StarArgument createStarArgument(); /** - * Returns a new object of class 'Named Object'. + * Returns a new object of class 'Typed Argument'. * * - * @return a new object of class 'Named Object'. + * @return a new object of class 'Typed Argument'. * @generated */ - NamedObject createNamedObject(); + TypedArgument createTypedArgument(); /** - * Returns a new object of class 'Unnamed Object'. + * Returns a new object of class 'Typed Star Argument'. * * - * @return a new object of class 'Unnamed Object'. + * @return a new object of class 'Typed Star Argument'. * @generated */ - UnnamedObject createUnnamedObject(); + TypedStarArgument createTypedStarArgument(); /** - * Returns a new object of class 'Data Object'. + * Returns a new object of class 'Reference'. * * - * @return a new object of class 'Data Object'. + * @return a new object of class 'Reference'. * @generated */ - DataObject createDataObject(); + Reference createReference(); /** - * Returns a new object of class 'Boolean Object'. + * Returns a new object of class 'Interval'. * * - * @return a new object of class 'Boolean Object'. + * @return a new object of class 'Interval'. * @generated */ - BooleanObject createBooleanObject(); + Interval createInterval(); /** - * 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 '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'. + * Returns a new object of class 'Literal'. * * - * @return a new object of class 'Polarity'. + * @return a new object of class 'Literal'. * @generated */ - Polarity createPolarity(); + Literal createLiteral(); /** - * Returns a new object of class 'Constraint'. + * Returns a new object of class 'Logic Literal'. * * - * @return a new object of class 'Constraint'. + * @return a new object of class 'Logic Literal'. * @generated */ - Constraint createConstraint(); + LogicLiteral createLogicLiteral(); /** - * Returns a new object of class 'Closure Type'. + * Returns a new object of class 'Numeric Literal'. * * - * @return a new object of class 'Closure Type'. + * @return a new object of class 'Numeric Literal'. * @generated */ - ClosureType createClosureType(); + NumericLiteral createNumericLiteral(); /** - * Returns a new object of class 'Literal'. + * Returns a new object of class 'Infinity Literal'. * * - * @return a new object of class 'Literal'. + * @return a new object of class 'Infinity Literal'. * @generated */ - Literal createLiteral(); + InfinityLiteral createInfinityLiteral(); /** - * Returns a new object of class 'Variable'. + * Returns a new object of class 'Empty Interval Literal'. * * - * @return a new object of class 'Variable'. + * @return a new object of class 'Empty Interval Literal'. * @generated */ - Variable createVariable(); + EmptyIntervalLiteral createEmptyIntervalLiteral(); /** - * Returns a new object of class 'All Instances'. + * Returns a new object of class 'String Literal'. * * - * @return a new object of class 'All Instances'. + * @return a new object of class 'String Literal'. * @generated */ - AllInstances createAllInstances(); + StringLiteral createStringLiteral(); /** - * Returns a new object of class 'All Objects'. + * Returns a new object of class 'Member Definition'. * * - * @return a new object of class 'All Objects'. + * @return a new object of class 'Member Definition'. * @generated */ - AllObjects createAllObjects(); + MemberDefinition createMemberDefinition(); /** - * Returns a new object of class 'Default Interpretation'. + * Returns a new object of class 'Multiplicity'. * * - * @return a new object of class 'Default Interpretation'. + * @return a new object of class 'Multiplicity'. * @generated */ - DefaultInterpretation createDefaultInterpretation(); + Multiplicity createMultiplicity(); /** - * Returns a new object of class 'CD Interpretation'. + * Returns a new object of class 'Many Multiplicity'. * * - * @return a new object of class 'CD Interpretation'. + * @return a new object of class 'Many Multiplicity'. * @generated */ - CDInterpretation createCDInterpretation(); + ManyMultiplicity createManyMultiplicity(); /** - * Returns a new object of class 'Class Interpretation'. + * Returns a new object of class 'Exact Multiplicity'. * * - * @return a new object of class 'Class Interpretation'. + * @return a new object of class 'Exact Multiplicity'. * @generated */ - ClassInterpretation createClassInterpretation(); + ExactMultiplicity createExactMultiplicity(); /** - * Returns a new object of class 'Enum Interpretation'. + * Returns a new object of class 'Bounded Multiplicity'. * * - * @return a new object of class 'Enum Interpretation'. + * @return a new object of class 'Bounded Multiplicity'. * @generated */ - EnumInterpretation createEnumInterpretation(); + BoundedMultiplicity createBoundedMultiplicity(); /** - * Returns a new object of class 'Field Relation Interpretation'. + * Returns a new object of class 'Scope Definition'. * * - * @return a new object of class 'Field Relation Interpretation'. + * @return a new object of class 'Scope Definition'. * @generated */ - FieldRelationInterpretation createFieldRelationInterpretation(); + ScopeDefinition createScopeDefinition(); /** - * Returns a new object of class 'Global Relation Interpretation'. + * Returns a new object of class 'Exact Scope Definition'. * * - * @return a new object of class 'Global Relation Interpretation'. + * @return a new object of class 'Exact Scope Definition'. * @generated */ - GlobalRelationInterpretation createGlobalRelationInterpretation(); + ExactScopeDefinition createExactScopeDefinition(); /** - * Returns a new object of class 'Multiplicity Definition'. + * Returns a new object of class 'Bounded Scope Definition'. * * - * @return a new object of class 'Multiplicity Definition'. + * @return a new object of class 'Bounded Scope Definition'. * @generated */ - MultiplicityDefinition createMultiplicityDefinition(); + BoundedScopeDefinition createBoundedScopeDefinition(); /** - * Returns a new object of class 'Boolean True'. + * Returns a new object of class 'Lower Bounded Scope Definition'. * * - * @return a new object of class 'Boolean True'. + * @return a new object of class 'Lower Bounded Scope Definition'. * @generated */ - BooleanTrue createBooleanTrue(); + LowerBoundedScopeDefinition createLowerBoundedScopeDefinition(); /** - * Returns a new object of class 'Boolean False'. + * Returns a new object of class 'Objective Definition'. * * - * @return a new object of class 'Boolean False'. + * @return a new object of class 'Objective Definition'. * @generated */ - BooleanFalse createBooleanFalse(); + ObjectiveDefinition createObjectiveDefinition(); /** - * Returns a new object of class 'True'. + * Returns a new object of class 'Named Element'. * * - * @return a new object of class 'True'. + * @return a new object of class 'Named Element'. * @generated */ - True createTrue(); + NamedElement createNamedElement(); /** - * Returns a new object of class 'False'. + * Returns a new object of class 'Assertion'. * * - * @return a new object of class 'False'. + * @return a new object of class 'Assertion'. * @generated */ - False createFalse(); + Assertion createAssertion(); /** - * Returns a new object of class 'Unknown'. + * Returns a new object of class 'Disjunction'. * * - * @return a new object of class 'Unknown'. + * @return a new object of class 'Disjunction'. * @generated */ - Unknown createUnknown(); + Disjunction createDisjunction(); /** - * Returns a new object of class 'Error'. + * Returns a new object of class 'Switch'. * * - * @return a new object of class 'Error'. + * @return a new object of class 'Switch'. * @generated */ - Error createError(); + Switch createSwitch(); /** - * Returns a new object of class 'Positive'. + * Returns a new object of class 'Conjunction'. * * - * @return a new object of class 'Positive'. + * @return a new object of class 'Conjunction'. * @generated */ - Positive createPositive(); + Conjunction createConjunction(); /** - * Returns a new object of class 'Negative'. + * Returns a new object of class 'Comparison'. * * - * @return a new object of class 'Negative'. + * @return a new object of class 'Comparison'. * @generated */ - Negative createNegative(); + Comparison createComparison(); /** - * Returns a new object of class 'Reflexive Closure'. + * Returns a new object of class 'Binary Expression'. * * - * @return a new object of class 'Reflexive Closure'. + * @return a new object of class 'Binary Expression'. * @generated */ - ReflexiveClosure createReflexiveClosure(); + BinaryExpression createBinaryExpression(); /** - * Returns a new object of class 'Irreflexive Closure'. + * Returns a new object of class 'Unary Expression'. * * - * @return a new object of class 'Irreflexive Closure'. + * @return a new object of class 'Unary Expression'. * @generated */ - IrreflexiveClosure createIrreflexiveClosure(); + UnaryExpression createUnaryExpression(); /** * Returns the package supported by this factory. -- cgit v1.2.3-54-g00ecf