← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/TCTLEGNode.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/TCTL/TCTLEGNode.java
2
2
 
3
3
import dk.aau.cs.TCTL.visitors.ITCTLVisitor;
4
4
 
5
 
 
6
5
public class TCTLEGNode extends TCTLAbstractPathProperty {
7
6
 
8
7
        private TCTLAbstractStateProperty property;
9
8
 
10
 
 
11
9
        public void setProperty(TCTLAbstractStateProperty property) {
12
10
                this.property = property;
13
11
                this.property.setParent(this);
14
12
        }
15
13
 
16
 
 
17
 
 
18
14
        public TCTLAbstractStateProperty getProperty() {
19
15
                return property;
20
16
        }
21
17
 
22
 
 
23
 
 
24
18
        public TCTLEGNode(TCTLAbstractStateProperty property) {
25
19
                this.property = property;
26
20
                this.property.setParent(this);
27
21
        }
28
22
 
29
 
 
30
23
        public TCTLEGNode() {
31
24
                this.property = new TCTLStatePlaceHolder();
32
25
                this.property.setParent(this);
33
26
        }
34
27
 
35
 
 
36
 
 
37
28
        @Override
38
29
        public boolean isSimpleProperty() {
39
30
                return false;
50
41
                return children;
51
42
        }
52
43
 
53
 
 
54
44
        @Override
55
45
        public boolean equals(Object o) {
56
 
                if(o instanceof TCTLEGNode) {
57
 
                        TCTLEGNode node = (TCTLEGNode)o;
 
46
                if (o instanceof TCTLEGNode) {
 
47
                        TCTLEGNode node = (TCTLEGNode) o;
58
48
                        return property.equals(node.getProperty());
59
49
                }
60
50
                return false;
62
52
 
63
53
        @Override
64
54
        public String toString() {
65
 
                String s = property.isSimpleProperty() ? property.toString() : "(" + property.toString() + ")";
 
55
                String s = property.isSimpleProperty() ? property.toString() : "("
 
56
                                + property.toString() + ")";
66
57
                return "EG " + s;
67
58
        }
68
59
 
72
63
        }
73
64
 
74
65
        @Override
75
 
        public TCTLAbstractPathProperty replace(TCTLAbstractProperty object1, TCTLAbstractProperty object2) {
 
66
        public TCTLAbstractPathProperty replace(TCTLAbstractProperty object1,
 
67
                        TCTLAbstractProperty object2) {
76
68
                if (this == object1 && object2 instanceof TCTLAbstractPathProperty) {
77
 
                        return (TCTLAbstractPathProperty)object2;
 
69
                        return (TCTLAbstractPathProperty) object2;
78
70
                } else {
79
71
                        property = property.replace(object1, object2);
80
72
                        return this;
86
78
                visitor.visit(this, context);
87
79
        }
88
80
 
89
 
 
90
 
 
91
81
        @Override
92
82
        public boolean containsPlaceHolder() {
93
83
                return property.containsPlaceHolder();
98
88
                return property.containsAtomicPropWithSpecificPlace(placeName);
99
89
        }
100
90
        
 
91
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
 
92
                return property.containsAtomicPropositionWithSpecificPlaceInTemplate(templateName, placeName);
 
93
        }
 
94
 
101
95
        @Override
102
96
        public TCTLAbstractProperty findFirstPlaceHolder() {
103
97
                return property.findFirstPlaceHolder();
104
 
                
 
98
 
105
99
        }
106
100
}