package de.dhbwstuttgart.strucTypes5.assumptions;

import de.dhbwstuttgart.strucTypes5.typeVars.TypeVarStore;
import de.dhbwstuttgart.syntaxtree.FormalParameter;
import de.dhbwstuttgart.syntaxtree.Method;

import java.util.ArrayList;
import java.util.List;

/**
 * Created by sebastian on 20.04.17.
 * Generates Lokal Assumption there are only valid in one Method
 */
public class AssumptionMakerLocal {

    List<AssumptionAbstract> resultAssumptionList = new ArrayList<>();


    public AssumptionMakerLocal(Method method, TypeVarStore typeVarStore) {
        for (FormalParameter formalParameter : method.getParameterList().getFormalparalist()) {
            resultAssumptionList.add(AssumptionFactory.makeArgumentAssumption(formalParameter,typeVarStore));
        }
    }

    public List<AssumptionAbstract> getResultAssumptionList() {
        return resultAssumptionList;
    }
}
