← 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/DotConstantExpression.java

  • Committer: mglavi14 at aau
  • Date: 2019-02-20 15:42:57 UTC
  • Revision ID: mglavi14@student.aau.dk-20190220154257-08hx3vrnbcr3w2j1
added functionaliy to extract all values from expressions, in order to do typeChecking analysis. missing connecting places validation

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/DotConstantExpression.java
3
3
import dk.aau.cs.model.tapn.Colored.Color;
4
4
import dk.aau.cs.model.tapn.Colored.DotConstant;
5
5
import dk.aau.cs.model.tapn.Colored.ExpressionSupport.ExprStringPosition;
 
6
import dk.aau.cs.model.tapn.Colored.ExpressionSupport.ExprValues;
6
7
 
7
8
public class DotConstantExpression extends ColorExpression {
8
9
 
38
39
    }
39
40
 
40
41
    @Override
 
42
    public ExprValues getValues(ExprValues exprValues) {
 
43
        return exprValues;
 
44
    }
 
45
 
 
46
    @Override
41
47
    public String toString(){
42
48
        return "dot";
43
49
    }