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 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2 | |
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 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2')
3 files changed, 0 insertions, 82 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin deleted file mode 100644 index d1a3a13d..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin +++ /dev/null | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore deleted file mode 100644 index 2e4f4654..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.gitignore +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | /.VampireLanguageFormatter.java._trace | ||
2 | /.VampireLanguageFormatter.xtendbin | ||
3 | /VampireLanguageFormatter.java | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java deleted file mode 100644 index 48b973e7..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java +++ /dev/null | |||
@@ -1,79 +0,0 @@ | |||
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.VampireModel; | ||
10 | import com.google.inject.Inject; | ||
11 | import java.util.Arrays; | ||
12 | import org.eclipse.emf.common.util.EList; | ||
13 | import org.eclipse.emf.ecore.EObject; | ||
14 | import org.eclipse.xtext.formatting2.AbstractFormatter2; | ||
15 | import org.eclipse.xtext.formatting2.IFormattableDocument; | ||
16 | import org.eclipse.xtext.formatting2.IHiddenRegionFormatter; | ||
17 | import org.eclipse.xtext.resource.XtextResource; | ||
18 | import org.eclipse.xtext.xbase.lib.Extension; | ||
19 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | ||
20 | |||
21 | @SuppressWarnings("all") | ||
22 | public class VampireLanguageFormatter extends AbstractFormatter2 { | ||
23 | @Inject | ||
24 | @Extension | ||
25 | private VampireLanguageGrammarAccess _vampireLanguageGrammarAccess; | ||
26 | |||
27 | protected void _format(final VampireModel vampireModel, @Extension final IFormattableDocument document) { | ||
28 | EList<VLSComment> _comments = vampireModel.getComments(); | ||
29 | for (final VLSComment vLSComment : _comments) { | ||
30 | document.<VLSComment>format(vLSComment); | ||
31 | } | ||
32 | EList<VLSFofFormula> _formulas = vampireModel.getFormulas(); | ||
33 | for (final VLSFofFormula vLSFofFormula : _formulas) { | ||
34 | document.<VLSFofFormula>format(vLSFofFormula); | ||
35 | } | ||
36 | } | ||
37 | |||
38 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { | ||
39 | final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> { | ||
40 | it.newLine(); | ||
41 | }; | ||
42 | document.<VLSFofFormula>append(formula, _function); | ||
43 | } | ||
44 | |||
45 | protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) { | ||
46 | final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> { | ||
47 | it.newLine(); | ||
48 | }; | ||
49 | document.<VLSComment>append(comment, _function); | ||
50 | } | ||
51 | |||
52 | public void format(final Object comment, final IFormattableDocument document) { | ||
53 | if (comment instanceof XtextResource) { | ||
54 | _format((XtextResource)comment, document); | ||
55 | return; | ||
56 | } else if (comment instanceof VLSComment) { | ||
57 | _format((VLSComment)comment, document); | ||
58 | return; | ||
59 | } else if (comment instanceof VLSFofFormula) { | ||
60 | _format((VLSFofFormula)comment, document); | ||
61 | return; | ||
62 | } else if (comment instanceof VampireModel) { | ||
63 | _format((VampireModel)comment, document); | ||
64 | return; | ||
65 | } else if (comment instanceof EObject) { | ||
66 | _format((EObject)comment, document); | ||
67 | return; | ||
68 | } else if (comment == null) { | ||
69 | _format((Void)null, document); | ||
70 | return; | ||
71 | } else if (comment != null) { | ||
72 | _format(comment, document); | ||
73 | return; | ||
74 | } else { | ||
75 | throw new IllegalArgumentException("Unhandled parameter types: " + | ||
76 | Arrays.<Object>asList(comment, document).toString()); | ||
77 | } | ||
78 | } | ||
79 | } | ||