package de.dhbwstuttgart.strucTypes;

import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
import de.dhbwstuttgart.syntaxtree.Method;

public class AS_Method extends AS_Abstract {
	
	ClassOrInterface cl; 
	Method method; 
	TV_Method typvar; 
	
	

	public AS_Method (ClassOrInterface cl , Method method ) {
		super(); 
		this.cl = cl; 
		this.method = method;		
		
		this.typvar = new TV_Method(cl,method); 
		
	}
	
	
	public String toString() {
		return "Assumption: { " + cl.getClassName().toString() + "." + method.getName() + " :   " + this.typvar.toString() + "}"; 		
	}
	
	
	
	
	
}
