diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.gz VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.zst VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.zip |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java | 42 |
1 files changed, 25 insertions, 17 deletions
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 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.services; | 4 | package hu.bme.mit.inf.dslreasoner.application.services; |
5 | 5 | ||
@@ -1471,7 +1471,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1471 | //ClassReference | 1471 | //ClassReference |
1472 | public RuleCall getTypeClassReferenceParserRuleCall_1_0() { return cTypeClassReferenceParserRuleCall_1_0; } | 1472 | public RuleCall getTypeClassReferenceParserRuleCall_1_0() { return cTypeClassReferenceParserRuleCall_1_0; } |
1473 | 1473 | ||
1474 | //setsNew?='+=' | setsSum?='=' | 1474 | //(setsNew?='+=' | setsSum?='=') |
1475 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 1475 | public Alternatives getAlternatives_2() { return cAlternatives_2; } |
1476 | 1476 | ||
1477 | //setsNew?='+=' | 1477 | //setsNew?='+=' |
@@ -1486,7 +1486,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1486 | //'=' | 1486 | //'=' |
1487 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } | 1487 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } |
1488 | 1488 | ||
1489 | //number=ExactNumber | number=IntervallNumber | 1489 | //(number=ExactNumber | number=IntervallNumber) |
1490 | public Alternatives getAlternatives_3() { return cAlternatives_3; } | 1490 | public Alternatives getAlternatives_3() { return cAlternatives_3; } |
1491 | 1491 | ||
1492 | //number=ExactNumber | 1492 | //number=ExactNumber |
@@ -1534,7 +1534,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1534 | //ObjectReference | 1534 | //ObjectReference |
1535 | public RuleCall getTypeObjectReferenceParserRuleCall_1_0() { return cTypeObjectReferenceParserRuleCall_1_0; } | 1535 | public RuleCall getTypeObjectReferenceParserRuleCall_1_0() { return cTypeObjectReferenceParserRuleCall_1_0; } |
1536 | 1536 | ||
1537 | //setsNew?='+=' | setsSum?='=' | 1537 | //(setsNew?='+=' | setsSum?='=') |
1538 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 1538 | public Alternatives getAlternatives_2() { return cAlternatives_2; } |
1539 | 1539 | ||
1540 | //setsNew?='+=' | 1540 | //setsNew?='+=' |
@@ -1549,7 +1549,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1549 | //'=' | 1549 | //'=' |
1550 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } | 1550 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } |
1551 | 1551 | ||
1552 | //number=ExactNumber | number=IntervallNumber | 1552 | //(number=ExactNumber | number=IntervallNumber) |
1553 | public Alternatives getAlternatives_3() { return cAlternatives_3; } | 1553 | public Alternatives getAlternatives_3() { return cAlternatives_3; } |
1554 | 1554 | ||
1555 | //number=ExactNumber | 1555 | //number=ExactNumber |
@@ -1601,7 +1601,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1601 | //IntegerReference | 1601 | //IntegerReference |
1602 | public RuleCall getTypeIntegerReferenceParserRuleCall_1_0() { return cTypeIntegerReferenceParserRuleCall_1_0; } | 1602 | public RuleCall getTypeIntegerReferenceParserRuleCall_1_0() { return cTypeIntegerReferenceParserRuleCall_1_0; } |
1603 | 1603 | ||
1604 | //setsNew?='+=' | setsSum?='=' | 1604 | //(setsNew?='+=' | setsSum?='=') |
1605 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 1605 | public Alternatives getAlternatives_2() { return cAlternatives_2; } |
1606 | 1606 | ||
1607 | //setsNew?='+=' | 1607 | //setsNew?='+=' |
@@ -1616,7 +1616,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1616 | //'=' | 1616 | //'=' |
1617 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } | 1617 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } |
1618 | 1618 | ||
1619 | //number=ExactNumber | number=IntervallNumber | number=IntEnumberation | 1619 | //(number=ExactNumber | number=IntervallNumber | number=IntEnumberation) |
1620 | public Alternatives getAlternatives_3() { return cAlternatives_3; } | 1620 | public Alternatives getAlternatives_3() { return cAlternatives_3; } |
1621 | 1621 | ||
1622 | //number=ExactNumber | 1622 | //number=ExactNumber |
@@ -1674,7 +1674,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1674 | //RealReference | 1674 | //RealReference |
1675 | public RuleCall getTypeRealReferenceParserRuleCall_1_0() { return cTypeRealReferenceParserRuleCall_1_0; } | 1675 | public RuleCall getTypeRealReferenceParserRuleCall_1_0() { return cTypeRealReferenceParserRuleCall_1_0; } |
1676 | 1676 | ||
1677 | //setsNew?='+=' | setsSum?='=' | 1677 | //(setsNew?='+=' | setsSum?='=') |
1678 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 1678 | public Alternatives getAlternatives_2() { return cAlternatives_2; } |
1679 | 1679 | ||
1680 | //setsNew?='+=' | 1680 | //setsNew?='+=' |
@@ -1689,7 +1689,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1689 | //'=' | 1689 | //'=' |
1690 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } | 1690 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } |
1691 | 1691 | ||
1692 | //number=ExactNumber | number=IntervallNumber | number=RealEnumeration | 1692 | //(number=ExactNumber | number=IntervallNumber | number=RealEnumeration) |
1693 | public Alternatives getAlternatives_3() { return cAlternatives_3; } | 1693 | public Alternatives getAlternatives_3() { return cAlternatives_3; } |
1694 | 1694 | ||
1695 | //number=ExactNumber | 1695 | //number=ExactNumber |
@@ -1747,7 +1747,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1747 | //StringReference | 1747 | //StringReference |
1748 | public RuleCall getTypeStringReferenceParserRuleCall_1_0() { return cTypeStringReferenceParserRuleCall_1_0; } | 1748 | public RuleCall getTypeStringReferenceParserRuleCall_1_0() { return cTypeStringReferenceParserRuleCall_1_0; } |
1749 | 1749 | ||
1750 | //setsNew?='+=' | setsSum?='=' | 1750 | //(setsNew?='+=' | setsSum?='=') |
1751 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 1751 | public Alternatives getAlternatives_2() { return cAlternatives_2; } |
1752 | 1752 | ||
1753 | //setsNew?='+=' | 1753 | //setsNew?='+=' |
@@ -1762,7 +1762,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1762 | //'=' | 1762 | //'=' |
1763 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } | 1763 | public Keyword getSetsSumEqualsSignKeyword_2_1_0() { return cSetsSumEqualsSignKeyword_2_1_0; } |
1764 | 1764 | ||
1765 | //number=ExactNumber | number=IntervallNumber | number=StringEnumeration | 1765 | //(number=ExactNumber | number=IntervallNumber | number=StringEnumeration) |
1766 | public Alternatives getAlternatives_3() { return cAlternatives_3; } | 1766 | public Alternatives getAlternatives_3() { return cAlternatives_3; } |
1767 | 1767 | ||
1768 | //number=ExactNumber | 1768 | //number=ExactNumber |
@@ -2003,7 +2003,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
2003 | //'..' | 2003 | //'..' |
2004 | public Keyword getFullStopFullStopKeyword_1() { return cFullStopFullStopKeyword_1; } | 2004 | public Keyword getFullStopFullStopKeyword_1() { return cFullStopFullStopKeyword_1; } |
2005 | 2005 | ||
2006 | //maxNumber=INT | maxUnlimited?='*' | 2006 | //(maxNumber=INT | maxUnlimited?='*') |
2007 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | 2007 | public Alternatives getAlternatives_2() { return cAlternatives_2; } |
2008 | 2008 | ||
2009 | //maxNumber=INT | 2009 | //maxNumber=INT |
@@ -2346,11 +2346,11 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
2346 | //'{' | 2346 | //'{' |
2347 | public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; } | 2347 | public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; } |
2348 | 2348 | ||
2349 | //('metamodel' '=' metamodel=Metamodel)? & ('partial-model' '=' partialModel=PartialModel)? & ('constraints' '=' | 2349 | //(('metamodel' '=' metamodel=Metamodel)? & ('partial-model' '=' partialModel=PartialModel)? & ('constraints' '=' |
2350 | //patterns=GraphPattern)? & ('scope' '=' scope=Scope)? & (numberSpecified?='number' '=' number=INT)? & | 2350 | //patterns=GraphPattern)? & ('scope' '=' scope=Scope)? & (numberSpecified?='number' '=' number=INT)? & |
2351 | //(runSpecified?='runs' '=' runs=INT)? & ('solver' '=' solver=Solver)? & ('config' '=' config=Config)? & ('debug' '=' | 2351 | //(runSpecified?='runs' '=' runs=INT)? & ('solver' '=' solver=Solver)? & ('config' '=' config=Config)? & ('debug' '=' |
2352 | //debugFolder=File)? & ('log' '=' targetLogFile=File)? & ('statistics' '=' targetStatisticsFile=File)? & ('output' '=' | 2352 | //debugFolder=File)? & ('log' '=' targetLogFile=File)? & ('statistics' '=' targetStatisticsFile=File)? & ('output' '=' |
2353 | //tagetFolder=File)? | 2353 | //tagetFolder=File)?) |
2354 | public UnorderedGroup getUnorderedGroup_3() { return cUnorderedGroup_3; } | 2354 | public UnorderedGroup getUnorderedGroup_3() { return cUnorderedGroup_3; } |
2355 | 2355 | ||
2356 | //('metamodel' '=' metamodel=Metamodel)? | 2356 | //('metamodel' '=' metamodel=Metamodel)? |
@@ -2587,12 +2587,14 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
2587 | private final Keyword cAlloySolverAlloySolverKeyword_1_0 = (Keyword)cAlloySolverEnumLiteralDeclaration_1.eContents().get(0); | 2587 | private final Keyword cAlloySolverAlloySolverKeyword_1_0 = (Keyword)cAlloySolverEnumLiteralDeclaration_1.eContents().get(0); |
2588 | private final EnumLiteralDeclaration cViatraSolverEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2); | 2588 | private final EnumLiteralDeclaration cViatraSolverEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2); |
2589 | private final Keyword cViatraSolverViatraSolverKeyword_2_0 = (Keyword)cViatraSolverEnumLiteralDeclaration_2.eContents().get(0); | 2589 | private final Keyword cViatraSolverViatraSolverKeyword_2_0 = (Keyword)cViatraSolverEnumLiteralDeclaration_2.eContents().get(0); |
2590 | private final EnumLiteralDeclaration cTPTPSolverEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3); | ||
2591 | private final Keyword cTPTPSolverTPTPSolverKeyword_3_0 = (Keyword)cTPTPSolverEnumLiteralDeclaration_3.eContents().get(0); | ||
2590 | 2592 | ||
2591 | //enum Solver: | 2593 | //enum Solver: |
2592 | // SMTSolver | AlloySolver | ViatraSolver; | 2594 | // SMTSolver | AlloySolver | ViatraSolver | TPTPSolver; |
2593 | public EnumRule getRule() { return rule; } | 2595 | public EnumRule getRule() { return rule; } |
2594 | 2596 | ||
2595 | //SMTSolver | AlloySolver | ViatraSolver | 2597 | //SMTSolver | AlloySolver | ViatraSolver | TPTPSolver |
2596 | public Alternatives getAlternatives() { return cAlternatives; } | 2598 | public Alternatives getAlternatives() { return cAlternatives; } |
2597 | 2599 | ||
2598 | //SMTSolver | 2600 | //SMTSolver |
@@ -2612,6 +2614,12 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
2612 | 2614 | ||
2613 | //"ViatraSolver" | 2615 | //"ViatraSolver" |
2614 | public Keyword getViatraSolverViatraSolverKeyword_2_0() { return cViatraSolverViatraSolverKeyword_2_0; } | 2616 | public Keyword getViatraSolverViatraSolverKeyword_2_0() { return cViatraSolverViatraSolverKeyword_2_0; } |
2617 | |||
2618 | //TPTPSolver | ||
2619 | public EnumLiteralDeclaration getTPTPSolverEnumLiteralDeclaration_3() { return cTPTPSolverEnumLiteralDeclaration_3; } | ||
2620 | |||
2621 | //"TPTPSolver" | ||
2622 | public Keyword getTPTPSolverTPTPSolverKeyword_3_0() { return cTPTPSolverTPTPSolverKeyword_3_0; } | ||
2615 | } | 2623 | } |
2616 | 2624 | ||
2617 | private final ConfigurationScriptElements pConfigurationScript; | 2625 | private final ConfigurationScriptElements pConfigurationScript; |
@@ -3263,7 +3271,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
3263 | } | 3271 | } |
3264 | 3272 | ||
3265 | //enum Solver: | 3273 | //enum Solver: |
3266 | // SMTSolver | AlloySolver | ViatraSolver; | 3274 | // SMTSolver | AlloySolver | ViatraSolver | TPTPSolver; |
3267 | public SolverElements getSolverAccess() { | 3275 | public SolverElements getSolverAccess() { |
3268 | return eSolver; | 3276 | return eSolver; |
3269 | } | 3277 | } |