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 48 49 50 51 52 53 54 55 56 57 58 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 7x 7x 7x 7x 7x 7x 7x 7x 7x 7x 2x 7x 7x 7x 5x 5x 5x 4x 4x 2x 2x 5x 1x 1x 5x 5x 1x 5x 5x 6x 6x 7x 6x 6x 6x 1x | import {ExpressionNode} from "../../nodes";
import {CurrentScope} from "../_current_scope";
import {DataReference, GenericObjectReferenceType, ObjectReferenceType, UnknownType, 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";
import {BasicTypes} from "../basic_types";
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 typeExpression = node.findDirectExpression(Expressions.TypeNameOrInfer);
const typeName = typeExpression?.concatTokens();
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 && typeExpression) {
const basic = new BasicTypes(filename, scope);
tt = basic.parseType(typeExpression);
if (tt === undefined || tt instanceof VoidType || tt instanceof UnknownType) {
const found = scope.findObjectDefinition(typeName);
if (found) {
tt = new ObjectReferenceType(found, {qualifiedName: typeName});
}
} else {
tt = new DataReference(tt, typeName);
}
if (tt === undefined && scope.getDDIC().inErrorNamespace(typeName) === false) {
tt = new VoidType(typeName);
} else if (typeName.toUpperCase() === "OBJECT") {
return new GenericObjectReferenceType();
} else if (tt === undefined) {
// todo, this should be an UnknownType instead?
throw new Error("Type \"" + typeName + "\" not found in scope, Cast");
}
}
new Source().addIfInferred(node, scope, filename, tt);
if (new TypeUtils(scope).isCastable(sourceType, tt) === false) {
throw new Error("Cast, incompatible types");
}
return tt!;
}
} |