package de.dhbwstuttgart.strucTypes;

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

public class AS_Argument extends AS_Abstract {

	
	public FormalParameter fp; 
	public TV_Alpha tv_alpha; 
	
	
	
	public AS_Argument(FormalParameter fp, Integer index, Method method, ClassOrInterface cl) {
		super(); 
		this.fp = fp; 
		this.tv_alpha = new TV_Alpha(method, index, cl, fp);		
	}
	
	
	public String get_code() {
		return String.format("%s : %s ",  tv_alpha.toString() , fp.getName()); 
	}
	
	
	public String toString() {
		return String.format("Assumption: { %s : %s }   )"  , fp.getName() , tv_alpha.toString() ); 		
	}
	
	
	
	
}
