diff --git a/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java b/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java index 44fc5e88b..e87f2f554 100644 --- a/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java +++ b/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java @@ -328,7 +328,16 @@ public class TYPEStmt implements StatementVisitor{ @Override public void visit(Literal literal) { - //Nothing to do here. Literale erzeugen keine Constraints + //Nothing to do here. Literale erzeugen keine Constraints + //PL 2018-06-23 Sie haben einen Typ. Der muesste hier eingefuegt werden + //wie hier fuer double gezeigt. Im Momment auskommentiert, weil zu wenige Literaltypen + //funktionieren + //if (literal.value instanceof Double) { + // constraintsSet.addUndConstraint(new Pair(literal.getType(), doublee, PairOperator.EQUALSDOT)); + //} + //else { + // throw new NotImplementedException(); + //} } @Override diff --git a/test/javFiles/Lambda.jav b/test/javFiles/Lambda.jav index 7a3aee0b5..b9a2c3f94 100644 --- a/test/javFiles/Lambda.jav +++ b/test/javFiles/Lambda.jav @@ -1,17 +1,12 @@ -import java.lang.Integer; -import java.lang.Number; -import java.util.Vector; +class Apply { } public class Lambda { m () { - var v; - v.addElement(3); - v.elementAt(1); var lam1 = (x) -> { return x; }; - return lam1.apply(1); + return lam1.apply(new Apply()); } }