From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../formatting/AlloyLanguageFormatter.xtend | 96 ++++++++++++++++++++++ 1 file changed, 96 insertions(+) create mode 100644 Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend') 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) + + } +} -- cgit v1.2.3-54-g00ecf