Changeset 31 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/FormatterConfig.java

Timestamp:

11/02/10 18:29:57 (14 years ago)

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/FormatterConfig.java (modified) (2 diffs)

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/FormatterConfig.java

@@ -6 +6 @@
         private boolean preventNewLineAfterAlternativeOnShortAlternatives = true;
         private double shortAlternativeThreshold = 3.0;
+        private boolean alignParentheses = true;
+        private int alignParenthesesElementCountThreshold = 3;
+        private boolean wrapAfterThreshold = true;
+        private int wrapThreshold = 80;
 
         public boolean isNewLineAfterAlternative() {
@@ -41 +45 @@
         }
 
+        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;
+        }
+
 }