← Back to branch summary

~cpn-gui/tapaal/typeChecker

« back to all changes in this revision

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

  • Committer: Mark Glavind
  • Date: 2018-12-17 19:55:19 UTC
  • mto: This revision was merged to the branch mainline in revision 1001.
  • Revision ID: mglavi14@student.aau.dk-20181217195519-5jidq02dtjknclth
WIP on colored arc editor panel

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/AllExpression.java
24
24
    }
25
25
 
26
26
    @Override
27
 
    public Expression replace(Expression object1, Expression object2) {
 
27
    public AllExpression replace(Expression object1, Expression object2) {
28
28
        return null;
29
29
    }
30
30
 
31
31
    @Override
32
 
    public Expression copy() {
 
32
    public AllExpression copy() {
33
33
        return null;
34
34
    }
35
35
 
39
39
    }
40
40
 
41
41
    @Override
42
 
    public Expression findFirstPlaceHolder() {
 
42
    public AllExpression findFirstPlaceHolder() {
43
43
        return null;
44
44
    }
45
45