diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
| commit | 2c05097ccbeeadd70b20f5001ebeb22ffdc465de (patch) | |
| tree | 88662460674d49bff71d051d3a59a0929f1cfa5f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src | |
| parent | complete vsconfig files #19 (diff) | |
| download | VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.gz VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.zst VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.zip | |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src')
2 files changed, 9 insertions, 9 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext index a76107c4..2b5958ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | |||
| @@ -85,13 +85,13 @@ VLSSatisfiable: | |||
| 85 | {VLSSatisfiable} 'Satisfiable!' | 85 | {VLSSatisfiable} 'Satisfiable!' |
| 86 | ; | 86 | ; |
| 87 | 87 | ||
| 88 | VLSTrying: | 88 | //VLSTrying: |
| 89 | 'TRYING' '[' name = LITERAL ']' | 89 | // 'TRYING' '[' name = LITERAL ']' |
| 90 | ; | 90 | //; |
| 91 | 91 | // | |
| 92 | VLSFiniteModel: | 92 | //VLSFiniteModel: |
| 93 | {VLSFiniteModel} 'Finite' 'Model' 'Found!' | 93 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!' |
| 94 | ; | 94 | //; |
| 95 | 95 | ||
| 96 | // <FOF formulas> | 96 | // <FOF formulas> |
| 97 | VLSFofFormula: | 97 | VLSFofFormula: |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend index 4398d659..f943daad 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | |||
| @@ -38,11 +38,11 @@ class VampireLanguageFormatter extends AbstractFormatter2 { | |||
| 38 | } | 38 | } |
| 39 | 39 | ||
| 40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ | 40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ |
| 41 | // formula.append[newLine] | 41 | formula.append[newLine] |
| 42 | } | 42 | } |
| 43 | 43 | ||
| 44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ | 44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ |
| 45 | // comment.append[newLine] | 45 | comment.append[newLine] |
| 46 | } | 46 | } |
| 47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment | 47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment |
| 48 | } | 48 | } |