diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca')
6 files changed, 0 insertions, 20 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin index 4a78ac13..f40814b0 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageRuntimeModule.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin index 9d31c774..9a9d2465 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/.VampireLanguageStandaloneSetup.xtendbin | |||
Binary files differ | |||
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 index e925e4e1..ce4138d1 100644 --- 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 | |||
Binary files differ | |||
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 index 73a032e7..0daa6fa5 100644 --- 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 | |||
@@ -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 java.util.Arrays; | 11 | import java.util.Arrays; |
@@ -27,25 +25,10 @@ public class VampireLanguageFormatter extends AbstractFormatter2 { | |||
27 | private VampireLanguageGrammarAccess _vampireLanguageGrammarAccess; | 25 | private VampireLanguageGrammarAccess _vampireLanguageGrammarAccess; |
28 | 26 | ||
29 | protected void _format(final VampireModel vampireModel, @Extension final IFormattableDocument document) { | 27 | protected void _format(final VampireModel vampireModel, @Extension final IFormattableDocument document) { |
30 | EList<VLSInclude> _includes = vampireModel.getIncludes(); | ||
31 | for (final VLSInclude vLSInclude : _includes) { | ||
32 | document.<VLSInclude>format(vLSInclude); | ||
33 | } | ||
34 | EList<VLSComment> _comments = vampireModel.getComments(); | 28 | EList<VLSComment> _comments = vampireModel.getComments(); |
35 | for (final VLSComment vLSComment : _comments) { | 29 | for (final VLSComment vLSComment : _comments) { |
36 | document.<VLSComment>format(vLSComment); | 30 | document.<VLSComment>format(vLSComment); |
37 | } | 31 | } |
38 | EList<VLSFofFormula> _formulas = vampireModel.getFormulas(); | ||
39 | for (final VLSFofFormula vLSFofFormula : _formulas) { | ||
40 | document.<VLSFofFormula>format(vLSFofFormula); | ||
41 | } | ||
42 | } | ||
43 | |||
44 | protected void _format(final VLSInclude vLSInclude, @Extension final IFormattableDocument document) { | ||
45 | EList<VLSName> _names = vLSInclude.getNames(); | ||
46 | for (final VLSName vLSName : _names) { | ||
47 | document.<VLSName>format(vLSName); | ||
48 | } | ||
49 | } | 32 | } |
50 | 33 | ||
51 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { | 34 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { |
@@ -72,9 +55,6 @@ public class VampireLanguageFormatter extends AbstractFormatter2 { | |||
72 | } else if (comment instanceof VLSFofFormula) { | 55 | } else if (comment instanceof VLSFofFormula) { |
73 | _format((VLSFofFormula)comment, document); | 56 | _format((VLSFofFormula)comment, document); |
74 | return; | 57 | return; |
75 | } else if (comment instanceof VLSInclude) { | ||
76 | _format((VLSInclude)comment, document); | ||
77 | return; | ||
78 | } else if (comment instanceof VampireModel) { | 58 | } else if (comment instanceof VampireModel) { |
79 | _format((VampireModel)comment, document); | 59 | _format((VampireModel)comment, document); |
80 | return; | 60 | return; |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin index 3f95e60a..db0f9d01 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/scoping/.VampireLanguageScopeProvider.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin index 9bb44e75..b8872cf8 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/validation/.VampireLanguageValidator.xtendbin | |||
Binary files differ | |||