← 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/TCTLStatePlaceHolder.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/TCTLStatePlaceHolder.java
2
2
 
3
3
import dk.aau.cs.TCTL.visitors.ITCTLVisitor;
4
4
 
5
 
 
6
5
public class TCTLStatePlaceHolder extends TCTLAbstractStateProperty {
7
6
 
8
7
        public TCTLStatePlaceHolder() {
9
8
        }
10
 
        
 
9
 
11
10
        @Override
12
11
        public TCTLAbstractStateProperty copy() {
13
12
                return new TCTLStatePlaceHolder();
21
20
        public String toString() {
22
21
                return "<*>";
23
22
        }
24
 
        
 
23
 
25
24
        @Override
26
25
        public boolean containsPlaceHolder() {
27
26
                return true;
28
27
        }
29
 
        
 
28
 
30
29
        @Override
31
30
        public boolean equals(Object o) {
32
31
                if (o instanceof TCTLStatePlaceHolder) {
34
33
                }
35
34
                return false;
36
35
        }
37
 
        
 
36
 
38
37
        @Override
39
 
        public TCTLAbstractStateProperty replace(TCTLAbstractProperty object1, TCTLAbstractProperty object2) {          
 
38
        public TCTLAbstractStateProperty replace(TCTLAbstractProperty object1,
 
39
                        TCTLAbstractProperty object2) {
40
40
                if (this == object1 && object2 instanceof TCTLAbstractStateProperty) {
41
 
                        TCTLAbstractStateProperty obj2 = (TCTLAbstractStateProperty)object2;
 
41
                        TCTLAbstractStateProperty obj2 = (TCTLAbstractStateProperty) object2;
42
42
                        obj2.setParent(this.parent);
43
43
                        return obj2;
44
44
                } else {
45
45
                        return this;
46
46
                }
47
47
        }
48
 
        
49
48
 
50
49
        @Override
51
50
        public void accept(ITCTLVisitor visitor, Object context) {
52
51
                visitor.visit(this, context);
53
 
                
 
52
 
54
53
        }
55
 
        
 
54
 
56
55
        @Override
57
56
        public boolean containsAtomicPropWithSpecificPlace(String placeName) {
58
 
                        return false;
 
57
                return false;
59
58
        }
60
59
        
 
60
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
 
61
                return false;
 
62
        }
 
63
 
61
64
        @Override
62
65
        public TCTLAbstractProperty findFirstPlaceHolder() {
63
66
                return this;