analyzer

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

type CompabilityError struct {
	GotDiagnostic      diagnostic.Diagnostic
	ExpectedDiagnostic *diagnostic.Diagnostic
}

type HostDependencies interface {
	GetBuiltinImport(moduleName string, valueName string, span errors.Span) (valueType ast.Type, moduleFound bool, valueFound bool)
	ResolveCodeModule(moduleName string) (code string, moduleFound bool, err error)
}

type Module struct {
	ImportsModules           []string
	Functions                []*function
	Scopes                   []scope
	CurrentFunction          *function
	LoopDepth                uint // continue and break are legal if > 0
	CurrentLoopIsTerminated  bool // specifies whether there is at least one `break` statement inside the current loop
	CreateErrorIfContainsAny bool // if enabled, every expression which contains `any` will be reported as an error
}

type Variable struct {
	Type   ast.Type
	Span   errors.Span
	Used   bool
	Origin VariableOriginKind
	IsPub  bool
}

type VariableOriginKind uint8