package strucTypes2;

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

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

}
