package de.dhbwstuttgart.strucTypes5.assumptions;


import de.dhbwstuttgart.strucTypes5.typeVars.TypeVar;

/**
 * Created by sebastian on 20.04.17.
 *
 * Enhält Name des Feldes und die Typvariable des Feldes
 */
public class AssumptionField extends  AssumptionAbstract{

    private String name;
    private TypeVar typeVar;


    public AssumptionField(String name, TypeVar typeVar) {
        this.name = name;
        this.typeVar = typeVar;
    }


    public String getName() {
        return name;
    }

    public void setName(String name) {
        this.name = name;
    }

    public TypeVar getTypeVar() {
        return typeVar;
    }

    public void setTypeVar(TypeVar typeVar) {
        this.typeVar = typeVar;
    }

    @Override
    public String toString() {
        return String.format("AssField( %s : %s)  " , name , typeVar);
    }
}
