methoddefinitionnode.java

是有关解释器的.用JAVA编写.可以解释一般的JAVA程序.

class MethodDefinitionNode extends ExecutableNode
{
	MethodDeclaratorNode vMethodDeclaratorNode;
	BlockNode vBlockNode;
	
	static MethodDefinitionNode parserMethodDefinition(Environment env,Scanner s) throws ParserException, ScannerException
	{
		MethodDefinitionNode tmpMethodDefinitionNode= new MethodDefinitionNode();
		
		tmpMethodDefinitionNode.vMethodDeclaratorNode= MethodDeclaratorNode.parserMethodDeclarator(env,s);
		tmpMethodDefinitionNode.vBlockNode= BlockNode.parserBlock(env,s);
		ProgramNode.vTopLevelEnvironment.put(tmpMethodDefinitionNode.mGetMethodName(), tmpMethodDefinitionNode);
		
		return tmpMethodDefinitionNode;
	}
	String mGetMethodName()
	{			
		return vMethodDeclaratorNode.mGetMethodName();
	}
	FormalParametersNode mGetForalParameters()
	{
		return vMethodDeclaratorNode.vFormalParametersNode;
	}
	ResultTypeNode mGetResultType()
	{
		return vMethodDeclaratorNode.vResultTypeNode;
	}
	MethodDefinitionNode()
	{
		vMethodDeclaratorNode= null;
		vBlockNode= null;
	}
	MethodDefinitionNode(MethodDeclaratorNode aMethodDeclaratorNode,BlockNode aBlockNode)
	{
		vMethodDeclaratorNode= aMethodDeclaratorNode;
		vBlockNode= aBlockNode;
	}
	String format(int indent)
	{
		return vMethodDeclaratorNode.format(indent) + "\n" + vBlockNode.format(indent);
	}
	Environment run(Environment env) throws InterpreterException
	{
		ProgramNode.vTopLevelEnvironment.put("returnType", mGetResultType());
		if(vBlockNode!=null)
			return vBlockNode.run(env);
		return env;
	}
	boolean typeCheck(Environment env) throws InterpreterException
	{		
		if(vMethodDeclaratorNode.typeCheck(env))
		{
			ProgramNode.vTopLevelEnvironment.put("returnType", mGetResultType());
			if(vBlockNode!=null)
				return vBlockNode.typeCheck(env);
		}else ProgramNode.mTypeCheckError("definition of " + mGetMethodName() + "method");
		return true;		
	}
}