← 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/TupleExpression.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/TupleExpression.java
29
29
        return pt.getColor(colors);
30
30
    }
31
31
 
 
32
    @Override
 
33
    public Expression replace(Expression object1, Expression object2) {
 
34
        return null;
 
35
    }
 
36
 
 
37
    @Override
 
38
    public Expression copy() {
 
39
        return null;
 
40
    }
 
41
 
 
42
    @Override
 
43
    public boolean containsPlaceHolder() {
 
44
        return false;
 
45
    }
 
46
 
 
47
    @Override
 
48
    public Expression findFirstPlaceHolder() {
 
49
        return null;
 
50
    }
 
51
 
32
52
    public void getVariables(Set<Variable> variables) {
33
53
        for (ColorExpression element : colors) {
34
54
            element.getVariables(variables);