← Back to branch summary

~cpn-gui/tapaal/examVersion

« back to all changes in this revision

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

  • Committer: Mark Glavind
  • Date: 2018-11-22 13:54:06 UTC
  • mfrom: (991.1.6 transitionEditorPanel)
  • Revision ID: mglavi14@student.aau.dk-20181122135406-bfsc75co5fhcmles
merged from transition panel because of missing changes on master branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/UserSortExpression.java
17
17
        return userSort;
18
18
    }
19
19
 
 
20
    @Override
 
21
    public Expression replace(Expression object1, Expression object2) {
 
22
        return null;
 
23
    }
 
24
 
 
25
    @Override
 
26
    public Expression copy() {
 
27
        return null;
 
28
    }
 
29
 
 
30
    @Override
 
31
    public boolean containsPlaceHolder() {
 
32
        return false;
 
33
    }
 
34
 
 
35
    @Override
 
36
    public Expression findFirstPlaceHolder() {
 
37
        return null;
 
38
    }
 
39
 
20
40
    public void getVariables(Set<Variable> variables) {
21
41
 
22
42
    }