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 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 69x 69x 69x 69x 69x 69x 69x 69x 23x 23x 22x 23x 1x 1x 1x 1x 1x 22x 22x 23x 1x 1x 69x 7x 46x 67x 69x 39x 39x 20x 20x 20x 20x 1x 1x 19x 19x 39x 66x 69x 19x 19x 19x 3x 19x 4x 16x 12x 12x 19x 66x 69x 40x 69x 26x 9x 9x 26x 63x 69x 3x 3x 60x 60x 60x 1x 1x 40x 40x 40x 40x 40x 40x 40x 40x 40x 40x 7x 7x 7x 1x 1x 6x 7x 1x 1x 40x 1x 1x 1x 33x 1x 1x 40x 1x 1x 7x 7x 1x 1x 6x 6x 6x 6x 6x 6x 6x 6x 1x 1x | import {ExpressionNode} from "../../nodes";
import {CurrentScope} from "../_current_scope";
import {ObjectReferenceType, VoidType, DataReference, UnknownType} from "../../types/basic";
import * as Expressions from "../../2_statements/expressions";
import {AbstractType} from "../../types/basic/_abstract_type";
import {ReferenceType} from "../_reference";
import {Source} from "./source";
import {ObjectOriented} from "../_object_oriented";
import {IMethodDefinition} from "../../types/_method_definition";
import {MethodParameters} from "./method_parameters";
import {BasicTypes} from "../basic_types";
import {TypeUtils} from "../_type_utils";
export class NewObject {
public runSyntax(node: ExpressionNode, scope: CurrentScope, targetType: AbstractType | undefined, filename: string): AbstractType {
let ret: AbstractType | undefined = undefined;
const typeExpr = node.findDirectExpression(Expressions.TypeNameOrInfer);
const typeToken = typeExpr?.getFirstToken();
const typeName = typeExpr?.concatTokens();
if (typeName === undefined) {
throw new Error("NewObject, child TypeNameOrInfer not found");
} else if (typeName === "#" && targetType && targetType instanceof ObjectReferenceType) {
const clas = scope.findClassDefinition(targetType.getIdentifierName());
if (clas) {
scope.addReference(typeToken, clas, ReferenceType.InferredType, filename);
} else {
const intf = scope.findInterfaceDefinition(targetType.getIdentifierName());
if (intf) {
throw new Error(intf.getName() + " is an interface, cannot be instantiated");
}
}
ret = targetType;
if (clas?.isAbstract() === true) {
throw new Error(clas.getName() + " is abstract, cannot be instantiated");
}
} else if (typeName === "#" && targetType) {
ret = targetType;
} else if (typeName === "#") {
throw new Error("NewObject, todo, infer type");
}
if (ret === undefined) {
const objDefinition = scope.findObjectDefinition(typeName);
if (objDefinition) {
scope.addReference(typeToken, objDefinition, ReferenceType.ObjectOrientedReference, filename);
const objref = new ObjectReferenceType(objDefinition);
const clas = scope.findClassDefinition(objref.getIdentifierName());
if (clas?.isAbstract() === true) {
throw new Error(clas.getName() + " is abstract, cannot be instantiated");
}
ret = objref;
}
}
if (ret === undefined) {
const basic = new BasicTypes(filename, scope);
const type = basic.resolveTypeName(typeExpr);
if (type instanceof UnknownType) {
ret = type;
} else if (type && !(type instanceof VoidType)) {
ret = new DataReference(type);
} else if (type instanceof VoidType) {
ret = type;
} else {
throw new Error("Type \"" + typeName + "\" not found in scope, NewObject");
}
}
if (ret instanceof ObjectReferenceType) {
this.parameters(node, ret, scope, filename);
} else {
for (const s of node.findAllExpressions(Expressions.Source)) {
new Source().runSyntax(s, scope, filename, ret);
}
}
if (ret instanceof UnknownType && scope.getDDIC().inErrorNamespace(typeName) === true) {
throw new Error("Class or type \"" + typeName + "\" not found");
}
return ret;
}
private parameters(node: ExpressionNode, obj: ObjectReferenceType, scope: CurrentScope, filename: string) {
const name = obj.getIdentifier().getName();
const def = scope.findObjectDefinition(name);
const helper = new ObjectOriented(scope);
// eslint-disable-next-line prefer-const
let {method} = helper.searchMethodName(def, "CONSTRUCTOR");
const requiredParameters = method?.getParameters().getRequiredParameters() || [];
const source = node.findDirectExpression(Expressions.Source);
const parameters = node.findDirectExpression(Expressions.ParameterListS);
if (source) {
// single unnamed parameter
const type = this.defaultImportingType(method);
if (type === undefined) {
throw new Error("NewObject, no default importing parameter found for constructor, " + name);
}
const sourceType = new Source().runSyntax(source, scope, filename, type);
if (new TypeUtils(scope).isAssignableStrict(sourceType, type) === false) {
throw new Error(`NEW parameter type not compatible`);
}
} else if (parameters) {
// parameters with names
if (method === undefined) {
throw new Error("NewObject, no parameters for constructor found, " + name);
}
new MethodParameters().checkExporting(parameters, scope, method, filename);
} else if (requiredParameters.length > 0) {
throw new Error(`constructor parameter "${requiredParameters[0].getName()}" must be supplied, ` + name);
}
}
private defaultImportingType(method: IMethodDefinition | undefined) {
let targetType: AbstractType | undefined = undefined;
if (method === undefined) {
return undefined;
}
const name = method.getParameters().getDefaultImporting();
for (const i of method.getParameters().getImporting()) {
if (i.getName().toUpperCase() === name) {
targetType = i.getType();
}
}
return targetType;
}
} |