Class TryNodeDescriptor


  • public final class TryNodeDescriptor
    extends Object
    A statically decoded try region treated as one opaque composite node by the reaching-condition engine.
    • 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 for
        consumed - blocks the try/catch recovery will take over
        after - 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