build

Talv · Dec 6, 2017 · ebe5186 · ebe5186
1 parent e171fcd
commit ebe5186
Show file tree

Hide file tree

Showing 24 changed files with 1,296 additions and 643 deletions.
diff --git a/lib/compiler/binder.js b/lib/compiler/binder.js
diff --git a/lib/compiler/checker.d.ts b/lib/compiler/checker.d.ts
@@ -2,30 +2,130 @@ import * as gt from './types';
 import { Store } from '../service/store';
 export declare function getNodeId(node: gt.Node): number;
 export declare function getSymbolId(symbol: gt.Symbol): number;
+export declare abstract class AbstractType implements gt.Type {
+    flags: gt.TypeFlags;
+    abstract isAssignableTo(target: AbstractType): boolean;
+    abstract isComparableTo(target: AbstractType): boolean;
+    abstract isBoolExpression(negation: boolean): boolean;
+    isValidBinaryOperation(operation: gt.BinaryOperator, rightType: AbstractType): boolean;
+    isValidPrefixOperation(operation: gt.PrefixUnaryOperator): boolean;
+    isValidPostfixOperation(operation: gt.PostfixUnaryOperator): boolean;
+    getName(): string;
+}
+export declare class UnknownType extends AbstractType {
+    flags: gt.TypeFlags;
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+}
+export declare class IntrinsicType extends AbstractType {
+    readonly name: string;
+    constructor(flags: gt.TypeFlags, name: string);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    isValidBinaryOperation(operation: gt.BinaryOperator, rightType: AbstractType): boolean;
+    isValidPrefixOperation(operation: gt.PrefixUnaryOperator): boolean;
+    isValidPostfixOperation(operation: gt.PostfixUnaryOperator): boolean;
+    getName(): string;
+}
+export declare class ComplexType extends AbstractType implements gt.ComplexType {
+    kind: gt.SyntaxKind;
+    constructor(kind: gt.SyntaxKind);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    isValidBinaryOperation(operation: gt.BinaryOperator, rightType: AbstractType): boolean;
+    isValidPrefixOperation(operation: gt.PrefixUnaryOperator): boolean;
+    getName(): string;
+}
+export declare class LiteralType extends AbstractType {
+    value: gt.Literal;
+    constructor(flags: gt.TypeFlags, value: gt.Literal);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    isValidBinaryOperation(operation: gt.BinaryOperator, rightType: AbstractType): boolean;
+    isValidPrefixOperation(operation: gt.PrefixUnaryOperator): boolean;
+    getName(): string;
+}
+export declare class StructType extends AbstractType implements gt.StructType {
+    symbol: gt.Symbol;
+    constructor(symbol: gt.Symbol);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    getName(): string;
+}
+export declare class SignatureMeta {
+    returnType: AbstractType;
+    args: AbstractType[];
+    constructor(returnType: AbstractType, args: AbstractType[]);
+    match(other: SignatureMeta): boolean;
+}
+export declare class FunctionType extends AbstractType implements gt.FunctionType {
+    symbol: gt.Symbol;
+    signature: SignatureMeta;
+    constructor(symbol: gt.Symbol, signature: SignatureMeta);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    getName(): string;
+}
+export declare type ReferenceKind = gt.SyntaxKind.FuncrefKeyword | gt.SyntaxKind.StructrefKeyword | gt.SyntaxKind.ArrayrefKeyword;
+export declare class ReferenceType extends AbstractType {
+    kind: ReferenceKind;
+    declaredType: AbstractType;
+    constructor(kind: ReferenceKind, declaredType: AbstractType);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    getName(): string;
+}
+export declare class ArrayType extends AbstractType implements gt.ArrayType {
+    elementType: AbstractType;
+    constructor(elementType: AbstractType);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    getName(): string;
+}
+export declare class TypedefType extends AbstractType implements gt.TypedefType {
+    referencedType: AbstractType;
+    constructor(referencedType: AbstractType);
+    isAssignableTo(target: AbstractType): boolean;
+    isComparableTo(target: AbstractType): boolean;
+    isBoolExpression(negation: boolean): boolean;
+    getName(): string;
+}
 export declare class TypeChecker {
     private store;
     private nodeLinks;
     private diagnostics;
     constructor(store: Store);
     private report(location, msg, category?);
     private getNodeLinks(node);
+    private checkTypeAssignableTo(source, target, node);
+    private checkTypeComparableTo(source, target, node);
+    private checkTypeBoolExpression(source, negation, node);
     private getTypeFromArrayTypeNode(node);
     private getTypeFromMappedTypeNode(node);
     private resolveMappedReference(type);
     private getPropertyOfType(type, name);
     private getDeclaredTypeOfStruct(symbol);
+    private getTypeOfFunction(symbol);
+    private getTypeOfTypedef(symbol);
     private getDeclaredTypeOfSymbol(symbol);
     private getTypeFromTypeNode(node);
     private getTypeOfSymbol(symbol);
     private getTypeOfVariableOrParameterOrProperty(symbol);
-    private getTypeOfFunction(symbol);
-    private getTypeOfTypedef(symbol);
     getTypeOfNode(node: gt.Node, followRef?: boolean): gt.Type;
     private getRegularTypeOfExpression(expr);
     private getTypeOfExpression(node, cache?);
     checkSourceFile(sourceFile: gt.SourceFile): gt.Diagnostic[];
     private checkSourceElement(node);
     private checkFunction(node);
+    private checkParameterDeclaration(node);
     private checkVariableDeclaration(node);
     private checkStructDeclaration(node);
     private checkIfStatement(node);
@@ -39,6 +139,7 @@ export declare class TypeChecker {
     private checkExpressionStatement(node);
     private checkExpression(node, checkMode?);
     private checkExpressionWorker(node, checkMode);
+    private checkLiteralExpression(node);
     private checkBinaryExpression(node, checkMode?);
     private checkParenthesizedExpression(node, checkMode?);
     private checkPrefixUnaryExpression(node, checkMode?);