pythonprogram

type Argument struct {
	Keyword string    `json:"keyword,omitempty"`
	Star    bool      `json:"star,omitempty"`
	Value   Reference `json:"value"`
	ValueID string    `json:"value_id,omitempty"`
	Pos     Position  `json:"position,omitempty"`
}

type Assignment struct {
	ScopeID   string      `json:"scope_id"`
	Targets   []Reference `json:"targets"`
	TargetIDs []string    `json:"target_ids,omitempty"`
	Value     Reference   `json:"value"`
	ValueID   string      `json:"value_id,omitempty"`
	Pos       Position    `json:"position"`
}

type Call struct {
	ID       string    `json:"id"`
	CallerID string    `json:"caller_id"`
	Callee   Reference `json:"callee"`
	// BoundedCallees is a producer assertion that every possible direct local callable has been
	// enumerated from an immutable dispatch source and copied out of mutable extractor state. A
	// producer that cannot prove both properties must omit this field and retain the normal gap.
	BoundedCallees  []Reference `json:"bounded_callees,omitempty"`
	Arguments       []Argument  `json:"arguments,omitempty"`
	ResultID        string      `json:"result_id,omitempty"`
	ReceiverValueID string      `json:"receiver_value_id,omitempty"`
	Pos             Position    `json:"position"`
	Await           bool        `json:"await,omitempty"`
}

type CallResolutionStatus string

type CoverageGap struct {
	Kind     GapKind  `json:"kind"`
	SymbolID string   `json:"symbol_id,omitempty"`
	Detail   string   `json:"detail,omitempty"`
	Pos      Position `json:"position"`
}

type Document struct {
	SchemaVersion int              `json:"schema_version"`
	Modules       []Module         `json:"modules"`
	Symbols       []Symbol         `json:"symbols"`
	Imports       []Import         `json:"imports"`
	Calls         []Call           `json:"calls"`
	Assignments   []Assignment     `json:"assignments"`
	Returns       []Return         `json:"returns"`
	Values        []Value          `json:"values"`
	Flows         []ValueFlow      `json:"flows"`
	Entrypoints   []EntrypointHint `json:"entrypoint_hints"`
	CoverageGaps  []CoverageGap    `json:"coverage_gaps"`
	FilesSeen     int              `json:"files_seen"`
	FilesParsed   int              `json:"files_parsed"`
	NodesSeen     int              `json:"nodes_seen"`
	Truncated     bool             `json:"truncated"`
}

type EntrypointHint struct {
	SymbolID string   `json:"symbol_id"`
	Kind     string   `json:"kind"`
	Pos      Position `json:"position"`
}

type GapKind string

type Import struct {
	ScopeID  string   `json:"scope_id"`
	Module   string   `json:"module"`
	Name     string   `json:"name,omitempty"`
	Alias    string   `json:"alias,omitempty"`
	Level    int      `json:"level,omitempty"`
	Wildcard bool     `json:"wildcard,omitempty"`
	Pos      Position `json:"position"`
}

type Module struct {
	Name string   `json:"name"`
	File string   `json:"file"`
	Pos  Position `json:"position"`
}

type Parameter struct {
	Name    string        `json:"name"`
	Kind    ParameterKind `json:"kind"`
	ValueID string        `json:"value_id,omitempty"`
	Pos     Position      `json:"position"`
}

type ParameterKind string

type Position struct {
	File   string `json:"file"`
	Line   int    `json:"line"`
	Column int    `json:"column"`
}

type Reference struct {
	Kind     ReferenceKind `json:"kind"`
	Segments []string      `json:"segments,omitempty"`
}

type ReferenceKind string

type Resolution struct {
	Graph                  callgraph.Graph `json:"-"`
	Calls                  []ResolvedCall  `json:"calls"`
	Gaps                   []CoverageGap   `json:"coverage_gaps"`
	ClosedWorldEntrypoints []string        `json:"closed_world_entrypoints"`
	BoundedUncertainNodes  []string        `json:"bounded_uncertain_nodes,omitempty"`
	CompleteExceptBounded  bool            `json:"complete_except_bounded"`
	Complete               bool            `json:"complete"`
}

type ResolvedCall struct {
	CallID    string               `json:"call_id"`
	CallerID  string               `json:"caller_id"`
	Callees   []string             `json:"callees,omitempty"`
	Status    CallResolutionStatus `json:"status"`
	Pos       Position             `json:"position"`
	Ambiguous bool                 `json:"ambiguous,omitempty"`
}

type Return struct {
	ScopeID string    `json:"scope_id"`
	Value   Reference `json:"value"`
	ValueID string    `json:"value_id,omitempty"`
	SlotID  string    `json:"slot_id,omitempty"`
	Pos     Position  `json:"position"`
}

type Symbol struct {
	ID            string      `json:"id"`
	Module        string      `json:"module"`
	QualifiedName string      `json:"qualified_name"`
	Name          string      `json:"name"`
	ParentID      string      `json:"parent_id,omitempty"`
	Kind          SymbolKind  `json:"kind"`
	Pos           Position    `json:"position"`
	Parameters    []Parameter `json:"parameters,omitempty"`
	Decorators    []Reference `json:"decorators,omitempty"`
	Bases         []Reference `json:"bases,omitempty"`
	Async         bool        `json:"async,omitempty"`
}

type SymbolKind string

type Value struct {
	ID      string    `json:"id"`
	ScopeID string    `json:"scope_id"`
	Kind    ValueKind `json:"kind"`
	Name    string    `json:"name,omitempty"`
	Ref     Reference `json:"reference"`
	Pos     Position  `json:"position"`
	// SubKey and SubDyn describe a subscript-container appearance of a simple local name so the taint
	// engine can refine per-literal-key when a container provably cannot alias or escape. SubKey holds the
	// literal key text of container[literal] (a structural selector, not a scalar value); SubDyn marks
	// container[<non-literal>], which forces the engine to widen back to whole-container taint. Both are set
	// only on a Reference/Binding whose Ref is a single bare name; a bare use of the name leaves both zero,
	// which the engine reads as an escape. They never appear together.
	SubKey string `json:"subscript_key,omitempty"`
	SubDyn bool   `json:"subscript_dynamic,omitempty"`
}

type ValueFlow struct {
	FromID string        `json:"from_id"`
	ToID   string        `json:"to_id"`
	Kind   ValueFlowKind `json:"kind"`
	Pos    Position      `json:"position"`
}

type ValueFlowKind string

type ValueKind string