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 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 144x 144x 144x 18x 18x 126x 126x 144x 144x 24x 24x 120x 120x 144x 36x 144x 9x 9x 9x 9x 9x 9x 84x 75x 75x 75x 2x 2x 1x 1x 2x 74x 75x 66x 66x 5x 5x 5x 5x 75x 7x 7x 7x 7x 7x 7x 7x 7x 7x 2x 2x 2x 7x 5x 5x 5x 5x 5x 8x 1x 1x 1x 1x 75x 144x 94x 94x 94x 1x 1x | import * as Expressions from "../../2_statements/expressions";
import {AbstractType} from "../../types/basic/_abstract_type";
import {VoidType} from "../../types/basic/void_type";
import {StructureType} from "../../types/basic/structure_type";
import {ExpressionNode} from "../../nodes";
import {DataReference, ObjectReferenceType, UnknownType} from "../../types/basic";
import {ClassDefinition} from "../../types";
import {IReferenceExtras, ReferenceType} from "../_reference";
import {ObjectOriented} from "../_object_oriented";
import {CheckSyntaxKey, SyntaxInput, syntaxIssue} from "../_syntax_input";
export class ComponentChain {
public static runSyntax(context: AbstractType | undefined, node: ExpressionNode,
input: SyntaxInput): AbstractType | undefined {
if (context === undefined) {
return undefined;
}
const children = node.getChildren();
for (let i = 0; i < children.length; i++) {
if (context instanceof VoidType || context instanceof UnknownType) {
return context;
}
const child = children[i];
if (i === 0 && child.concatTokens().toUpperCase() === "TABLE_LINE") {
continue;
} else if (child.get() instanceof Expressions.ArrowOrDash) {
const concat = child.concatTokens();
if (concat === "-") {
if (!(context instanceof StructureType)) {
const message = "ComponentChain, not a structure";
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
}
} else if (concat === "=>") {
if (!(context instanceof ObjectReferenceType)) {
const message = "ComponentChain, not a reference";
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
}
} else if (concat === "->") {
if (!(context instanceof ObjectReferenceType) && !(context instanceof DataReference)) {
const message = "ComponentChain, not a reference";
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
}
}
} else if (child.get() instanceof Expressions.ComponentName) {
const name = child.concatTokens();
if (context instanceof DataReference) {
context = context.getType();
if (name === "*") {
continue;
}
}
if (context instanceof StructureType) {
context = context.getComponentByName(name);
if (context === undefined) {
const message = "Component \"" + name + "\" not found in structure";
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
}
} else if (context instanceof ObjectReferenceType) {
const id = context.getIdentifier();
const def = input.scope.findObjectDefinition(id.getName());
if (def === undefined) {
const message = id.getName() + " not found in scope";
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
}
const helper = new ObjectOriented(input.scope);
const found = helper.searchAttributeName(def, name);
context = found?.getType();
if (context === undefined) {
const message = "Attribute \"" + name + "\" not found";
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
} else {
const extra: IReferenceExtras = {
ooName: id.getName(),
ooType: id instanceof ClassDefinition ? "CLAS" : "INTF"};
input.scope.addReference(child.getFirstToken(), found, ReferenceType.DataWriteReference, input.filename, extra);
}
} else {
const message = "ComponentChain, not a structure, " + context?.constructor.name;
input.issues.push(syntaxIssue(input, child.getFirstToken(), message));
return VoidType.get(CheckSyntaxKey);
}
}
}
return context;
}
} |