Press n or j to go to the next uncovered block, b, p or k for the previous block.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 5x 5x 5x 5x 5x 5x 5x 5x 5x 2x 5x 5x 5x 3x 3x 1x 3x 2x 2x 2x 3x 5x 5x 5x 5x 5x 5x 1x | import {ExpressionNode} from "../../nodes"; import {CurrentScope} from "../_current_scope"; import {ObjectReferenceType, VoidType} from "../../types/basic"; import * as Expressions from "../../2_statements/expressions"; import {AbstractType} from "../../types/basic/_abstract_type"; import {Source} from "./source"; import {TypeUtils} from "../_type_utils"; export class Cast { public runSyntax(node: ExpressionNode, scope: CurrentScope, targetType: AbstractType | undefined, filename: string): AbstractType { const sourceNode = node.findDirectExpression(Expressions.Source); if (sourceNode === undefined) { throw new Error("Cast, source node not found"); } const sourceType = new Source().runSyntax(sourceNode, scope, filename); let tt: AbstractType | undefined = undefined; const typeName = node.findDirectExpression(Expressions.TypeNameOrInfer)?.getFirstToken().getStr(); if (typeName === undefined) { throw new Error("Cast, child TypeNameOrInfer not found"); } else if (typeName === "#" && targetType) { tt = targetType; } else if (typeName === "#") { throw new Error("Cast, todo, infer type"); } if (tt === undefined) { const found = scope.findObjectDefinition(typeName); if (found === undefined && scope.getDDIC().inErrorNamespace(typeName) === false) { tt = new VoidType(typeName); } else if (found === undefined) { // todo, this should be an UnknownType instead? throw new Error("Type \"" + typeName + "\" not found in scope, Cast"); } else { tt = new ObjectReferenceType(found, typeName); } } new Source().addIfInferred(node, scope, filename, tt); if (new TypeUtils(scope).isCastable(sourceType, tt) === false) { throw new Error("Cast, incompatible types"); } return tt; } } |