package name.panitz.fun4u.visitor;

import java.util.List;

import name.panitz.fun4u.tree.App;
import name.panitz.fun4u.tree.CaseExpr;
import name.panitz.fun4u.tree.ConstructorDef;
import name.panitz.fun4u.tree.Definition;
import name.panitz.fun4u.tree.Exp;
import name.panitz.fun4u.tree.FunctionDef;
import name.panitz.fun4u.tree.IfExp;
import name.panitz.fun4u.tree.IntLiteral;
import name.panitz.fun4u.tree.OpExp;
import name.panitz.fun4u.tree.Pack;
import name.panitz.fun4u.tree.Param;
import name.panitz.fun4u.tree.Program;
import name.panitz.fun4u.tree.Type;
import name.panitz.fun4u.tree.Var;

public class CheckParams implements Visitor {
	List<Definition> globalFuns;
	
	@Override
	public void visit(Type type) {
		// TODO Auto-generated method stub

	}

	@Override
	public void visit(Param param) {
		// TODO Auto-generated method stub

	}

	@Override
	public void visit(IfExp ifExp) {
		ifExp.cond.welcome(this);
		ifExp.alt1.welcome(this);
		ifExp.alt2.welcome(this);
	}

	@Override
	public void visit(App app) {
		for (Exp arg:app.args){
			arg.welcome(this);
		}
		
		for (Definition def:globalFuns){
			if (def instanceof FunctionDef) {
				FunctionDef gf = (FunctionDef) def;
				
				if (gf.name.equals(app.functionName)){
					if (gf.params.size()==app.args.size())
						return;
					else throw new RuntimeException("wrong number of args for: "+app.functionName);
				}
			}
		}
		throw new RuntimeException("undefined Function");
	}

	@Override
	public void visit(OpExp opExp) {
		opExp.left.welcome(this);
		opExp.right.welcome(this);
	}

	@Override
	public void visit(Var var) {
		// TODO Auto-generated method stub

	}

	@Override
	public void visit(IntLiteral intLiteral) {
		// TODO Auto-generated method stub

	}

	@Override
	public void visit(FunctionDef functionDef) {
		// TODO Auto-generated method stub

	}

	@Override
	public void visit(Program program) {
		globalFuns=program.definitions;
		for (Definition f:program.definitions){
			f.welcome(this);
		}
		program.e.welcome(this);
	}

	@Override
	public void visit(CaseExpr caseExpr) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public void visit(Pack pack) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public void visit(ConstructorDef constructorDef) {
		// TODO Auto-generated method stub
		
	}

}