← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/NTA/SupQuery.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/NTA/SupQuery.java
1
 
package dk.aau.cs.TA;
 
1
package dk.aau.cs.model.NTA;
2
2
 
3
3
import java.io.PrintStream;
4
4
import java.util.ArrayList;
7
7
public class SupQuery implements UPPAALQuery {
8
8
        private static final String SUP = "sup:";
9
9
        private List<String> elements = new ArrayList<String>();
10
 
        
11
 
        public SupQuery(String... elems){
12
 
                for(String e : elems){
 
10
 
 
11
        public SupQuery(String... elems) {
 
12
                for (String e : elems) {
13
13
                        elements.add(e);
14
14
                }
15
15
        }
16
 
        
17
 
        public void addElement(String elem){
 
16
 
 
17
        public void addElement(String elem) {
18
18
                elements.add(elem);
19
19
        }
20
 
        
21
 
        public void removeElement(String elem){
 
20
 
 
21
        public void removeElement(String elem) {
22
22
                elements.remove(elem);
23
23
        }
24
 
        
25
 
        public void output(PrintStream file){
 
24
 
 
25
        public void output(PrintStream file) {
26
26
                file.append(SUP);
27
27
                boolean first = true;
28
 
                for(String elem : elements){
29
 
                        if(!first){
 
28
                for (String elem : elements) {
 
29
                        if (!first) {
30
30
                                file.append(",");
31
31
                        }
32
32
                        file.append(elem);
33
33
                }
34
34
                file.append("\n");
35
35
        }
36
 
        
 
36
 
37
37
}