← 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/TCTLAFNode.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/TCTLAFNode.java
2
2
 
3
3
import dk.aau.cs.TCTL.visitors.ITCTLVisitor;
4
4
 
5
 
 
6
5
public class TCTLAFNode extends TCTLAbstractPathProperty {
7
6
 
8
7
        private TCTLAbstractStateProperty property;
16
15
                return property;
17
16
        }
18
17
 
19
 
 
20
 
 
21
18
        public TCTLAFNode(TCTLAbstractStateProperty property) {
22
19
                this.property = property;
23
20
                this.property.setParent(this);
24
21
        }
25
 
        
26
 
 
27
22
 
28
23
        public TCTLAFNode() {
29
24
                this.property = new TCTLStatePlaceHolder();
41
36
                start = start + 3;
42
37
                int end = start + property.toString().length();
43
38
                StringPosition position = new StringPosition(start, end, property);
44
 
                
 
39
 
45
40
                StringPosition[] children = { position };
46
41
                return children;
47
42
        }
48
43
 
49
 
        
50
44
        @Override
51
45
        public boolean equals(Object o) {
52
 
                if(o instanceof TCTLAFNode) {
53
 
                        TCTLAFNode node = (TCTLAFNode)o;
 
46
                if (o instanceof TCTLAFNode) {
 
47
                        TCTLAFNode node = (TCTLAFNode) o;
54
48
                        return property.equals(node.getProperty());
55
49
                }
56
50
                return false;
58
52
 
59
53
        @Override
60
54
        public String toString() {
61
 
                String s = property.isSimpleProperty() ? property.toString() : "(" + property.toString() + ")";
 
55
                String s = property.isSimpleProperty() ? property.toString() : "("
 
56
                                + property.toString() + ")";
62
57
                return "AF " + s;
63
58
        }
64
59
 
68
63
        }
69
64
 
70
65
        @Override
71
 
        public TCTLAbstractPathProperty replace(TCTLAbstractProperty object1, TCTLAbstractProperty object2) {
 
66
        public TCTLAbstractPathProperty replace(TCTLAbstractProperty object1,
 
67
                        TCTLAbstractProperty object2) {
72
68
                if (this == object1 && object2 instanceof TCTLAbstractPathProperty) {
73
 
                        return (TCTLAbstractPathProperty)object2;
 
69
                        return (TCTLAbstractPathProperty) object2;
74
70
                } else {
75
71
                        property = property.replace(object1, object2);
76
72
                        return this;
77
73
                }
78
74
        }
79
75
 
80
 
 
81
 
 
82
76
        @Override
83
77
        public void accept(ITCTLVisitor visitor, Object context) {
84
78
                visitor.visit(this, context);
85
79
        }
86
80
 
87
 
 
88
 
 
89
81
        @Override
90
82
        public boolean containsPlaceHolder() {
91
83
                return property.containsPlaceHolder();
92
84
        }
93
85
 
94
 
 
95
 
 
96
86
        @Override
97
87
        public boolean containsAtomicPropWithSpecificPlace(String placeName) {
98
 
                        return property.containsAtomicPropWithSpecificPlace(placeName);
 
88
                return property.containsAtomicPropWithSpecificPlace(placeName);
 
89
        }
 
90
        
 
91
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
 
92
                return property.containsAtomicPropositionWithSpecificPlaceInTemplate(templateName, placeName);
99
93
        }
100
94
 
101
95
        @Override