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 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 6752x 6752x 6752x 1x 1x 2082x 2082x 2072x 2072x 2072x 2072x 2072x 2072x 197x 197x 2072x 2082x 2082x 2082x 10x 10x 2072x 2072x 2082x 33x 33x 23x 23x 33x 2072x 1x 1x 68x 68x 68x 68x 68x 68x 68x 68x 42x 42x 22x 22x 42x 46x 46x 68x 22x 22x 24x 24x 24x 24x 24x 24x 4x 4x 24x 24x 20x 20x 20x 1x 1x 7x 7x 7x 7x 7x 7x 7x 7x 7x 7x 7x 7x 7x 8x 8x 8x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 8x 7x 7x 8x 8x 1x 1x 1x 1x 1x 8x 8x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 8x 8x 8x 5x 5x 3x 3x 5x 2x 2x 1x 1x 2x 5x 1x 1x 1x 1x 1x 5x 8x 8x 8x 8x 1x 1x 1x 8x 7x 7x 7x 7x 8x 7x 1x 1x | import * as Expressions from "../2_statements/expressions"; import * as Statements from "../2_statements/statements"; import * as Structures from "../3_structures/structures"; import {StatementNode} from "../nodes"; import {ABAPObject} from "../../objects/_abap_object"; import {FormDefinition, FunctionModuleParameterDirection} from "../types"; import {CurrentScope} from "./_current_scope"; import {ScopeType} from "./_scope_type"; import {FunctionGroup} from "../../objects"; import {IRegistry} from "../../_iregistry"; import {TypedIdentifier} from "../types/_typed_identifier"; import {TableType, UnknownType, AnyType, VoidType, StructureType, TableKeyType} from "../types/basic"; import {DDIC} from "../../ddic"; import {AbstractType} from "../types/basic/_abstract_type"; import {ABAPFile} from "../abap_file"; import {ObjectOriented} from "./_object_oriented"; import {ReferenceType} from "./_reference"; export class Procedural { private readonly scope: CurrentScope; private readonly reg: IRegistry; public constructor(reg: IRegistry, scope: CurrentScope) { this.scope = scope; this.reg = reg; } public addAllFormDefinitions(file: ABAPFile, obj: ABAPObject) { const structure = file.getStructure(); if (structure) { const input = { scope: CurrentScope.buildDefault(this.reg, obj), filename: file.getFilename(), issues: [], }; for (const found of structure.findAllStructures(Structures.Form)) { this.scope.addFormDefinitions([new FormDefinition(found, input)]); } } const stru = file.getStructure(); if (stru === undefined) { return; } const includes = stru.findAllStatements(Statements.Include); for (const node of includes) { const found = this.findInclude(node, obj); if (found) { this.addAllFormDefinitions(found, obj); } } } public findInclude(node: StatementNode, obj: ABAPObject): ABAPFile | undefined { // assumption: no cyclic includes, includes not found are reported by rule "check_include" // todo: how to make sure code is not duplicated here and in rule "check_include" / include graph? const expr = node.findFirstExpression(Expressions.IncludeName); if (expr === undefined) { return undefined; } const name = expr.getFirstToken().getStr(); // look in the current function group if (obj instanceof FunctionGroup) { const incl = obj.getInclude(name); if (incl !== undefined) { return incl; } } const prog = this.reg.getObject("PROG", name) as ABAPObject | undefined; if (prog !== undefined) { return prog.getABAPFiles()[0]; } // todo, this is slow, try determining the FUGR name from the include name for (const fugr of this.reg.getObjectsByType("FUGR")) { if (fugr instanceof FunctionGroup) { const found = fugr.getInclude(name); if (found) { return found; } } } return undefined; } public findFunctionScope(obj: ABAPObject, node: StatementNode, filename: string) { if (!(obj instanceof FunctionGroup)) { throw new Error("findFunctionScope, expected function group input"); } const nameToken = node.findFirstExpression(Expressions.Field)!.getFirstToken(); const name = nameToken.getStr(); this.scope.push(ScopeType.FunctionModule, name, node.getFirstToken().getStart(), filename); const definition = obj.getModule(name); if (definition === undefined) { throw new Error("Function module definition \"" + name + "\" not found"); } const ddic = new DDIC(this.reg); const allNames = new Set<string>(); for (const param of definition.getParameters()) { let found: AbstractType | undefined = undefined; if (param.type === undefined || param.type === "") { found = new AnyType(); } else if (param.type.includes("=>")) { // then its a type from global INTF or CLAS const [clas, name] = param.type.split("=>"); const def = this.scope.findObjectDefinition(clas); if (def) { const type = def.getTypeDefinitions().getByName(name); if (type) { this.scope.addReference(nameToken, type, ReferenceType.TypeReference, filename); found = type.getType(); } } } if (found === undefined) { found = ddic.lookup(param.type!).type; } if (param.direction === FunctionModuleParameterDirection.tables) { if (found instanceof TableType) { found = new TableType(found.getRowType(), {withHeader: true, keyType: TableKeyType.default}); } else { found = new TableType(found, {withHeader: true, keyType: TableKeyType.default}); } } if ((found instanceof UnknownType || found instanceof VoidType) && param.type?.includes("-")) { const [name, field] = param.type.split("-"); const f = ddic.lookupTableOrView(name).type; if (f && f instanceof StructureType) { const c = f.getComponentByName(field); if (c) { found = c; } } if (found === undefined || found instanceof UnknownType || found instanceof VoidType) { const f = this.scope.findType(name)?.getType(); if (f && f instanceof StructureType) { const c = f.getComponentByName(field); if (c) { found = c; } } } } else if ((found instanceof UnknownType || found instanceof VoidType) && param.type?.includes("=>")) { const [name, field] = param.type.split("=>"); const def = this.scope.findObjectDefinition(name); const c = new ObjectOriented(this.scope).searchTypeName(def, field); if (c) { found = c.getType(); } } if ((found instanceof UnknownType || found instanceof VoidType) && param.type) { const f = ddic.lookupBuiltinType(param.type); if (f) { found = f; } if (found === undefined || found instanceof UnknownType || found instanceof VoidType) { const f = this.scope.findType(param.type)?.getType(); if (f) { found = f; } } if (found === undefined || found instanceof UnknownType || found instanceof VoidType) { const f = this.scope.findTypePoolType(param.type)?.getType(); if (f) { found = f; } } } if (found instanceof UnknownType && new DDIC(this.reg).inErrorNamespace(param.type) === false) { found = new VoidType(param.type); } if (allNames.has(param.name.toUpperCase())) { // yea, IMPORTING and EXPORTING can have the same name // workaround to avoid false postivies, can be improved continue; } else { const type = new TypedIdentifier(nameToken, filename, found); this.scope.addNamedIdentifier(param.name, type); allNames.add(param.name.toUpperCase()); } } } } |