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