package TypeCheck; import TypeCheck.TypeCheckResult; public abstract class AbstractType { TypeCheckResult typeCheckResult; public void setTypeCheckResult(TypeCheckResult typeCheckResult) { this.typeCheckResult = typeCheckResult; } public TypeCheckResult getTypeCheckResult() { return typeCheckResult; } }