← 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/PlaceHolderArcExpression.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/PlaceHolderArcExpression.java
23
23
    }
24
24
 
25
25
    @Override
26
 
    public Expression replace(Expression object1, Expression object2) {
 
26
    public ArcExpression replace(Expression object1, Expression object2) {
27
27
        if (this == object1 && object2 instanceof ArcExpression) {
28
28
            ArcExpression obj2 = (ArcExpression) object2;
29
29
            obj2.setParent(parent);
35
35
    }
36
36
 
37
37
    @Override
38
 
    public Expression copy() {
 
38
    public ArcExpression copy() {
39
39
        return new PlaceHolderArcExpression();
40
40
    }
41
41
 
45
45
    }
46
46
 
47
47
    @Override
48
 
    public Expression findFirstPlaceHolder() {
 
48
    public ArcExpression findFirstPlaceHolder() {
49
49
        return this;
50
50
    }
51
51