package de.ugoe.cs.swe.bnftools.ui.formatter; public class FormatterConfig { private boolean newLineAfterAlternative = true; private boolean preventNewLineAfterAlternativeOnLessThanThreeElements = true; private boolean preventNewLineAfterAlternativeOnShortAlternatives = true; private double shortAlternativeThreshold = 4.0; private boolean alignParentheses = true; private int alignParenthesesElementCountThreshold = 3; private boolean wrapAfterThreshold = true; private int wrapThreshold = 70; public boolean isNewLineAfterAlternative() { return newLineAfterAlternative; } public void setNewLineAfterAlternative(boolean newLineAfterAlternative) { this.newLineAfterAlternative = newLineAfterAlternative; } public boolean isPreventNewLineAfterAlternativeOnLessThanThreeElements() { return preventNewLineAfterAlternativeOnLessThanThreeElements; } public void setPreventNewLineAfterAlternativeOnLessThanThreeElements( boolean preventNewLineAfterAlternativeOnLessThanThreeElements) { this.preventNewLineAfterAlternativeOnLessThanThreeElements = preventNewLineAfterAlternativeOnLessThanThreeElements; } public boolean isPreventNewLineAfterAlternativeOnShortAlternatives() { return preventNewLineAfterAlternativeOnShortAlternatives; } public void setPreventNewLineAfterAlternativeOnShortAlternatives( boolean preventNewLineAfterAlternativeOnShortAlternatives) { this.preventNewLineAfterAlternativeOnShortAlternatives = preventNewLineAfterAlternativeOnShortAlternatives; } public double getShortAlternativeThreshold() { return shortAlternativeThreshold; } public void setShortAlternativeThreshold(double shortAlternativeThreshold) { this.shortAlternativeThreshold = shortAlternativeThreshold; } public boolean isAlignParentheses() { return alignParentheses; } public void setAlignParentheses(boolean alignParentheses) { this.alignParentheses = alignParentheses; } public int getAlignParenthesesElementCountThreshold() { return alignParenthesesElementCountThreshold; } public void setAlignParenthesesElementCountThreshold( int alignParenthesesElementCountThreshold) { this.alignParenthesesElementCountThreshold = alignParenthesesElementCountThreshold; } public boolean isWrapAfterThreshold() { return wrapAfterThreshold; } public void setWrapAfterThreshold(boolean wrapAfterThreshold) { this.wrapAfterThreshold = wrapAfterThreshold; } public int getWrapThreshold() { return wrapThreshold; } public void setWrapThreshold(int wrapThreshold) { this.wrapThreshold = wrapThreshold; } }