package strucTypes2;

import de.dhbwstuttgart.syntaxtree.Method;
import de.dhbwstuttgart.syntaxtree.type.RefTypeOrTPHOrWildcardOrGeneric;
import de.dhbwstuttgart.syntaxtree.type.TypePlaceholder;

public class Assumption_Method {
	
	TypePlaceholder tph; 
	Method m; 
	
	public Assumption_Method(RefTypeOrTPHOrWildcardOrGeneric tph, Method m) {
		
		if (tph.getClass().equals(TypePlaceholder.class)) {
			this.tph = (TypePlaceholder) tph; 
		}
		else {
			System.out.println("Fehler");
		}	
		this.m = m; 
	}
	
	public String toString() {
		return "Assumption Method: " + tph.toString() + " , " + m.getName();  
	}
	
	
	
	

}
