All files / src/abap/5_syntax _procedural.ts

88.1% Statements 163/185
73.07% Branches 38/52
100% Functions 4/4
88.1% Lines 163/185

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 1851x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 6188x 6188x 6188x 1x 1x 1892x 1892x 1882x 1882x 186x 186x 1882x 1892x 1892x 1892x 10x 10x 1882x 1882x 1892x 29x 29x 20x 20x 29x 1882x 1x 1x 60x 60x 60x 60x     60x 60x 60x 60x 38x 38x 20x 20x 38x 40x 40x 60x 18x 18x 22x 22x 22x 22x 22x 22x 4x 4x 22x 22x 18x 18x 18x 1x 1x 6x     6x 6x 6x 6x 6x 6x 6x     6x 6x 6x 6x 6x 6x   6x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 6x 5x 5x 6x 6x 1x   1x 1x 1x 1x 6x 6x 1x 1x 1x           1x 1x 1x 1x 1x 1x 1x 1x 1x 6x               6x 6x 3x 3x 1x 1x 3x 2x 2x 1x 1x 2x 3x 1x 1x 1x 1x 1x 3x 6x 6x     6x 6x 6x 6x 6x 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 dummy = CurrentScope.buildDefault(this.reg, obj);
      for (const found of structure.findAllStructures(Structures.Form)) {
        this.scope.addFormDefinitions([new FormDefinition(found, file.getFilename(), dummy)]);
      }
    }
 
    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);
 
    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);
      }
 
      const type = new TypedIdentifier(nameToken, filename, found);
      this.scope.addNamedIdentifier(param.name, type);
    }
  }
 
}