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 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 2090x 2090x 2090x 2090x 2090x 2090x 2090x 3x 3x 3x 3x 2083x 2083x 1x | import * as Expressions from "../../2_statements/expressions";
import {StatementNode} from "../../nodes";
import {TypedIdentifier} from "../../types/_typed_identifier";
import {DataDefinition} from "../expressions/data_definition";
import {UnknownType} from "../../types/basic/unknown_type";
import {CheckSyntaxKey, SyntaxInput, syntaxIssue} from "../_syntax_input";
import {VoidType} from "../../types/basic";
export class Data {
public runSyntax(node: StatementNode, input: SyntaxInput): TypedIdentifier | undefined {
const name = node.findFirstExpression(Expressions.DefinitionName);
const dd = node.findFirstExpression(Expressions.DataDefinition);
if (dd) {
const id = DataDefinition.runSyntax(dd, input);
if (id?.getType().isGeneric() === true
&& id?.getType().containsVoid() === false) {
const message = "DATA definition cannot be generic, " + name?.concatTokens();
input.issues.push(syntaxIssue(input, node.getFirstToken(), message));
return new TypedIdentifier(id.getToken(), input.filename, VoidType.get(CheckSyntaxKey));
}
return id;
}
if (name) {
return new TypedIdentifier(name.getFirstToken(), input.filename, new UnknownType("data, fallback"));
}
return undefined;
}
} |