anvil.codec
Class ExceptionHandler

java.lang.Object
  |
  +--anvil.codec.ExceptionHandler

public class ExceptionHandler
extends java.lang.Object


Nested Class Summary
protected  class ExceptionHandler.CatchEntry
           
 
Field Summary
protected  java.util.List _catches
           
protected  Target _catches_end
           
protected  Code _code
           
protected  Source _end
           
protected  Source _finally
           
protected  Source _out
           
protected  ExceptionHandler _parent
           
protected  Target _start
           
 
Constructor Summary
ExceptionHandler(Code code, ExceptionHandler parent, boolean withfinally)
           
 
Method Summary
 void callFinally()
           
 void end()
           
 void endCatches()
           
 void endFinally()
           
 void endProtectedRegion()
           
 void endTry()
           
 ExceptionHandler getParent()
           
 int getTableSize()
           
 void jumpOut()
           
 void startCatch(int catchtype)
           
 void startFinally()
           
 void write(java.io.DataOutputStream output)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_parent

protected ExceptionHandler _parent

_code

protected Code _code

_start

protected Target _start

_end

protected Source _end

_catches

protected java.util.List _catches

_catches_end

protected Target _catches_end

_finally

protected Source _finally

_out

protected Source _out
Constructor Detail

ExceptionHandler

public ExceptionHandler(Code code,
                        ExceptionHandler parent,
                        boolean withfinally)
Method Detail

getParent

public ExceptionHandler getParent()

endTry

public void endTry()

startCatch

public void startCatch(int catchtype)

endProtectedRegion

public void endProtectedRegion()

endCatches

public void endCatches()

startFinally

public void startFinally()

endFinally

public void endFinally()

callFinally

public void callFinally()

jumpOut

public void jumpOut()

end

public void end()

getTableSize

public int getTableSize()

write

public void write(java.io.DataOutputStream output)
           throws java.io.IOException
java.io.IOException