pseudochecker

package

Go to main page

Versions in this module

v0

v0.0.2

Apr 25, 2026

Changes in this version

type PseudoType

+ func NewPseudoTypeInferredWithErrors(expr *ast.Node, errorNodes []*ast.Node) *PseudoType

type PseudoTypeInferred

+ ErrorNodes []*ast.Node

v0.0.1

Apr 11, 2026

Changes in this version

+ var PseudoTypeAny = newPseudoType(PseudoTypeKindAny, &PseudoTypeBase{})

+ var PseudoTypeBigInt = newPseudoType(PseudoTypeKindBigInt, &PseudoTypeBase{})

+ var PseudoTypeBoolean = newPseudoType(PseudoTypeKindBoolean, &PseudoTypeBase{})

+ var PseudoTypeFalse = newPseudoType(PseudoTypeKindFalse, &PseudoTypeBase{})

+ var PseudoTypeNull = newPseudoType(PseudoTypeKindNull, &PseudoTypeBase{})

+ var PseudoTypeNumber = newPseudoType(PseudoTypeKindNumber, &PseudoTypeBase{})

+ var PseudoTypeString = newPseudoType(PseudoTypeKindString, &PseudoTypeBase{})

+ var PseudoTypeTrue = newPseudoType(PseudoTypeKindTrue, &PseudoTypeBase{})

+ var PseudoTypeUndefined = newPseudoType(PseudoTypeKindUndefined, &PseudoTypeBase{})

+ func IsInConstContext(node *ast.Node) bool

+ type PseudoChecker struct

+ func NewPseudoChecker(strictNullChecks bool, exactOptionalPropertyTypes bool) *PseudoChecker

+ func (ch *PseudoChecker) GetReturnTypeOfSignature(signatureNode *ast.Node) *PseudoType

+ func (ch *PseudoChecker) GetTypeOfAccessor(accessor *ast.Node) *PseudoType

+ func (ch *PseudoChecker) GetTypeOfDeclaration(node *ast.Node) *PseudoType

+ func (ch *PseudoChecker) GetTypeOfExpression(node *ast.Node) *PseudoType

+ type PseudoGetAccessor struct

+ Signature *ast.Node

+ Type *PseudoType

+ type PseudoObjectElement struct

+ Kind PseudoObjectElementKind

+ Name *ast.Node

+ Optional bool

+ func NewPseudoGetAccessor(signature *ast.Node, name *ast.Node, optional bool, t *PseudoType) *PseudoObjectElement

+ func NewPseudoObjectMethod(signature *ast.Node, name *ast.Node, optional bool, ...) *PseudoObjectElement

+ func NewPseudoPropertyAssignment(readonly bool, name *ast.Node, optional bool, t *PseudoType) *PseudoObjectElement

+ func NewPseudoSetAccessor(signature *ast.Node, name *ast.Node, optional bool, p *PseudoParameter) *PseudoObjectElement

+ func (e *PseudoObjectElement) AsPseudoGetAccessor() *PseudoGetAccessor

+ func (e *PseudoObjectElement) AsPseudoObjectElement() *PseudoObjectElement

+ func (e *PseudoObjectElement) AsPseudoObjectMethod() *PseudoObjectMethod

+ func (e *PseudoObjectElement) AsPseudoPropertyAssignment() *PseudoPropertyAssignment

+ func (e *PseudoObjectElement) AsPseudoSetAccessor() *PseudoSetAccessor

+ func (e *PseudoObjectElement) Signature() *ast.Node

+ type PseudoObjectElementKind int8

+ const PseudoObjectElementKindGetAccessor

+ const PseudoObjectElementKindMethod

+ const PseudoObjectElementKindPropertyAssignment

+ const PseudoObjectElementKindSetAccessor

+ type PseudoObjectMethod struct

+ Parameters []*PseudoParameter

+ ReturnType *PseudoType

+ Signature *ast.Node

+ TypeParameters []*ast.TypeParameterDeclaration

+ type PseudoParameter struct

+ Name *ast.Node

+ Optional bool

+ Rest bool

+ Type *PseudoType

+ func NewPseudoParameter(isRest bool, name *ast.Node, isOptional bool, t *PseudoType) *PseudoParameter

+ type PseudoPropertyAssignment struct

+ Readonly bool

+ Type *PseudoType

+ type PseudoSetAccessor struct

+ Parameter *PseudoParameter

+ Signature *ast.Node

+ type PseudoType struct

+ Kind PseudoTypeKind

+ func NewPseudoTypeBigIntLiteral(node *ast.Node) *PseudoType

+ func NewPseudoTypeDirect(typeNode *ast.Node) *PseudoType

+ func NewPseudoTypeInferred(expr *ast.Node) *PseudoType

+ func NewPseudoTypeMaybeConstLocation(loc *ast.Node, ct *PseudoType, reg *PseudoType) *PseudoType

+ func NewPseudoTypeNoResult(decl *ast.Node) *PseudoType

+ func NewPseudoTypeNumericLiteral(node *ast.Node) *PseudoType

+ func NewPseudoTypeObjectLiteral(elements []*PseudoObjectElement) *PseudoType

+ func NewPseudoTypeSingleCallSignature(signature *ast.Node, parameters []*PseudoParameter, ...) *PseudoType

+ func NewPseudoTypeStringLiteral(node *ast.Node) *PseudoType

+ func NewPseudoTypeTuple(elements []*PseudoType) *PseudoType

+ func NewPseudoTypeUnion(types []*PseudoType) *PseudoType

+ func (t *PseudoType) AsPseudoTypeDirect() *PseudoTypeDirect

+ func (t *PseudoType) AsPseudoTypeInferred() *PseudoTypeInferred

+ func (t *PseudoType) AsPseudoTypeLiteral() *PseudoTypeLiteral

+ func (t *PseudoType) AsPseudoTypeMaybeConstLocation() *PseudoTypeMaybeConstLocation

+ func (t *PseudoType) AsPseudoTypeNoResult() *PseudoTypeNoResult

+ func (t *PseudoType) AsPseudoTypeObjectLiteral() *PseudoTypeObjectLiteral

+ func (t *PseudoType) AsPseudoTypeSingleCallSignature() *PseudoTypeSingleCallSignature

+ func (t *PseudoType) AsPseudoTypeTuple() *PseudoTypeTuple

+ func (t *PseudoType) AsPseudoTypeUnion() *PseudoTypeUnion

+ type PseudoTypeBase struct

+ type PseudoTypeDefault struct

+ func (b *PseudoTypeDefault) AsPseudoType() *PseudoType

+ type PseudoTypeDirect struct

+ TypeNode *ast.Node

+ type PseudoTypeInferred struct

+ Expression *ast.Node

+ type PseudoTypeKind int16

+ const PseudoTypeKindAny

+ const PseudoTypeKindBigInt

+ const PseudoTypeKindBigIntLiteral

+ const PseudoTypeKindBoolean

+ const PseudoTypeKindDirect

+ const PseudoTypeKindFalse

+ const PseudoTypeKindInferred

+ const PseudoTypeKindMaybeConstLocation

+ const PseudoTypeKindNoResult

+ const PseudoTypeKindNull

+ const PseudoTypeKindNumber

+ const PseudoTypeKindNumericLiteral

+ const PseudoTypeKindObjectLiteral

+ const PseudoTypeKindSingleCallSignature

+ const PseudoTypeKindString

+ const PseudoTypeKindStringLiteral

+ const PseudoTypeKindTrue

+ const PseudoTypeKindTuple

+ const PseudoTypeKindUndefined

+ const PseudoTypeKindUnion

+ type PseudoTypeLiteral struct

+ Node *ast.Node

+ type PseudoTypeMaybeConstLocation struct

+ ConstType *PseudoType

+ Node *ast.Node

+ RegularType *PseudoType

+ type PseudoTypeNoResult struct

+ Declaration *ast.Node

+ type PseudoTypeObjectLiteral struct

+ Elements []*PseudoObjectElement

+ type PseudoTypeSingleCallSignature struct

+ Parameters []*PseudoParameter

+ ReturnType *PseudoType

+ Signature *ast.Node

+ TypeParameters []*ast.TypeParameterDeclaration

+ type PseudoTypeTuple struct

+ Elements []*PseudoType

+ type PseudoTypeUnion struct

+ Types []*PseudoType

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL