state

package

v0.1.16 Latest Latest Go to latest Published: Jul 30, 2025 License: Apache-2.0 Imports: 3 Imported by: 0

Details

This section is empty.

This section is empty.

func IsNil(expr ast.Expr, info *types.Info) bool

IsNil checks if an expression is the built-in `nil` identifier.

type StateTracker struct {
	// contains filtered or unexported fields
}

StateTracker manages the state of variables within different scopes.

func NewStateTracker() *StateTracker

NewStateTracker creates a new state tracker.

func (st *StateTracker) EnterScope()

EnterScope creates a new, nested scope.

func (st *StateTracker) GetState(obj types.Object) VarState

GetState retrieves the state of a variable, searching from the innermost scope outwards.

func (st *StateTracker) LeaveScope()

LeaveScope exits the current scope, discarding its state.

func (st *StateTracker) SetState(obj types.Object, state VarState)

SetState sets the state of a variable in the current scope.

func (st *StateTracker) UpdateStateFromCondition(cond ast.Expr, info *types.Info, then bool)

UpdateStateFromCondition intelligently updates variable states based on an if-condition.

type VarState int

VarState represents the tracked state of a variable.

const (
	StateUnknown VarState = iota
	StateNil
	StateNonNil
	StateClosed // For channels
)