1 files changed, 96 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend
new file mode 100644
index 00000000..28797bc4
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend
@@ -0,0 +1,96 @@
+/*

+ * generated by Xtext

+ */

+package hu.bme.mit.inf.dslreasoner.formatting

+

+import com.google.inject.Inject

+import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess

+import org.eclipse.xtext.formatting.impl.AbstractDeclarativeFormatter

+import org.eclipse.xtext.formatting.impl.FormattingConfig

+

+/**

+ * 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 AlloyLanguageFormatter extends AbstractDeclarativeFormatter {

+

+        @Inject extension AlloyLanguageGrammarAccess

+        

+        override protected void configureFormatting(FormattingConfig c) {

+        // It's usually a good idea to activate the following three statements.

+        // They will add and preserve newlines around comments

+                c.setLinewrap(0, 1, 2).before(SL_COMMENTRule)

+                c.setLinewrap(0, 1, 2).before(ML_COMMENTRule)

+                c.setLinewrap(0, 1, 1).after(ML_COMMENTRule)

+                

+                c.setAutoLinewrap(100000);

+                

+                //Signatures

+                c.setIndentationIncrement.after(ALSSignatureBodyAccess.leftCurlyBracketKeyword_5);

+                c.setLinewrap.after(ALSSignatureBodyAccess.leftCurlyBracketKeyword_5)

+                c.setIndentationDecrement.before(ALSSignatureBodyAccess.rightCurlyBracketKeyword_7);

+                c.setLinewrap.after(ALSSignatureBodyAccess.rightCurlyBracketKeyword_7)

+                c.setLinewrap.before(ALSSignatureBodyAccess.rightCurlyBracketKeyword_7)

+                c.setNoSpace.before(ALSSignatureBodyAccess.commaKeyword_3_0)

+                c.setLinewrap.after(ALSSignatureBodyAccess.commaKeyword_3_0)

+                c.setNoSpace.before(ALSSignatureBodyAccess.commaKeyword_3_0)

+                c.setNoSpace.before(ALSSignatureBodyAccess.commaKeyword_6_1_0)

+                c.setLinewrap.after(ALSSignatureBodyAccess.commaKeyword_6_1_0)

+                c.setNoSpace.before(ALSSignatureBodyAccess.commaKeyword_6_1_0)

+                //c.setLinewrap(0,1,2).between(ALSSignatureDeclarationRule,ALSSignatureDeclarationRule)

+                

+                //Enums

+                c.setIndentationIncrement.after(ALSEnumDeclarationAccess.leftCurlyBracketKeyword_2)

+                c.setLinewrap.after(ALSEnumDeclarationAccess.leftCurlyBracketKeyword_2)

+                c.setIndentationDecrement.before(ALSEnumDeclarationAccess.rightCurlyBracketKeyword_5)

+                c.setLinewrap.before(ALSEnumDeclarationAccess.rightCurlyBracketKeyword_5)

+                c.setLinewrap.after(ALSEnumDeclarationAccess.rightCurlyBracketKeyword_5)

+                c.setNoSpace.before(ALSEnumDeclarationAccess.commaKeyword_4_0)

+                

+                

+                //facts

+                c.setIndentationIncrement.after(ALSFactDeclarationAccess.leftCurlyBracketKeyword_3)

+                c.setLinewrap.after(ALSFactDeclarationAccess.leftCurlyBracketKeyword_3)

+                c.setIndentationDecrement.before(ALSFactDeclarationAccess.rightCurlyBracketKeyword_5)

+                c.setLinewrap.before(ALSFactDeclarationAccess.rightCurlyBracketKeyword_5)

+                c.setLinewrap.after(ALSFactDeclarationAccess.rightCurlyBracketKeyword_5)

+                

+                //predicates

+                c.setIndentationIncrement.after(ALSRelationDefinitionAccess.leftCurlyBracketKeyword_6)

+                c.setLinewrap.after(ALSRelationDefinitionAccess.leftCurlyBracketKeyword_6)

+                c.setIndentationDecrement.before(ALSRelationDefinitionAccess.rightCurlyBracketKeyword_8)

+                c.setLinewrap.before(ALSRelationDefinitionAccess.rightCurlyBracketKeyword_8)

+                c.setLinewrap.after(ALSRelationDefinitionAccess.rightCurlyBracketKeyword_8)

+                c.setNoSpace.after(ALSRelationDefinitionAccess.leftSquareBracketKeyword_2)

+                c.setNoSpace.before(ALSRelationDefinitionAccess.rightSquareBracketKeyword_5)

+                c.setNoSpace.before(ALSRelationDefinitionAccess.commaKeyword_4_0)

+                

+                // terms

+                //c.setNoSpace.before(ALSJoinAccess.rightSquareBracketKeyword_1_2_1_3)

+                c.setNoSpace.before(ALSJoinAccess.fullStopKeyword_1_1)

+                c.setNoSpace.after(ALSJoinAccess.fullStopKeyword_1_1)

+                

+                c.setNoSpace.before(ALSDirectProductAccess.hyphenMinusGreaterThanSignKeyword_1_2)

+                c.setNoSpace.after(ALSDirectProductAccess.hyphenMinusGreaterThanSignKeyword_1_2)

+                

+                c.setNoSpace.before(ALSVariableDeclarationAccess.colonKeyword_1)

+//              c.setNoSpace.before(ALSPreficedAccess.commaKeyword_5_3_0)

+//              c.setNoSpace.before(ALSPreficedAccess.commaKeyword_6_4_0)

+//              

+//              c.setIndentationIncrement.after(ALSPreficedAccess.leftCurlyBracketKeyword_5_4)

+//              c.setLinewrap.after(ALSPreficedAccess.leftCurlyBracketKeyword_5_4)

+//              c.setLinewrap.before(ALSPreficedAccess.rightCurlyBracketKeyword_5_6)

+//              c.setIndentationDecrement.before(ALSPreficedAccess.rightCurlyBracketKeyword_5_6)

+                

+                c.setNoSpace.after(ALSBasicRelationTermAccess.leftParenthesisKeyword_6_0)

+                c.setNoSpace.before(ALSBasicRelationTermAccess.rightParenthesisKeyword_6_2)

+                

+                // Quantified expression

+                c.setNoSpace.before(ALSQuantifiedAccess.commaKeyword_0_4_0)

+                

+        }

+}