2024-05-02 11:12:39 +00:00
|
|
|
package TypeCheck;
|
|
|
|
|
|
|
|
import TypeCheck.TypeCheckResult;
|
|
|
|
|
|
|
|
public abstract class AbstractType {
|
|
|
|
TypeCheckResult typeCheckResult;
|
|
|
|
|
|
|
|
public void setTypeCheckResult(TypeCheckResult typeCheckResult) {
|
|
|
|
this.typeCheckResult = typeCheckResult;
|
|
|
|
}
|
|
|
|
|
|
|
|
public TypeCheckResult getTypeCheckResult() {
|
|
|
|
return typeCheckResult;
|
|
|
|
}
|
2024-05-08 08:40:44 +00:00
|
|
|
}
|