diff options
author | 2019-02-01 16:03:30 -0500 | |
---|---|---|
committer | 2020-06-07 19:06:28 -0400 | |
commit | 57e614aabedc176ba9965d0ca5e6daa23c5f4758 (patch) | |
tree | 16806454dff463419af99b14f6abfab3d1fa5291 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.tar.gz VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.tar.zst VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.zip |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java | 10 |
1 files changed, 0 insertions, 10 deletions
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..c439bbdb 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 | |||
@@ -15,10 +15,8 @@ import org.eclipse.emf.common.util.EList; | |||
15 | import org.eclipse.emf.ecore.EObject; | 15 | import org.eclipse.emf.ecore.EObject; |
16 | import org.eclipse.xtext.formatting2.AbstractFormatter2; | 16 | import org.eclipse.xtext.formatting2.AbstractFormatter2; |
17 | import org.eclipse.xtext.formatting2.IFormattableDocument; | 17 | import org.eclipse.xtext.formatting2.IFormattableDocument; |
18 | import org.eclipse.xtext.formatting2.IHiddenRegionFormatter; | ||
19 | import org.eclipse.xtext.resource.XtextResource; | 18 | import org.eclipse.xtext.resource.XtextResource; |
20 | import org.eclipse.xtext.xbase.lib.Extension; | 19 | import org.eclipse.xtext.xbase.lib.Extension; |
21 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | ||
22 | 20 | ||
23 | @SuppressWarnings("all") | 21 | @SuppressWarnings("all") |
24 | public class VampireLanguageFormatter extends AbstractFormatter2 { | 22 | public class VampireLanguageFormatter extends AbstractFormatter2 { |
@@ -49,17 +47,9 @@ public class VampireLanguageFormatter extends AbstractFormatter2 { | |||
49 | } | 47 | } |
50 | 48 | ||
51 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { | 49 | protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) { |
52 | final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> { | ||
53 | it.newLine(); | ||
54 | }; | ||
55 | document.<VLSFofFormula>append(formula, _function); | ||
56 | } | 50 | } |
57 | 51 | ||
58 | protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) { | 52 | protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) { |
59 | final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> { | ||
60 | it.newLine(); | ||
61 | }; | ||
62 | document.<VLSComment>append(comment, _function); | ||
63 | } | 53 | } |
64 | 54 | ||
65 | public void format(final Object comment, final IFormattableDocument document) { | 55 | public void format(final Object comment, final IFormattableDocument document) { |