diff options
author | 2019-08-29 06:26:02 -0400 | |
---|---|---|
committer | 2020-06-07 19:41:39 -0400 | |
commit | 15602c7cfbfc80b8c826855b94c9f9582650dd21 (patch) | |
tree | 3f90d5812e68215838efd52372bcc26df88b9033 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2 | |
parent | VAMPIRE: integrate local Vampire executeable #32 (diff) | |
download | VIATRA-Generator-15602c7cfbfc80b8c826855b94c9f9582650dd21.tar.gz VIATRA-Generator-15602c7cfbfc80b8c826855b94c9f9582650dd21.tar.zst VIATRA-Generator-15602c7cfbfc80b8c826855b94c9f9582650dd21.zip |
VAMPIRE: adapt grammar to Vampire solution + get model from text
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | 26 |
1 files changed, 12 insertions, 14 deletions
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 f943daad..4fc67b22 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 | |||
@@ -6,8 +6,6 @@ package ca.mcgill.ecse.dslreasoner.formatting2 | |||
6 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess | 6 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula |
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName | ||
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel |
12 | import com.google.inject.Inject | 10 | import com.google.inject.Inject |
13 | import org.eclipse.xtext.formatting2.AbstractFormatter2 | 11 | import org.eclipse.xtext.formatting2.AbstractFormatter2 |
@@ -19,23 +17,23 @@ class VampireLanguageFormatter extends AbstractFormatter2 { | |||
19 | 17 | ||
20 | def dispatch void format(VampireModel vampireModel, extension IFormattableDocument document) { | 18 | def dispatch void format(VampireModel vampireModel, extension IFormattableDocument document) { |
21 | // TODO: format HiddenRegions around keywords, attributes, cross references, etc. | 19 | // TODO: format HiddenRegions around keywords, attributes, cross references, etc. |
22 | for (VLSInclude vLSInclude : vampireModel.getIncludes()) { | 20 | // for (VLSInclude vLSInclude : vampireModel.getIncludes()) { |
23 | vLSInclude.format; | 21 | // vLSInclude.format; |
24 | } | 22 | // } |
25 | for (VLSComment vLSComment : vampireModel.getComments()) { | 23 | for (VLSComment vLSComment : vampireModel.getComments()) { |
26 | vLSComment.format; | 24 | vLSComment.format; |
27 | } | 25 | } |
28 | for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { | 26 | // for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { |
29 | vLSFofFormula.format; | 27 | // vLSFofFormula.format; |
30 | } | 28 | // } |
31 | } | 29 | } |
32 | 30 | ||
33 | def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { | 31 | // def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { |
34 | // TODO: format HiddenRegions around keywords, attributes, cross references, etc. | 32 | // // TODO: format HiddenRegions around keywords, attributes, cross references, etc. |
35 | for (VLSName vLSName : vLSInclude.getNames()) { | 33 | // for (VLSName vLSName : vLSInclude.getNames()) { |
36 | vLSName.format; | 34 | // vLSName.format; |
37 | } | 35 | // } |
38 | } | 36 | // } |
39 | 37 | ||
40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ | 38 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ |
41 | formula.append[newLine] | 39 | formula.append[newLine] |