mirror of
https://github.com/JonathanFleischmann/CompilerULTIMATE.git
synced 2024-12-28 00:58:04 +00:00
add typecheck
This commit is contained in:
parent
34efc2847b
commit
a3d7c1da7e
@ -27,6 +27,7 @@ public class TypedAssignment implements TypedStatement {
|
|||||||
public void convertToTypedAssignment(TypedClass clas, Assignment untyped) {
|
public void convertToTypedAssignment(TypedClass clas, Assignment untyped) {
|
||||||
value = convertExpression(clas, untyped.value());
|
value = convertExpression(clas, untyped.value());
|
||||||
location = new TypedFieldVarAccess(clas, untyped.location());
|
location = new TypedFieldVarAccess(clas, untyped.location());
|
||||||
|
location.typeCheck(clas);
|
||||||
}
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
|
Loading…
Reference in New Issue
Block a user