SandMark version 2.0


sandmark.obfuscate.boolsplitter.dcfg
Class Handler

java.lang.Object
  |
  +--sandmark.obfuscate.boolsplitter.dcfg.Handler

public class Handler
extends java.lang.Object

Handler represents a try-catch block. It containes a set of protected Blocks (the "try" blocks), a catch Block, and the Type of exception that is caught by the catch block.

See Also:
Block, Catch, TryCatch

Field Summary
(package private)  Block catchBlock
           
(package private)  java.util.Set protectedBlocks
           
(package private)  EDU.purdue.cs.bloat.editor.Type type
           
 
Constructor Summary
Handler(Block catchBlock, EDU.purdue.cs.bloat.editor.Type type)
          Constructor.
 
Method Summary
 Block catchBlock()
           
 EDU.purdue.cs.bloat.editor.Type catchType()
           
 java.util.Collection protectedBlocks()
          Returns a Collection of the "try" blocks.
 void setCatchBlock(Block block)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

protectedBlocks

java.util.Set protectedBlocks

catchBlock

Block catchBlock

type

EDU.purdue.cs.bloat.editor.Type type
Constructor Detail

Handler

public Handler(Block catchBlock,
               EDU.purdue.cs.bloat.editor.Type type)
Constructor.

Parameters:
catchBlock - The block of code that handles an exception
type - The type of exception that is thrown
Method Detail

protectedBlocks

public java.util.Collection protectedBlocks()
Returns a Collection of the "try" blocks.


setCatchBlock

public void setCatchBlock(Block block)

catchBlock

public Block catchBlock()

catchType

public EDU.purdue.cs.bloat.editor.Type catchType()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

SandMark version 2.0

Mon Jun 17 12:30:47 MST 2002