← Back to branch summary

~cpn-gui/tapaal/transitionEditorPanel

« back to all changes in this revision

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

  • Committer: Mark Glavind
  • Date: 2018-11-22 13:52:57 UTC
  • Revision ID: mglavi14@student.aau.dk-20181122135257-eoz72bs0edm76x0u
WIP on Guards for transitions

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/GuardExpression.java
1
1
package dk.aau.cs.model.tapn.Colored.Expressions;
2
2
 
 
3
import com.sun.rmi.rmid.ExecPermission;
3
4
import dk.aau.cs.model.tapn.Colored.Variable;
4
5
 
 
6
import java.security.Guard;
5
7
import java.util.Set;
6
8
 
7
9
public abstract class GuardExpression extends Expression {
8
10
 
 
11
    protected GuardExpression parent;
 
12
 
 
13
    public GuardExpression getParent() {return parent; }
 
14
 
 
15
    public void setParent(GuardExpression parent) {this.parent = parent; }
 
16
 
 
17
    @Override
 
18
    public abstract GuardExpression replace(Expression object1, Expression object2);
 
19
 
 
20
    @Override
 
21
    public abstract GuardExpression copy();
 
22
 
 
23
    @Override
 
24
    public abstract GuardExpression findFirstPlaceHolder();
 
25
 
9
26
    public abstract void getVariables(Set<Variable> variables);
10
27
    public abstract Boolean eval(ExpressionContext context);
11
28
}