// ino.module.FormalParameter.8561.package 
package mycompiler.myclass;
// ino.end

// ino.module.FormalParameter.8561.import 
import java.util.Vector;

import mycompiler.SyntaxTreeNode;
import mycompiler.mybytecode.ClassFile;
import mycompiler.mybytecode.CodeAttribute;
import mycompiler.mytype.Type;
import mycompiler.mytype.TypePlaceholder;
import mycompiler.mytypereconstruction.replacementlistener.CReplaceTypeEvent;
import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener;

import org.apache.log4j.Logger;
// ino.end











import sun.reflect.generics.reflectiveObjects.NotImplementedException;
import typinferenz.JavaCodeResult;
import typinferenz.ResultSet;
import typinferenz.TypeInsertPoint;
import typinferenz.Typeable;
import typinferenz.TypeInsertable;
import typinferenz.exceptions.TypinferenzException;

// ino.class.FormalParameter.23391.declaration 
public class FormalParameter extends SyntaxTreeNode implements ITypeReplacementListener, Typeable, TypeInsertable
// ino.end
// ino.class.FormalParameter.23391.body
{
    // ino.attribute.type.23395.declaration 
    private Type type;
    // ino.end
    // ino.attribute.declid.23398.declaration 
    private DeclId declid;
    // ino.end
    // ino.attribute.inferencelog.23401.declaration 
    protected static Logger inferencelog = Logger.getLogger("inference");
    // ino.end
    
    public FormalParameter(DeclId name){
    	this.set_DeclId(name);
    }
    
    
    @Override
	public boolean equals(Object object) {
		if(!super.equals(object))return false;
		if(!(object instanceof FormalParameter))return false;
		FormalParameter equals = (FormalParameter)object;
		if((this.type==null)!=(equals.type == null))return false;
		if(this.type != null)return this.type.equals(equals.type);
		return true;
	}


	// ino.method.setType.23404.defdescription type=javadoc
    /**
     * <br/>Author: J�rg B�uerle
     * @param t
     */
    // ino.end
    // ino.method.setType.23404.definition 
    public void setType(Type t)
    // ino.end
    // ino.method.setType.23404.body 
    {
        if(this.type instanceof TypePlaceholder){
            ((TypePlaceholder)this.type).removeReplacementListener(this);
        }
    
        if(t instanceof TypePlaceholder){
            ((TypePlaceholder)t).addReplacementListener(this);
        }
        this.type = t;
    }
    // ino.end
    
    
    
    // ino.method.set_DeclId.23407.definition 
    public void set_DeclId(DeclId did)
    // ino.end
    // ino.method.set_DeclId.23407.body 
    {
    	if(did == null)throw new NullPointerException();
        this.declid = did;
    }
    // ino.end
    
    
    
    // ino.method.get_Name.23410.definition 
    public String getIdentifier()
    // ino.end
    // ino.method.get_Name.23410.body 
    {
        return declid.get_Name();
    }
    // ino.end
    
    
    
    // ino.method.getType.23413.definition 
    public Type getType()
    // ino.end
    // ino.method.getType.23413.body 
    {
        return type;
    }
    // ino.end
    
    
    
    // ino.method.getTypeName.23416.definition 
    public String getTypeName()
    // ino.end
    // ino.method.getTypeName.23416.body 
    {
        return this.getType().getName();
    }
    // ino.end
    
    
    
    // ino.method.codegen.23419.definition 
    public void codegen(ClassFile classfile, CodeAttribute code)
    // ino.end
    // ino.method.codegen.23419.body 
    {
        code.add_local(declid.get_Name(), this.getType());
    }
    // ino.end
    
    // ino.method.getOffset.23422.defdescription type=javadoc
    /**
     * <br/>Author: Thomas Hornberger 09.04.2006
     * @return
     */
    // ino.end
    // ino.method.getOffset.23422.definition 
    public int getOffset()
    // ino.end
    // ino.method.getOffset.23422.body 
    {
        return declid.getOffset();
    }
    // ino.end
    
    // ino.method.getLineNumber.23425.defdescription type=javadoc
    /**
     * <br/>Author: J�rg B�uerle
     * @return
     */
    // ino.end
    // ino.method.getLineNumber.23425.definition 
    public int getLineNumber()
    // ino.end
    // ino.method.getLineNumber.23425.body 
    {
        return declid.getLineNumber();
    }
    // ino.end
    
    // ino.method.replaceType.23428.defdescription type=javadoc
    /**
     * <br>Author: J�rg B�uerle
     * @param e
     */
    // ino.end
    // ino.method.replaceType.23428.definition 
    public void replaceType(CReplaceTypeEvent e)
    // ino.end
    // ino.method.replaceType.23428.body 
    {
        inferencelog.debug("Ersetze Typ in FormalParameter \""+this.getIdentifier()+"\"");
        if(type instanceof TypePlaceholder){
            ((TypePlaceholder)type).removeReplacementListener(this);
        }
        this.setType(e.getNewType());
    }
    // ino.end
    
    // ino.method.getTypeLineNumber.23431.defdescription type=javadoc
    /**
     * <br>Author: J�rg B�uerle
     * @return
     */
    // ino.end
    // ino.method.getTypeLineNumber.23431.definition 
    public int getTypeLineNumber()
    // ino.end
    // ino.method.getTypeLineNumber.23431.body 
    {
        return this.getLineNumber();
    }
    // ino.end


    //private Type typeVariable;

	public String getTypeInformation() {
		return getType().toString() + " " +this.getIdentifier();
	}

	@Override
	public String toString(){
		String ret = "";
		if(this.getType() != null)ret += this.getType().toString();
		if(this.getIdentifier() != null)ret += " "+getIdentifier();
		return ret;
	}


	public JavaCodeResult printJavaCode(ResultSet resultSet) {
		JavaCodeResult ret = new JavaCodeResult();
		if(this.getType() != null)ret.attach(this.getType().printJavaCode(resultSet));
		if(this.getIdentifier() != null)ret.attach(" "+getIdentifier());

		return ret;
	}



	@Override
	public void setOffset(int offset) {
		//Das Offset steht in declId
		throw new NotImplementedException();
	}



	@Override
	public Vector<SyntaxTreeNode> getChildren() {
		return new Vector<SyntaxTreeNode>();
	}



	@Override
	public void parserPostProcessing(SyntaxTreeNode parent) {
		super.parserPostProcessing(parent);
		if(this.type==null)this.type = TypePlaceholder.fresh(this);
	}


	@Override
	public TypeInsertPoint createTypeInsertPoint(TypePlaceholder tph,
			ResultSet resultSet) {
		if(this.getOffset()<=0)return null;
		return new TypeInsertPoint(tph, this, resultSet.getTypeEqualTo(tph), resultSet);
	}


}
// ino.end