diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | 48 |
1 files changed, 48 insertions, 0 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 new file mode 100644 index 00000000..f943daad --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | |||
@@ -0,0 +1,48 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.12.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.formatting2 | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment | ||
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 | ||
12 | import com.google.inject.Inject | ||
13 | import org.eclipse.xtext.formatting2.AbstractFormatter2 | ||
14 | import org.eclipse.xtext.formatting2.IFormattableDocument | ||
15 | |||
16 | class VampireLanguageFormatter extends AbstractFormatter2 { | ||
17 | |||
18 | @Inject extension VampireLanguageGrammarAccess | ||
19 | |||
20 | def dispatch void format(VampireModel vampireModel, extension IFormattableDocument document) { | ||
21 | // TODO: format HiddenRegions around keywords, attributes, cross references, etc. | ||
22 | for (VLSInclude vLSInclude : vampireModel.getIncludes()) { | ||
23 | vLSInclude.format; | ||
24 | } | ||
25 | for (VLSComment vLSComment : vampireModel.getComments()) { | ||
26 | vLSComment.format; | ||
27 | } | ||
28 | for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { | ||
29 | vLSFofFormula.format; | ||
30 | } | ||
31 | } | ||
32 | |||
33 | def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { | ||
34 | // TODO: format HiddenRegions around keywords, attributes, cross references, etc. | ||
35 | for (VLSName vLSName : vLSInclude.getNames()) { | ||
36 | vLSName.format; | ||
37 | } | ||
38 | } | ||
39 | |||
40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ | ||
41 | formula.append[newLine] | ||
42 | } | ||
43 | |||
44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ | ||
45 | comment.append[newLine] | ||
46 | } | ||
47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment | ||
48 | } | ||