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 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 505x 505x 505x 505x 505x 505x 505x 325x 325x 309x 308x 308x 1x 1x 308x 488x 488x 505x 505x 1x 1x 467x 505x 169x 169x 169x 467x 505x 2x 505x 5x 5x 505x 1x | import * as Expressions from "../../2_statements/expressions";
import {StatementNode} from "../../nodes";
import {CurrentScope} from "../_current_scope";
import {Source} from "../expressions/source";
import {Target} from "../expressions/target";
import {InlineData} from "../expressions/inline_data";
import {AbstractType} from "../../types/basic/_abstract_type";
import {StatementSyntax} from "../_statement_syntax";
import {TypeUtils} from "../_type_utils";
export class Move implements StatementSyntax {
public runSyntax(node: StatementNode, scope: CurrentScope, filename: string): void {
const targets = node.findDirectExpressions(Expressions.Target);
const firstTarget = targets[0];
const inline = firstTarget?.findDirectExpression(Expressions.InlineData);
let targetType: AbstractType | undefined = undefined;
if (inline === undefined) {
targetType = firstTarget ? new Target().runSyntax(firstTarget, scope, filename) : undefined;
for (const t of targets) {
if (t === firstTarget) {
continue;
}
new Target().runSyntax(t, scope, filename);
}
}
const source = node.findDirectExpression(Expressions.Source);
const sourceType = source ? new Source().runSyntax(source, scope, filename, targetType) : undefined;
if (sourceType === undefined) {
throw new Error("No source type determined");
}
if (inline) {
new InlineData().runSyntax(inline, scope, filename, sourceType);
targetType = sourceType;
}
if (node.findDirectTokenByText("?=")) {
if (new TypeUtils(scope).isCastable(sourceType, targetType) === false) {
throw new Error("Incompatible types");
}
} else if (new TypeUtils(scope).isAssignable(sourceType, targetType) === false) {
throw new Error("Incompatible types");
}
}
} |