Class TryNodeDescriptor
- java.lang.Object
-
- com.tonic.analysis.source.recovery.rcs.TryNodeDescriptor
-
public final class TryNodeDescriptor extends Object
A statically decoded try region treated as one opaque composite node by the reaching-condition engine.
-
-
Constructor Summary
Constructors Constructor Description TryNodeDescriptor(ExceptionHandler handler, Set<IRBlock> consumed, IRBlock after)Creates a descriptor over an unmodifiable view of the consumed set.
-
-
-
Constructor Detail
-
TryNodeDescriptor
public TryNodeDescriptor(ExceptionHandler handler, Set<IRBlock> consumed, IRBlock after)
Creates a descriptor over an unmodifiable view of the consumed set.- Parameters:
handler- handler the node stands forconsumed- blocks the try/catch recovery will take overafter- join the node continues at, or null when every path exits the method
-
-
Method Detail
-
handler
public ExceptionHandler handler()
- Returns:
- the handler whose protected range and catch blocks this node stands for
-
consumed
public Set<IRBlock> consumed()
- Returns:
- the blocks owned by the try, never part of the surrounding region
-
after
public IRBlock after()
- Returns:
- the join the node continues at, or null when every path through the try exits the method
-
-