Interface EffectiveStmtCtx

    • Method Detail

      • effectiveParent

        @Nullable EffectiveStmtCtx.Parent effectiveParent()
        Return parent of this context, if there is one. All statements except for top-level source statements, such as module and submodule.
        Returns:
        Parent context, or null if this statement is the root
      • getEffectiveParent

        default @NonNull EffectiveStmtCtx.Parent getEffectiveParent()
        Return parent of this context.
        Returns:
        Parent context
        Throws:
        VerifyException - if this context is already the root