mirror of
https://github.com/JonathanFleischmann/CompilerULTIMATE.git
synced 2024-12-27 08:18:03 +00:00
updated the checkType in TypedFieldVarAccess
This commit is contained in:
parent
048aff5996
commit
8e9ce8caa4
@ -36,30 +36,36 @@ public class TypedFieldVarAccess implements TypedExpression {
|
||||
if (clas.isThereField(name)) {
|
||||
type = clas.getFieldType(name);
|
||||
return clas.getFieldType(name);
|
||||
}else{
|
||||
throw new RuntimeException("Field " + name + " not declared ");
|
||||
}
|
||||
} else {
|
||||
|
||||
if (clas.isThereField(name)) {
|
||||
type = clas.getFieldType(name);
|
||||
return clas.getFieldType(name);
|
||||
return type;
|
||||
} else if (clas.isCurrentConstructorPresent()) {
|
||||
if (clas.isParameterNameInCurrentConstructor(name)) {
|
||||
type = clas.getParameterTypeInCurrentConstructor(name);
|
||||
return clas.getParameterTypeInCurrentConstructor(name);
|
||||
return type;
|
||||
} else if (clas.getCurrentConstructor().isLocalVariablePresent(name)) {
|
||||
type = clas.getCurrentConstructor().getLocalVariableType(name);
|
||||
return type;
|
||||
} else {
|
||||
throw new RuntimeException("Variable " + name + " not declared ");
|
||||
}
|
||||
} else if (clas.isCurrentMethodPresent()) {
|
||||
if (clas.isParameterWitNameInMethod(name)) {
|
||||
type = clas.getParameterTypeInCurrentMethod(name);
|
||||
return clas.getParameterTypeInCurrentMethod(name);
|
||||
} else if (clas.getCurrentMethod().isLocalVariablePresent(name)) {
|
||||
type = clas.getCurrentMethod().getLocalVariableType(name);
|
||||
return type;
|
||||
} else {
|
||||
throw new RuntimeException("Variable " + name + " not declared ");
|
||||
}
|
||||
}/*
|
||||
if (localVar.containsKey(name)) {
|
||||
type = localVar.get(name);
|
||||
return localVar.get(name);
|
||||
}*/
|
||||
}
|
||||
throw new RuntimeException("Variable " + name + " not declared ");
|
||||
}
|
||||
|
||||
throw new RuntimeException("Variable " + name + " not declared ");
|
||||
}
|
||||
|
||||
@Override
|
||||
|
Loading…
Reference in New Issue
Block a user