← Back to branch summary

~cpn-gui/tapaal/typeChecker

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/Colored/Expressions/SuccessorExpression.java

  • Committer: Mark Glavind
  • Date: 2018-12-17 19:55:19 UTC
  • mto: This revision was merged to the branch mainline in revision 1001.
  • Revision ID: mglavi14@student.aau.dk-20181217195519-5jidq02dtjknclth
WIP on colored arc editor panel

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/SuccessorExpression.java
23
23
    }
24
24
 
25
25
    @Override
26
 
    public Expression replace(Expression object1, Expression object2) {
 
26
    public ColorExpression replace(Expression object1, Expression object2) {
27
27
        if (object1 == this && object2 instanceof ColorExpression) {
28
28
            ColorExpression obj2 = (ColorExpression)object2;
29
29
            obj2.setParent(parent);
34
34
    }
35
35
 
36
36
    @Override
37
 
    public Expression copy() {
 
37
    public ColorExpression copy() {
38
38
        return new SuccessorExpression(color);
39
39
    }
40
40
 
44
44
    }
45
45
 
46
46
    @Override
47
 
    public Expression findFirstPlaceHolder() {
 
47
    public ColorExpression findFirstPlaceHolder() {
48
48
        return color.findFirstPlaceHolder();
49
49
    }
50
50