package de.dhbwstuttgart.strucTypes5.assumptions;

import de.dhbwstuttgart.strucTypes5.typeVars.TypeVar;

import java.util.List;

/**
 * Created by sebastian on 20.04.17. *
 * Contains Method Name, Method Arguments and Return Type of Method
 */
public class AssumptionMethod extends AssumptionAbstract {

    private String name;
    private List<TypeVar> arguments;
    private TypeVar returnType;

    public AssumptionMethod(String name, List<TypeVar> arguments, TypeVar returnType) {
        this.name = name;
        this.arguments = arguments;
        this.returnType = returnType;
    }

    public String getName() {
        return name;
    }

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

    public List<TypeVar> getArguments() {
        return arguments;
    }

    public void setArguments(List<TypeVar> arguments) {
        this.arguments = arguments;
    }

    public TypeVar getReturnType() {
        return returnType;
    }

    public void setReturnType(TypeVar returnType) {
        this.returnType = returnType;
    }


    @Override
    public String toString() {
        return String.format("AssMethod( %s :  %s --> %s)  " , name , arguments.toString() , returnType);
    }

}
