From 0ecaf36648cff60ddb7e4771bd6cf34d34aabbf3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Sat, 23 Jun 2018 10:42:46 +0200 Subject: [PATCH] modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert, weil es im Moment nur double Literals gibt. modified: test/javFiles/Lambda.jav --- .../typeinference/typeAlgo/TYPEStmt.java | 11 ++++++++++- test/javFiles/Lambda.jav | 9 ++------- 2 files changed, 12 insertions(+), 8 deletions(-) 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()); } }