mirror of
https://github.com/JonathanFleischmann/CompilerULTIMATE.git
synced 2024-12-28 17:28:03 +00:00
Merge branch 'refs/heads/testsuites'
# Conflicts: # src/main/java/de/maishai/StatementGenerator.java
This commit is contained in:
commit
7dce97a534
@ -105,7 +105,6 @@ public class StatementGenerator extends DecafBaseVisitor<List<Statement>> {
|
|||||||
Expression recipient = null;
|
Expression recipient = null;
|
||||||
if (fieldIdContext.recipient() != null) {
|
if (fieldIdContext.recipient() != null) {
|
||||||
recipient = ExpressionGenerator.generateRecursiveOwnerChain(fieldIdContext.recipient(), null, isField);
|
recipient = ExpressionGenerator.generateRecursiveOwnerChain(fieldIdContext.recipient(), null, isField);
|
||||||
|
|
||||||
}
|
}
|
||||||
if (recipient == null) {
|
if (recipient == null) {
|
||||||
return new FieldVarAccess(isField, null, fieldIdContext.id().IDENTIFIER().getText());
|
return new FieldVarAccess(isField, null, fieldIdContext.id().IDENTIFIER().getText());
|
||||||
|
@ -51,7 +51,7 @@ public class TypedFieldVarAccess implements TypedExpression {
|
|||||||
TypedClass currentClass = typedProgram.getCurrentClass();
|
TypedClass currentClass = typedProgram.getCurrentClass();
|
||||||
|
|
||||||
if (currentClass.isThereField(name)) {
|
if (currentClass.isThereField(name)) {
|
||||||
throw new RuntimeException("Field Variable " + name + " should be used with `this´");
|
return checkTypeField(typedProgram);
|
||||||
} else if (currentClass.isMethodOfCurrentClass(name)) {
|
} else if (currentClass.isMethodOfCurrentClass(name)) {
|
||||||
type = currentClass.getMethodType(name);
|
type = currentClass.getMethodType(name);
|
||||||
return type;
|
return type;
|
||||||
|
Loading…
Reference in New Issue
Block a user