← 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/UserOperatorExpression.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/UserOperatorExpression.java
21
21
    }
22
22
 
23
23
    @Override
24
 
    public Expression replace(Expression object1, Expression object2) {
 
24
    public ColorExpression replace(Expression object1, Expression object2) {
25
25
        if (object1 == this && object2 instanceof  ColorExpression) {
26
26
            ColorExpression obj2 = (ColorExpression)object2;
27
27
            obj2.setParent(parent);
33
33
    }
34
34
 
35
35
    @Override
36
 
    public Expression copy() {
 
36
    public ColorExpression copy() {
37
37
        return new UserOperatorExpression(userOperator);
38
38
    }
39
39
 
43
43
    }
44
44
 
45
45
    @Override
46
 
    public Expression findFirstPlaceHolder() {
 
46
    public ColorExpression findFirstPlaceHolder() {
47
47
        return null;
48
48
    }
49
49