package de.dhbwstuttgart.typeinference.assumptions;

import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
import de.dhbwstuttgart.syntaxtree.FormalParameter;
import de.dhbwstuttgart.syntaxtree.Method;

import java.util.Set;

public class TypeInferenceBlockInformation extends TypeInferenceInformation {
    private Method methodContext;
    private ClassOrInterface currentClass;

    public TypeInferenceBlockInformation(Set<ClassOrInterface> availableClasses, ClassOrInterface currentClass, Method methodContext) {
        super(availableClasses);
        this.methodContext = methodContext;
        this.currentClass = currentClass;
    }

    public ClassOrInterface getCurrentClass() {
        return currentClass;
    }
    public Method getCurrentMethod() {
        return methodContext;
    }
}
