constants

const (
	CGNodeTypeRegular    CallGraphNodeType = iota
	CGNodeTypeEntryPoint                   // HTTP handlers, main functions, CLI entry points
	CGNodeTypeSource                       // Input source functions
)

const (
	EffectAllows  ConditionEffect = "allows" // Condition allows flow if true
	EffectBlocks  ConditionEffect = "blocks" // Condition blocks flow if true
	EffectUnknown ConditionEffect = "unknown"
)

const (
	CondTypeComparison  ConditionType = "comparison"   // ==, !=, <, >, etc.
	CondTypeNullCheck   ConditionType = "null_check"   // isset, empty, is_null
	CondTypeTypeCheck   ConditionType = "type_check"   // is_string, instanceof
	CondTypeLengthCheck ConditionType = "length_check" // strlen, count
	CondTypeLogical     ConditionType = "logical"      // &&, ||, !
	CondTypeUnknown     ConditionType = "unknown"
)

const (
	EdgeAssignment  FlowEdgeType = "assignment"  // $x = $y
	EdgeParameter   FlowEdgeType = "parameter"   // func($x)
	EdgeReturn      FlowEdgeType = "return"      // return $x
	EdgeProperty    FlowEdgeType = "property"    // $obj->prop = $x
	EdgeArraySet    FlowEdgeType = "array_set"   // $arr['key'] = $x
	EdgeArrayGet    FlowEdgeType = "array_get"   // $x = $arr['key']
	EdgeMethodCall  FlowEdgeType = "method_call" // $obj->method($x)
	EdgeConstructor FlowEdgeType = "constructor" // new Class($x)
	EdgeFramework   FlowEdgeType = "framework"   // Framework-specific flow
	EdgeConcatenate FlowEdgeType = "concatenate" // $x . $y
	EdgeDestructure FlowEdgeType = "destructure" // const {a, b} = obj
	EdgeIteration   FlowEdgeType = "iteration"   // foreach/for loop
	EdgeConditional FlowEdgeType = "conditional" // if/else branch
	EdgeCall        FlowEdgeType = "call"        // Function call
	EdgeDataFlow    FlowEdgeType = "data_flow"   // Generic data flow
)

const (
	NodeSource   FlowNodeType = "source"   // Original input source (e.g., $_GET, req.body)
	NodeCarrier  FlowNodeType = "carrier"  // Object/variable that holds user data
	NodeVariable FlowNodeType = "variable" // Regular variable in the flow
	NodeFunction FlowNodeType = "function" // Function/method call
	NodeProperty FlowNodeType = "property" // Object property access
	NodeParam    FlowNodeType = "param"    // Function parameter
	NodeReturn   FlowNodeType = "return"   // Return value
)

const (
	PathNodeSource    PathNodeType = "source"    // Input source
	PathNodeCall      PathNodeType = "call"      // Function call
	PathNodeReturn    PathNodeType = "return"    // Return from function
	PathNodeAssign    PathNodeType = "assign"    // Variable assignment
	PathNodeCondition PathNodeType = "condition" // Conditional branch
	PathNodeTransform PathNodeType = "transform" // Data transformation
)

const (
	StepAssignment            PropagationStepType = "assignment"
	StepParameterPass         PropagationStepType = "parameter_pass"
	StepReturn                PropagationStepType = "return"
	StepInterproceduralReturn PropagationStepType = "interprocedural_return"
	StepConcatenation         PropagationStepType = "concatenation"
	StepArrayAccess           PropagationStepType = "array_access"
	StepObjectAccess          PropagationStepType = "object_access"
	StepDestructure           PropagationStepType = "destructure"
)

const (
	PruneNone        PruneReason = ""
	PruneMaxDepth    PruneReason = "max_depth_exceeded"
	PruneCycle       PruneReason = "cycle_detected"
	PruneInfeasible  PruneReason = "infeasible_condition"
	PruneDead        PruneReason = "dead_code"
	PruneUnreachable PruneReason = "unreachable"
	PruneLowPriority PruneReason = "low_priority"
)

const (
	ScopeGlobal   ScopeType = "global"
	ScopeFile     ScopeType = "file"
	ScopeModule   ScopeType = "module"
	ScopeClass    ScopeType = "class"
	ScopeFunction ScopeType = "function"
	ScopeBlock    ScopeType = "block"
)

const (
	SymbolFunction  SymbolType = "function"
	SymbolMethod    SymbolType = "method"
	SymbolClass     SymbolType = "class"
	SymbolInterface SymbolType = "interface"
	SymbolVariable  SymbolType = "variable"
	SymbolConstant  SymbolType = "constant"
	SymbolProperty  SymbolType = "property"
	SymbolParameter SymbolType = "parameter"
)