package de.dhbwstuttgart.strucTypes5.assumptions;

import de.dhbwstuttgart.strucTypes5.typeVars.TypeVarAbstract;

/**
 * Created by sebastian on 20.04.17. *
 *
 * Assumption is only nessasarry in an local Method Context.
 *
 */
public class AssumptionArgument extends AssumptionAbstract {

    private String nameOfArgument;
    private TypeVarAbstract typeOfArgument;

    public AssumptionArgument(String nameOfArgument, TypeVarAbstract typeOfArgument) {
        this.nameOfArgument = nameOfArgument;
        this.typeOfArgument = typeOfArgument;
    }


    public String getNameOfArgument() {
        return nameOfArgument;
    }

    public void setNameOfArgument(String nameOfArgument) {
        this.nameOfArgument = nameOfArgument;
    }

    public TypeVarAbstract getTypeOfArgument() {
        return typeOfArgument;
    }

    public void setTypeOfArgument(TypeVarAbstract typeOfArgument) {
        this.typeOfArgument = typeOfArgument;
    }

    @Override
    public String toString() {
        return String.format("AssArgument( %s : %s)  " , nameOfArgument , typeOfArgument);
    }
}
