1 files changed, 34 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/formatting/SmtLanguageFormatter.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/formatting/SmtLanguageFormatter.xtend
new file mode 100644
index 00000000..9e3e3943
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/formatting/SmtLanguageFormatter.xtend
@@ -0,0 +1,34 @@
+package hu.bme.mit.inf.dslreasoner.formatting
+
+import org.eclipse.xtext.formatting.impl.AbstractDeclarativeFormatter
+import org.eclipse.xtext.formatting.impl.FormattingConfig
+import hu.bme.mit.inf.dslreasoner.services.SmtLanguageGrammarAccess
+
+
+/**
+ * This class contains custom formatting description.
+ * 
+ * see : http://www.eclipse.org/Xtext/documentation.html#formatting
+ * on how and when to use it 
+ * 
+ * Also see {@link org.eclipse.xtext.xtext.XtextFormattingTokenSerializer} as an example
+ */
+class SmtLanguageFormatter extends AbstractDeclarativeFormatter {
+
+//      @Inject extension SmtLanguageGrammarAccess
+        
+        override protected void configureFormatting(FormattingConfig c) {
+                val f = getGrammarAccess as SmtLanguageGrammarAccess
+                c.setAutoLinewrap(100000);
+                for(pair : f.findKeywordPairs("(",")")) {
+                        c.setNoSpace().after(pair.getFirst());
+                c.setNoSpace().before(pair.getSecond());
+                }
+                c.setLinewrap.after(f.SMTAssertionRule)
+                c.setLinewrap.after(f.SMTFunctionDeclarationRule)
+                c.setLinewrap.after(f.SMTFunctionDefinitionRule)
+                c.setLinewrap.after(f.SMTEnumeratedTypeDeclarationRule)
+                c.setLinewrap.after(f.SMTSetTypeDeclarationRule)
+                c.setLinewrap.after(f.SMTOptionRule)
+        }
+}