← Back to branch summary

~cpn-gui/tapaal/arcEditorPanel

« back to all changes in this revision

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

  • Committer: mglavi14 at aau
  • Date: 2018-12-11 15:22:01 UTC
  • mfrom: (991.1.15 transitionEditorPanel)
  • Revision ID: mglavi14@student.aau.dk-20181211152201-jdi98hxxk8j7o7s7
Merge from coored transition editorpanel as feature is completed

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/UserOperatorExpression.java
1
1
package dk.aau.cs.model.tapn.Colored.Expressions;
2
2
 
 
3
import com.sun.tools.internal.xjc.reader.xmlschema.bindinfo.BIConversion;
3
4
import dk.aau.cs.model.tapn.Colored.Color;
 
5
import dk.aau.cs.model.tapn.Colored.ExpressionSupport.ExprStringPosition;
4
6
 
5
7
public class UserOperatorExpression extends ColorExpression {
6
8
 
21
23
 
22
24
    @Override
23
25
    public Expression replace(Expression object1, Expression object2) {
24
 
        return null;
 
26
        if (object1 == this && object2 instanceof  ColorExpression) {
 
27
            ColorExpression obj2 = (ColorExpression)object2;
 
28
            obj2.setParent(parent);
 
29
            return obj2;
 
30
        }
 
31
        else {
 
32
            return this;
 
33
        }
25
34
    }
26
35
 
27
36
    @Override
28
37
    public Expression copy() {
29
 
        return null;
 
38
        return new UserOperatorExpression(userOperator);
30
39
    }
31
40
 
32
41
    @Override
38
47
    public Expression findFirstPlaceHolder() {
39
48
        return null;
40
49
    }
 
50
 
 
51
    @Override
 
52
    public boolean isSimpleProperty() {return false;}
 
53
 
 
54
    @Override
 
55
    public ExprStringPosition[] getChildren() {
 
56
        ExprStringPosition[] children = new ExprStringPosition[1];
 
57
        ExprStringPosition pos = new ExprStringPosition(0, userOperator.toString().length(), this);
 
58
        children[0] = pos;
 
59
        return children;
 
60
    }
 
61
 
 
62
    @Override
 
63
    public boolean equals(Object o) {
 
64
        if (o instanceof UserOperatorExpression) {
 
65
            UserOperatorExpression expr = (UserOperatorExpression) o;
 
66
            return userOperator.equals(expr.userOperator);
 
67
        }
 
68
        return false;
 
69
    }
 
70
 
41
71
}