junc.debug
Class ExceptionStack

java.lang.Object
  |
  +--junc.debug.ExceptionStack

public class ExceptionStack

extends java.lang.Object

Field Summary

java.util.Vector	caught
java.util.Stack	caughtStack
static junc.types.JUnCBaseType	CLASS_THROWABLE
java.util.Hashtable	thrown
java.util.Stack	thrownStack

Constructor Summary

ExceptionStack()

Method Summary

void	add_throw(junc.types.JUnCBaseType t, junc.ast.JUnCASTNode node)
void	add_throws(java.util.Hashtable table)
void	add_throws(java.util.Vector exceps, junc.ast.JUnCASTNode node)
void	catches(java.util.Vector exceps)
void	clear()
void	popLevel()
void	pushLevel()
java.util.Hashtable	uncaught()
java.util.Vector	unthrown()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CLASS_THROWABLE

public static final junc.types.JUnCBaseType CLASS_THROWABLE

caughtStack

public java.util.Stack caughtStack

thrownStack

public java.util.Stack thrownStack

caught

public java.util.Vector caught

thrown

public java.util.Hashtable thrown

Constructor Detail

ExceptionStack

public ExceptionStack()

Method Detail

clear

public void clear()

pushLevel

public void pushLevel()

popLevel

public void popLevel()

catches

public void catches(java.util.Vector exceps)

add_throw

public void add_throw(junc.types.JUnCBaseType t,
                      junc.ast.JUnCASTNode node)

add_throws

public void add_throws(java.util.Hashtable table)

add_throws

public void add_throws(java.util.Vector exceps,
                       junc.ast.JUnCASTNode node)

uncaught

public java.util.Hashtable uncaught()

unthrown

public java.util.Vector unthrown()