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/SmtLanguageFormatter.xtend | 34 ++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/formatting/SmtLanguageFormatter.xtend (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/formatting') 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) + } +} -- cgit v1.2.3-54-g00ecf