← Back to branch summary

~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/TimeInvariant.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/TimeInvariant.java
94
94
 
95
95
        @Override
96
96
        public String toString() {
97
 
                StringBuffer buffer = new StringBuffer();
 
97
                StringBuilder buffer = new StringBuilder();
98
98
                buffer.append(isUpperIncluded ? "<=" : "<");
99
99
                buffer.append(' ');
100
100
                buffer.append(upper);
101
101
                return buffer.toString();
102
 
        };
 
102
        }
103
103
        
104
104
        public String toString(boolean displayConstantNames) {
105
 
                StringBuffer buffer = new StringBuffer();
 
105
                StringBuilder buffer = new StringBuilder();
106
106
                buffer.append(isUpperIncluded ? "<=" : "<");
107
107
                buffer.append(' ');
108
108
                buffer.append((displayConstantNames || upper instanceof InfBound) ? upper       : upper.value());