Class TriggerDetails


  • public class TriggerDetails
    extends java.lang.Object
    auxiliary used by CFG to store details of a specific trigger insertion point
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private CFG cfg
      back link to the flow graph
      private org.objectweb.asm.Label earlyReturnHandler
      the label identifying the start of the handler block for any ReturnException thrown by the trigger call
      private org.objectweb.asm.Label end
      the label identifying the end of the trigger sequence injected into the bytecode
      private org.objectweb.asm.Label executeHandler
      the label identifying the start of the handler block for any ExecuteException thrown by the trigger call
      private org.objectweb.asm.Label start
      the label identifying the start of the trigger sequence injected into the bytecode
      private org.objectweb.asm.Label throwHandler
      the label identifying the start of the handler block for any ThrowException thrown by the trigger call
    • Constructor Summary

      Constructors 
      Constructor Description
      TriggerDetails​(CFG cfg, org.objectweb.asm.Label start)
      construct a new trigger details instance
    • Field Detail

      • cfg

        private CFG cfg
        back link to the flow graph
      • start

        private org.objectweb.asm.Label start
        the label identifying the start of the trigger sequence injected into the bytecode
      • end

        private org.objectweb.asm.Label end
        the label identifying the end of the trigger sequence injected into the bytecode
      • earlyReturnHandler

        private org.objectweb.asm.Label earlyReturnHandler
        the label identifying the start of the handler block for any ReturnException thrown by the trigger call
      • throwHandler

        private org.objectweb.asm.Label throwHandler
        the label identifying the start of the handler block for any ThrowException thrown by the trigger call
      • executeHandler

        private org.objectweb.asm.Label executeHandler
        the label identifying the start of the handler block for any ExecuteException thrown by the trigger call
    • Constructor Detail

      • TriggerDetails

        public TriggerDetails​(CFG cfg,
                              org.objectweb.asm.Label start)
        construct a new trigger details instance
        Parameters:
        cfg - the flow graph
        start - the start label for the trigger point
    • Method Detail

      • getStart

        public org.objectweb.asm.Label getStart()
      • setStart

        public void setStart​(org.objectweb.asm.Label start)
      • getEnd

        public org.objectweb.asm.Label getEnd()
      • setEnd

        public void setEnd​(org.objectweb.asm.Label end)
      • getExecuteHandler

        public org.objectweb.asm.Label getExecuteHandler()
      • setExecuteHandler

        public void setExecuteHandler​(org.objectweb.asm.Label executeHandler)
      • getEarlyReturnHandler

        public org.objectweb.asm.Label getEarlyReturnHandler()
      • setEarlyReturnHandler

        public void setEarlyReturnHandler​(org.objectweb.asm.Label earlyReturnHandler)
      • getThrowHandler

        public org.objectweb.asm.Label getThrowHandler()
      • setThrowHandler

        public void setThrowHandler​(org.objectweb.asm.Label throwHandler)