Class TypeChecker

Hierarchy

TypeChecker

Implements

default.Visitor.BoundExpression<void>
default.Visitor.BoundStatement<void>

Index

Constructors

Methods

assert check getInterfacePropertySignature isUndefined visitArrayLiteralExpression visitBinaryExpression visitBlockStatement visitBreakStatement visitCallExpression visitClassBodyStatement visitClassStatement visitCompoundAssignmentExpression visitEveryStatement visitExpressionStatement visitFunctionDeclarationStatement visitIdentifierExpression visitIfStatement visitIndexExpression visitIsExpression visitIsInExpression visitLiteralExpression visitMethodDeclarationStatement visitNewExpression visitNextStatement visitObjectLiteralExpression visitPackageStatement visitParenthesizedExpression visitPropertyAssignmentExpression visitPropertyDeclarationStatement visitRangeLiteralExpression visitReturnStatement visitStringInterpolationExpression visitTernaryExpression visitTypeDeclarationStatement visitTypeOfExpression visitUnaryExpression visitUseStatement visitVariableAssignmentExpression visitVariableAssignmentStatement visitVariableDeclarationStatement visitWhileStatement

Constructors

constructor

new TypeChecker(): TypeChecker
Returns TypeChecker

Methods

`Private` assert

assert(node, a, b, message?): void
Parameters
- node: BoundNode
- a: Type
- b: Type
- Optional message: string
Returns void
- Defined in src/code-analysis/type-checker/index.ts:415

check

check<T>(statements): void
Type Parameters
- T extends BoundExpression | BoundStatement = BoundExpression | BoundStatement
Parameters
- statements: T | (T extends BoundStatement
  ? T
  : BoundStatement)[]
Returns void
- Defined in src/code-analysis/type-checker/index.ts:400

`Private` getInterfacePropertySignature

getInterfacePropertySignature(interfaceType, propertyName, token): InterfaceMemberSignature<Type>
Parameters
- interfaceType: default
- propertyName: default<string>
- token: Token<ValueType, default, string>
Returns InterfaceMemberSignature<Type>
- Defined in src/code-analysis/type-checker/index.ts:376

`Private` isUndefined

isUndefined(type): boolean
Parameters
- type: Type
Returns boolean
- Defined in src/code-analysis/type-checker/index.ts:408

visitArrayLiteralExpression

visitArrayLiteralExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitArrayLiteralExpression
- Defined in src/code-analysis/type-checker/index.ts:384

visitBinaryExpression

visitBinaryExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitBinaryExpression
- Defined in src/code-analysis/type-checker/index.ts:341

visitBlockStatement

visitBlockStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitBlockStatement
- Defined in src/code-analysis/type-checker/index.ts:217

visitBreakStatement

visitBreakStatement(): void
Returns void
Implementation of BoundStatement.visitBreakStatement
- Defined in src/code-analysis/type-checker/index.ts:182

visitCallExpression

visitCallExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitCallExpression
- Defined in src/code-analysis/type-checker/index.ts:291

visitClassBodyStatement

visitClassBodyStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitClassBodyStatement
- Defined in src/code-analysis/type-checker/index.ts:98

visitClassStatement

visitClassStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitClassStatement
- Defined in src/code-analysis/type-checker/index.ts:102

visitCompoundAssignmentExpression

visitCompoundAssignmentExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitCompoundAssignmentExpression
- Defined in src/code-analysis/type-checker/index.ts:318

visitEveryStatement

visitEveryStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitEveryStatement
- Defined in src/code-analysis/type-checker/index.ts:119

visitExpressionStatement

visitExpressionStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitExpressionStatement
- Defined in src/code-analysis/type-checker/index.ts:236

visitFunctionDeclarationStatement

visitFunctionDeclarationStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitFunctionDeclarationStatement
- Defined in src/code-analysis/type-checker/index.ts:198

visitIdentifierExpression

visitIdentifierExpression(): void
Returns void
Implementation of BoundExpression.visitIdentifierExpression
- Defined in src/code-analysis/type-checker/index.ts:326

visitIfStatement

visitIfStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitIfStatement
- Defined in src/code-analysis/type-checker/index.ts:210

visitIndexExpression

visitIndexExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitIndexExpression
- Defined in src/code-analysis/type-checker/index.ts:276

visitIsExpression

visitIsExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitIsExpression
- Defined in src/code-analysis/type-checker/index.ts:268

visitIsInExpression

visitIsInExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitIsInExpression
- Defined in src/code-analysis/type-checker/index.ts:263

visitLiteralExpression

visitLiteralExpression(): void
Returns void
Implementation of BoundExpression.visitLiteralExpression
- Defined in src/code-analysis/type-checker/index.ts:396

visitMethodDeclarationStatement

visitMethodDeclarationStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitMethodDeclarationStatement
- Defined in src/code-analysis/type-checker/index.ts:81

visitNewExpression

visitNewExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitNewExpression
- Defined in src/code-analysis/type-checker/index.ts:240

visitNextStatement

visitNextStatement(): void
Returns void
Implementation of BoundStatement.visitNextStatement
- Defined in src/code-analysis/type-checker/index.ts:178

visitObjectLiteralExpression

visitObjectLiteralExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitObjectLiteralExpression
- Defined in src/code-analysis/type-checker/index.ts:357

visitPackageStatement

visitPackageStatement(): void
Returns void
Implementation of BoundStatement.visitPackageStatement
- Defined in src/code-analysis/type-checker/index.ts:77

visitParenthesizedExpression

visitParenthesizedExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitParenthesizedExpression
- Defined in src/code-analysis/type-checker/index.ts:348

visitPropertyAssignmentExpression

visitPropertyAssignmentExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitPropertyAssignmentExpression
- Defined in src/code-analysis/type-checker/index.ts:307

visitPropertyDeclarationStatement

visitPropertyDeclarationStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitPropertyDeclarationStatement
- Defined in src/code-analysis/type-checker/index.ts:88

visitRangeLiteralExpression

visitRangeLiteralExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitRangeLiteralExpression
- Defined in src/code-analysis/type-checker/index.ts:391

visitReturnStatement

visitReturnStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitReturnStatement
- Defined in src/code-analysis/type-checker/index.ts:194

visitStringInterpolationExpression

visitStringInterpolationExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitStringInterpolationExpression
- Defined in src/code-analysis/type-checker/index.ts:352

visitTernaryExpression

visitTernaryExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitTernaryExpression
- Defined in src/code-analysis/type-checker/index.ts:335

visitTypeDeclarationStatement

visitTypeDeclarationStatement(): void
Returns void
Implementation of BoundStatement.visitTypeDeclarationStatement
- Defined in src/code-analysis/type-checker/index.ts:190

visitTypeOfExpression

visitTypeOfExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitTypeOfExpression
- Defined in src/code-analysis/type-checker/index.ts:272

visitUnaryExpression

visitUnaryExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitUnaryExpression
- Defined in src/code-analysis/type-checker/index.ts:330

visitUseStatement

visitUseStatement(): void
Returns void
Implementation of BoundStatement.visitUseStatement
- Defined in src/code-analysis/type-checker/index.ts:186

visitVariableAssignmentExpression

visitVariableAssignmentExpression(expr): void
Parameters
- expr: default
Returns void
Implementation of BoundExpression.visitVariableAssignmentExpression
- Defined in src/code-analysis/type-checker/index.ts:313

visitVariableAssignmentStatement

visitVariableAssignmentStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitVariableAssignmentStatement
- Defined in src/code-analysis/type-checker/index.ts:231

visitVariableDeclarationStatement

visitVariableDeclarationStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitVariableDeclarationStatement
- Defined in src/code-analysis/type-checker/index.ts:221

visitWhileStatement

visitWhileStatement(stmt): void
Parameters
- stmt: default
Returns void
Implementation of BoundStatement.visitWhileStatement
- Defined in src/code-analysis/type-checker/index.ts:205

Generated using TypeDoc