i22006/Compilerbau2024AbsolutNichtHaskell
i22006/Compilerbau2024AbsolutNichtHaskell
2
0
Fork 0
mirror of https://github.com/JonathanFleischmann/CompilerULTIMATE.git synced 2024-12-28 17:48:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Refactored some typed classes

Browse Source
This commit is contained in:
ahmad 2024-05-15 18:23:39 +02:00
parent 7979aece64
commit 1fb977f248
3 changed files with 97 additions and 73 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

64
src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java
View File

@ -29,31 +29,8 @@ public class TypedAssignment implements TypedStatement {
@Override @Override
public Type typeCheck(TypedProgram typedProgram) { public Type typeCheck(TypedProgram typedProgram) {
Type typeLeft = null;
if (typedProgram.getCurrentClass().isThereField(location.getName()) && location.getField()) {
typeLeft = typedProgram.getCurrentClass().getFieldType(location.getName());
} else {
if (typedProgram.getCurrentClass().isCurrentMethodPresent() && !typedProgram.getCurrentClass().isCurrentConstructorPresent()) {
if (typedProgram.getCurrentClass().getCurrentMethod().isLocalVariableInMethod(location.getName())) {
typeLeft = typedProgram.getCurrentClass().getCurrentMethod().getLocalVariableType(location.getName());
} else if(typedProgram.getCurrentClass().isThereField(location.getName())){
typeLeft = typedProgram.getCurrentClass().getFieldType(location.getName());
}else {
throw new RuntimeException("Variable " + location.getName() + " not declared in method");
}
}
if (!typedProgram.getCurrentClass().isCurrentMethodPresent() && typedProgram.getCurrentClass().isCurrentConstructorPresent()) {
if (typedProgram.getCurrentClass().getCurrentConstructor().isLocalVariableInConstructor(location.getName())) {
typeLeft = typedProgram.getCurrentClass().getCurrentConstructor().getLocalVariableType(location.getName());
}else if(typedProgram.getCurrentClass().isThereField(location.getName())){
typeLeft = typedProgram.getCurrentClass().getFieldType(location.getName());
}else {
throw new RuntimeException("Variable " + location.getName() + " not declared in constructor");
}
}
}
Type typeLeft = getTypeLeft(typedProgram);
Type typeRight = value.typeCheck(typedProgram); Type typeRight = value.typeCheck(typedProgram);
if (typeLeft.equals(typeRight)) { if (typeLeft.equals(typeRight)) {
@ -63,6 +40,45 @@ public class TypedAssignment implements TypedStatement {
throw new RuntimeException("type of left not equals with type of right"); throw new RuntimeException("type of left not equals with type of right");
} }
private Type getTypeLeft(TypedProgram typedProgram) {
String name = location.getName();
TypedClass currentClass = typedProgram.getCurrentClass();
if (currentClass.isThereField(name) && location.getField()) {
return currentClass.getFieldType(name);
}
if (currentClass.isCurrentMethodPresent() && !currentClass.isCurrentConstructorPresent()) {
return getTypeFromMethodOrField(currentClass.getCurrentMethod(), name, currentClass);
}
if (!currentClass.isCurrentMethodPresent() && currentClass.isCurrentConstructorPresent()) {
return getTypeFromConstructorOrField(currentClass.getCurrentConstructor(), name, currentClass);
}
throw new RuntimeException("Variable " + name + " not declared");
}
private Type getTypeFromMethodOrField(TypedMethod currentMethod, String name, TypedClass currentClass) {
if (currentMethod.isLocalVariableInMethod(name)) {
return currentMethod.getLocalVariableType(name);
} else if (currentClass.isThereField(name)) {
return currentClass.getFieldType(name);
} else {
throw new RuntimeException("Variable " + name + " not declared in method");
}
}
private Type getTypeFromConstructorOrField(TypedConstructor currentConstructor, String name, TypedClass currentClass) {
if (currentConstructor.isLocalVariableInConstructor(name)) {
return currentConstructor.getLocalVariableType(name);
} else if (currentClass.isThereField(name)) {
return currentClass.getFieldType(name);
} else {
throw new RuntimeException("Variable " + name + " not declared in constructor");
}
}
@Override @Override
public void codeGen(MethodContext ctx) { public void codeGen(MethodContext ctx) {
if (value instanceof TypedIntLiteral) { if (value instanceof TypedIntLiteral) {

3
src/main/java/de/maishai/typedast/typedclass/TypedDeclaration.java
View File

@ -34,12 +34,9 @@ public final class TypedDeclaration implements TypedNode {
throw new RuntimeException("Type " + type.getReference() + " not found"); throw new RuntimeException("Type " + type.getReference() + " not found");
} }
} }
if (typedProgram.getCurrentClass().isThereField(name)) { if (typedProgram.getCurrentClass().isThereField(name)) {
throw new RuntimeException("Field " + name + " already declared"); throw new RuntimeException("Field " + name + " already declared");
} }
return type; return type;
} }

73
src/main/java/de/maishai/typedast/typedclass/TypedFieldVarAccess.java
View File

@ -32,55 +32,66 @@ public class TypedFieldVarAccess implements TypedExpression {
@Override @Override
public Type typeCheck(TypedProgram typedProgram) { public Type typeCheck(TypedProgram typedProgram) {
if (field) { if (field) {
type = checkFieldType(typedProgram);
return type;
} else {
type = checkVariableType(typedProgram);
return type;
}
}
private Type checkFieldType(TypedProgram typedProgram) {
if (typedProgram.getCurrentClass().isThereField(name)) { if (typedProgram.getCurrentClass().isThereField(name)) {
type = typedProgram.getCurrentClass().getFieldType(name); type = typedProgram.getCurrentClass().getFieldType(name);
return type; return type;
}else if(recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess){ } else if (recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess) {
type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName()); type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName());
return type; return type;
}else{
throw new RuntimeException("Field " + name + " not declared ");
}
} else { } else {
if (typedProgram.getCurrentClass().isCurrentConstructorPresent()) { throw new RuntimeException("Field " + name + " not declared");
if (typedProgram.getCurrentClass().isParameterNameInCurrentConstructor(name)) { }
type = typedProgram.getCurrentClass().getParameterTypeInCurrentConstructor(name); }
return type; private Type checkVariableType(TypedProgram typedProgram) {
} else if (typedProgram.getCurrentClass().getCurrentConstructor().isLocalVariablePresent(name)) { if (typedProgram.getCurrentClass().isCurrentConstructorPresent()) {
type = typedProgram.getCurrentClass().getCurrentConstructor().getLocalVariableType(name); return checkConstructorVariableType(typedProgram);
return type; } else if (typedProgram.getCurrentClass().isCurrentMethodPresent()) {
} else if(typedProgram.getCurrentClass().isThereField(name)){ return checkMethodVariableType(typedProgram);
type = typedProgram.getCurrentClass().getFieldType(name); } else {
return type; throw new RuntimeException("Variable " + name + " not declared");
} else if(recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess){
type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName());
return type;
} }
else {
throw new RuntimeException("Variable " + name + " not declared in constructor");
} }
} else if (typedProgram.getCurrentClass().isCurrentMethodPresent()) { private Type checkConstructorVariableType(TypedProgram typedProgram) {
if (typedProgram.getCurrentClass().isParameterNameInCurrentConstructor(name)) {
type = typedProgram.getCurrentClass().getParameterTypeInCurrentConstructor(name);
} else if (typedProgram.getCurrentClass().getCurrentConstructor().isLocalVariablePresent(name)) {
type = typedProgram.getCurrentClass().getCurrentConstructor().getLocalVariableType(name);
} else {
return checkFieldOrRecursiveType(typedProgram);
}
return type;
}
private Type checkMethodVariableType(TypedProgram typedProgram) {
if (typedProgram.getCurrentClass().isParameterWitNameInMethod(name)) { if (typedProgram.getCurrentClass().isParameterWitNameInMethod(name)) {
type = typedProgram.getCurrentClass().getParameterTypeInCurrentMethod(name); type = typedProgram.getCurrentClass().getParameterTypeInCurrentMethod(name);
return type;
} else if (typedProgram.getCurrentClass().getCurrentMethod().isLocalVariablePresent(name)) { } else if (typedProgram.getCurrentClass().getCurrentMethod().isLocalVariablePresent(name)) {
type = typedProgram.getCurrentClass().getCurrentMethod().getLocalVariableType(name); type = typedProgram.getCurrentClass().getCurrentMethod().getLocalVariableType(name);
} else {
return checkFieldOrRecursiveType(typedProgram);
}
return type; return type;
} else if(typedProgram.getCurrentClass().isThereField(name)){ }
private Type checkFieldOrRecursiveType(TypedProgram typedProgram) {
if (typedProgram.getCurrentClass().isThereField(name)) {
type = typedProgram.getCurrentClass().getFieldType(name); type = typedProgram.getCurrentClass().getFieldType(name);
return type; } else if (recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess) {
} else if(recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess){
type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName()); type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName());
} else {
throw new RuntimeException("Variable " + name + " not declared");
}
return type; return type;
} }
else {
throw new RuntimeException("Variable " + name + " not declared in method");
}
}
throw new RuntimeException("Variable " + name + " not declared ");
}
}
@Override @Override
public void codeGen(MethodContext ctx) { public void codeGen(MethodContext ctx) {