← 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/NotExpression.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/NotExpression.java
2
2
 
3
3
import dk.aau.cs.model.tapn.Colored.Variable;
4
4
 
 
5
import java.security.Guard;
5
6
import java.util.Set;
6
7
 
7
8
public class NotExpression extends GuardExpression {
11
12
        this.expr = expr;
12
13
    }
13
14
 
 
15
    @Override
 
16
    public GuardExpression replace(Expression object1, Expression object2) {
 
17
        return null;
 
18
    }
 
19
 
 
20
    @Override
 
21
    public GuardExpression copy() {
 
22
        return null;
 
23
    }
 
24
 
 
25
    @Override
 
26
    public boolean containsPlaceHolder() {
 
27
        return false;
 
28
    }
 
29
 
 
30
    @Override
 
31
    public GuardExpression findFirstPlaceHolder() {
 
32
        return null;
 
33
    }
 
34
 
14
35
    public void getVariables(Set<Variable> variables) {
15
36
        expr.getVariables(variables);
16
37
    }
21
42
 
22
43
    @Override
23
44
    public String toString() {
24
 
        return  "!" + expr.toString();
 
45
        return  "!(" + expr.toString() + ")";
25
46
    }
26
47
}