From 3997c2408f192e22f809cd96faa5bc552530289d Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 14 Jun 2020 19:38:40 -0400 Subject: This branch is ready to be merged into master --- .../ApplicationConfigurationGrammarAccess.java | 42 +++++++++++++--------- 1 file changed, 25 insertions(+), 17 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java index 47166823..cdcafecb 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java @@ -1,5 +1,5 @@ /* - * generated by Xtext 2.12.0 + * generated by Xtext 2.21.0 */ package hu.bme.mit.inf.dslreasoner.application.services; @@ -1471,7 +1471,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //ClassReference public RuleCall getTypeClassReferenceParserRuleCall_1_0() { return cTypeClassReferenceParserRuleCall_1_0; } - //setsNew?='+=' | setsSum?='=' + //(setsNew?='+=' | setsSum?='=') public Alternatives getAlternatives_2() { return cAlternatives_2; } //setsNew?='+=' @@ -1486,7 +1486,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'=' public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } - //number=ExactNumber | number=IntervallNumber + //(number=ExactNumber | number=IntervallNumber) public Alternatives getAlternatives_3() { return cAlternatives_3; } //number=ExactNumber @@ -1534,7 +1534,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //ObjectReference public RuleCall getTypeObjectReferenceParserRuleCall_1_0() { return cTypeObjectReferenceParserRuleCall_1_0; } - //setsNew?='+=' | setsSum?='=' + //(setsNew?='+=' | setsSum?='=') public Alternatives getAlternatives_2() { return cAlternatives_2; } //setsNew?='+=' @@ -1549,7 +1549,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'=' public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } - //number=ExactNumber | number=IntervallNumber + //(number=ExactNumber | number=IntervallNumber) public Alternatives getAlternatives_3() { return cAlternatives_3; } //number=ExactNumber @@ -1601,7 +1601,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //IntegerReference public RuleCall getTypeIntegerReferenceParserRuleCall_1_0() { return cTypeIntegerReferenceParserRuleCall_1_0; } - //setsNew?='+=' | setsSum?='=' + //(setsNew?='+=' | setsSum?='=') public Alternatives getAlternatives_2() { return cAlternatives_2; } //setsNew?='+=' @@ -1616,7 +1616,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'=' public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } - //number=ExactNumber | number=IntervallNumber | number=IntEnumberation + //(number=ExactNumber | number=IntervallNumber | number=IntEnumberation) public Alternatives getAlternatives_3() { return cAlternatives_3; } //number=ExactNumber @@ -1674,7 +1674,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //RealReference public RuleCall getTypeRealReferenceParserRuleCall_1_0() { return cTypeRealReferenceParserRuleCall_1_0; } - //setsNew?='+=' | setsSum?='=' + //(setsNew?='+=' | setsSum?='=') public Alternatives getAlternatives_2() { return cAlternatives_2; } //setsNew?='+=' @@ -1689,7 +1689,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'=' public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } - //number=ExactNumber | number=IntervallNumber | number=RealEnumeration + //(number=ExactNumber | number=IntervallNumber | number=RealEnumeration) public Alternatives getAlternatives_3() { return cAlternatives_3; } //number=ExactNumber @@ -1747,7 +1747,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //StringReference public RuleCall getTypeStringReferenceParserRuleCall_1_0() { return cTypeStringReferenceParserRuleCall_1_0; } - //setsNew?='+=' | setsSum?='=' + //(setsNew?='+=' | setsSum?='=') public Alternatives getAlternatives_2() { return cAlternatives_2; } //setsNew?='+=' @@ -1762,7 +1762,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'=' public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } - //number=ExactNumber | number=IntervallNumber | number=StringEnumeration + //(number=ExactNumber | number=IntervallNumber | number=StringEnumeration) public Alternatives getAlternatives_3() { return cAlternatives_3; } //number=ExactNumber @@ -2003,7 +2003,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'..' public Keyword getFullStopFullStopKeyword_1() { return cFullStopFullStopKeyword_1; } - //maxNumber=INT | maxUnlimited?='*' + //(maxNumber=INT | maxUnlimited?='*') public Alternatives getAlternatives_2() { return cAlternatives_2; } //maxNumber=INT @@ -2346,11 +2346,11 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //'{' public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; } - //('metamodel' '=' metamodel=Metamodel)? & ('partial-model' '=' partialModel=PartialModel)? & ('constraints' '=' + //(('metamodel' '=' metamodel=Metamodel)? & ('partial-model' '=' partialModel=PartialModel)? & ('constraints' '=' //patterns=GraphPattern)? & ('scope' '=' scope=Scope)? & (numberSpecified?='number' '=' number=INT)? & //(runSpecified?='runs' '=' runs=INT)? & ('solver' '=' solver=Solver)? & ('config' '=' config=Config)? & ('debug' '=' //debugFolder=File)? & ('log' '=' targetLogFile=File)? & ('statistics' '=' targetStatisticsFile=File)? & ('output' '=' - //tagetFolder=File)? + //tagetFolder=File)?) public UnorderedGroup getUnorderedGroup_3() { return cUnorderedGroup_3; } //('metamodel' '=' metamodel=Metamodel)? @@ -2587,12 +2587,14 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen private final Keyword cAlloySolverAlloySolverKeyword_1_0 = (Keyword)cAlloySolverEnumLiteralDeclaration_1.eContents().get(0); private final EnumLiteralDeclaration cViatraSolverEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2); private final Keyword cViatraSolverViatraSolverKeyword_2_0 = (Keyword)cViatraSolverEnumLiteralDeclaration_2.eContents().get(0); + private final EnumLiteralDeclaration cTPTPSolverEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3); + private final Keyword cTPTPSolverTPTPSolverKeyword_3_0 = (Keyword)cTPTPSolverEnumLiteralDeclaration_3.eContents().get(0); //enum Solver: - // SMTSolver | AlloySolver | ViatraSolver; + // SMTSolver | AlloySolver | ViatraSolver | TPTPSolver; public EnumRule getRule() { return rule; } - //SMTSolver | AlloySolver | ViatraSolver + //SMTSolver | AlloySolver | ViatraSolver | TPTPSolver public Alternatives getAlternatives() { return cAlternatives; } //SMTSolver @@ -2612,6 +2614,12 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen //"ViatraSolver" public Keyword getViatraSolverViatraSolverKeyword_2_0() { return cViatraSolverViatraSolverKeyword_2_0; } + + //TPTPSolver + public EnumLiteralDeclaration getTPTPSolverEnumLiteralDeclaration_3() { return cTPTPSolverEnumLiteralDeclaration_3; } + + //"TPTPSolver" + public Keyword getTPTPSolverTPTPSolverKeyword_3_0() { return cTPTPSolverTPTPSolverKeyword_3_0; } } private final ConfigurationScriptElements pConfigurationScript; @@ -3263,7 +3271,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen } //enum Solver: - // SMTSolver | AlloySolver | ViatraSolver; + // SMTSolver | AlloySolver | ViatraSolver | TPTPSolver; public SolverElements getSolverAccess() { return eSolver; } -- cgit v1.2.3-54-g00ecf