gnu.expr

Class CheckedTarget

public class CheckedTarget extends StackTarget

Same as StackTarget, but catch ClassCastException. Generate code so that if coercion fails, catch ClassCastException, and re-throw a WrongType. This gives better error messages.

Constructor Summary
	CheckedTarget(Type type)
	CheckedTarget(Type type, LambdaExp proc, int argno)
	CheckedTarget(Type type, String procname, int argno)

Method Summary
void	compileFromStack(Compilation comp, Type stackType)
static void	emitCheckedCoerce(Compilation comp, String procname, int argno, Type type)
static void	emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type type)
static void	emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type type, Variable argValue)
static Target	getInstance(Type type, String procname, int argno)
static Target	getInstance(Type type, LambdaExp proc, int argno)
static Target	getInstance(Type type)