gudusoft.gsqlparser.dlineage.dynamicsql

Class CatalogRoutineCallBinder

Object

gudusoft.gsqlparser.dlineage.dynamicsql.CatalogRoutineCallBinder

All Implemented Interfaces:

RoutineCallBinder

public final class CatalogRoutineCallBinder
extends Object
implements RoutineCallBinder

B3 (design routine-summary-scc-design.md §2.1b/§2.3): the catalog- backed RoutineCallBinder. Resolution is a function over the candidate DEFINITION set — never identity field-equality against a single key — and the binding maps follow the inline engine's semantics exactly (arch-F8: SHADOW must not diff):

• expression actual ⇒ fan-in of all leaf source references + the expression text as transform carrier;
• literal actual ⇒ no source (omitted from the inputs map);
• OUT/INOUT target must be a bare writable lvalue — an expression, literal, or caller pure-IN formal is diagnosed with PROC_CALL_OUT_TARGET_NOT_WRITABLE; summary application then quarantines the whole non-executable call;
• no unique candidate ⇒ AMBIGUOUS with the candidate list, nothing bound (codex-C5: duplicate definitions of one identity never overwrite each other).

Overload resolution in B3 is the structural subset of §2.1b: named / positional binding plus default-fill over the candidate set. The vendor type-family ranking (§2.1b step 2) arrives with the SCC slice — until then two same-name candidates that both survive arity/name binding are AMBIGUOUS, which is the conservative direction.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CatalogRoutineCallBinder.BoundCall Binder output enriched with what the SHADOW composition step needs beyond the B0 contract: the formal-position → actual-position map (named notation makes the two diverge) and the winning candidate's defining unit.

Nested classes/interfaces inherited from interface gudusoft.gsqlparser.dlineage.dynamicsql.RoutineCallBinder

RoutineCallBinder.ActualSources, RoutineCallBinder.BindingCompleteness, RoutineCallBinder.BindingDiagnostic, RoutineCallBinder.BindingDiagnosticCode, RoutineCallBinder.BindingResult, RoutineCallBinder.BindingStatus, RoutineCallBinder.CallerContext, RoutineCallBinder.ResultSetMapping, RoutineCallBinder.WritableTarget

Constructor Summary

Constructors

Constructor and Description
CatalogRoutineCallBinder(EDbVendor vendor, RoutineCatalog catalog)

Method Summary

Modifier and Type	Method and Description
CatalogRoutineCallBinder.BoundCall	bind(CallSiteRef site, String callerDb) Bind one extractor-produced call site against every definition the catalog knows, under the caller's effective database context.
CatalogRoutineCallBinder.BoundCall	bind(CallSiteRef site, String callerDb, RoutineIdentity callerIdentity) Summary-composition binding with the caller signature available for writable-lvalue validation.
RoutineCallBinder.BindingResult	bind(TCustomSqlStatement callSite, RoutineCallBinder.CallerContext callerContext) B0 contract entry: bind a raw call statement.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CatalogRoutineCallBinder

public CatalogRoutineCallBinder(EDbVendor vendor,
                                RoutineCatalog catalog)

Method Detail

bind

public RoutineCallBinder.BindingResult bind(TCustomSqlStatement callSite,
                                            RoutineCallBinder.CallerContext callerContext)

B0 contract entry: bind a raw call statement. The extractor-produced CallSiteRef path below is the primary consumer; this entry serves callers that hold only the AST.

Specified by:

bind in interface RoutineCallBinder

Parameters:

callSite - the call statement (EXEC / CALL / function reference)

callerContext - effective caller context (USE database, schema)

Returns:

never null; RoutineCallBinder.BindingResult.getStatus() reports failures

bind

public CatalogRoutineCallBinder.BoundCall bind(CallSiteRef site,
                                               String callerDb)

Bind one extractor-produced call site against every definition the catalog knows, under the caller's effective database context.

bind

public CatalogRoutineCallBinder.BoundCall bind(CallSiteRef site,
                                               String callerDb,
                                               RoutineIdentity callerIdentity)

Summary-composition binding with the caller signature available for writable-lvalue validation. A PL/SQL pure-IN formal can be read inside its routine but cannot receive a callee OUT value; treating its bare spelling as writable publishes lineage for a call Oracle rejects.