Class ExceptionHandlerBuilder


  • public final class ExceptionHandlerBuilder
    extends java.lang.Object
    The ExceptionHandlerBuilder class builds the template representation of exception handlers.
    • Constructor Detail

      • ExceptionHandlerBuilder

        public ExceptionHandlerBuilder​(java.lang.String id,
                                       Section section,
                                       boolean isDebugPrinting)
    • Method Detail

      • setInstances

        public void setInstances​(int index)
      • setInstances

        public void setInstances​(int indexMin,
                                 int indexMax)
      • setInstances

        public void setInstances​(java.util.Collection<java.lang.Integer> indices)
      • beginEntryPoint

        public void beginEntryPoint​(java.math.BigInteger origin,
                                    java.lang.String exception)
      • beginEntryPoint

        public void beginEntryPoint​(java.math.BigInteger origin,
                                    java.util.Collection<java.lang.String> exceptions)
      • endEntryPoint

        public void endEntryPoint()