All files / src/abap/5_syntax/expressions field_chain.ts

85.18% Statements 161/189
87.5% Branches 70/80
100% Functions 2/2
85.18% Lines 161/189

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 1901x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 7188x 7188x 7188x 7188x 7188x 7188x 7188x 330x 330x 330x 330x 330x 330x 6x 6x 6x 6x 6x 6x 330x 7182x 7182x 7182x 7182x 7182x 7182x 7188x 1454x 1454x     1454x 1454x 1x 1x 1x 1454x 383x 1x 1x 1x 1x 1x 383x 382x 382x 1x                               1x 1x 1x 1x 1x 1x 1453x 187x 187x 187x         1070x 18x 18x 18x 18x 18x 18x 2x 2x 883x 381x 18x 18x 381x 865x 484x 81x 1x 1x 1x 1x 80x 81x 64x 64x 484x 245x 403x 42x 42x 39x 39x 158x 43x 43x 41x 41x 43x 1447x 1447x 1447x 7175x 7175x 7175x 1x 1x 1x 1x 7182x 7182x 7182x 7182x 7182x     7182x 7182x 7182x 132x 7182x 7050x 6988x 7050x 62x 2x 62x 60x 60x 60x     60x 60x 39x 39x 60x 17x 17x 17x 21x 4x 4x 4x 4x 60x       1x 1x  
import {ExpressionNode} from "../../nodes";
import {AbstractType} from "../../types/basic/_abstract_type";
import {INode} from "../../nodes/_inode";
import * as Expressions from "../../2_statements/expressions";
import {Dash, DashW, InstanceArrow} from "../../1_lexer/tokens";
import {StructureType, ObjectReferenceType, VoidType, DataReference, TableType, UnknownType, GenericObjectReferenceType} from "../../types/basic";
import {ComponentName} from "./component_name";
import {AttributeName} from "./attribute_name";
import {ReferenceType} from "../_reference";
import {FieldOffset} from "./field_offset";
import {FieldLength} from "./field_length";
import {TableExpression} from "./table_expression";
import {Dereference as DereferenceExpression} from "../../2_statements/expressions";
import {Dereference} from "./dereference";
import {SourceFieldSymbol} from "./source_field_symbol";
import {SourceField} from "./source_field";
import {isFieldSymbolItself, substringType} from "./_substring";
import {CheckSyntaxKey, SyntaxInput, syntaxIssue} from "../_syntax_input";
import {LanguageVersion, Release, releaseAtLeast} from "../../../version";
 
export class FieldChain {
 
  public static runSyntax(
    node: ExpressionNode,
    input: SyntaxInput,
    refType?: ReferenceType | ReferenceType[] | undefined,
    allowGenericDeference = false): AbstractType | undefined {
 
    if (node.getFirstChild()?.get() instanceof Expressions.SourceField
        && node.findDirectExpression(Expressions.ComponentName)) {
      // workaround for names with dashes, eg. "sy-repid"
      const concat = node.concatTokens().replace(/ /g, "");
      const offset = node.findDirectExpression(Expressions.FieldOffset)?.concatTokens().replace(/ /g, "") || "";
      const length = node.findDirectExpression(Expressions.FieldLength)?.concatTokens().replace(/ /g, "") || "";
      const found = input.scope.findVariable(concat.replace(offset, "").replace(length, ""));
      if (found) {
        if (refType) {
          input.scope.addReference(node.getFirstToken(), found, refType, input.filename);
        }
        // this is not completely correct, but will work, dashes in names is a mess anyhow
        return found.getType();
      }
    }
 
    let context: AbstractType | undefined;
    const children = node.getChildren();
    context = this.findTop(children[0], input, refType);
 
    let prev = children[0].concatTokens();
    for (let i = 1; i < children.length; i++) {
      const current = children[i];
      if (current === undefined) {
        break;
      }
 
      if (current.get() instanceof DashW) {
        const message = "Ending with dash";
        input.issues.push(syntaxIssue(input, current.getFirstToken(), message));
        return VoidType.get(CheckSyntaxKey);
      } else if (current.get() instanceof Dash) {
        if (context instanceof UnknownType) {
          /*
          const message = "Not a structure, type unknown, FieldChain";
          input.issues.push(syntaxIssue(input, current.getFirstToken(), message));
          */
          return VoidType.get(CheckSyntaxKey);
        } else if (!(context instanceof StructureType)
            && !(context instanceof TableType && context.isWithHeader())
            && !(context instanceof VoidType)) {
          if (context instanceof TableType && context.isWithHeader() === false) {
            let contextName = "";
            for (let j = 0; j < i; j++) {
              contextName += children[j].concatTokens();
            }
            if (input.scope.isAllowHeaderUse(contextName)) {
              // FOR ALL ENTRIES workaround
              context = context.getRowType();
              if (!(context instanceof StructureType) && !(context instanceof VoidType)) {
                context = new StructureType([{name: "TABLE_LINE", type: context}]);
              }
            } else {
              const message = "Table without header, cannot access fields, " + contextName;
              input.issues.push(syntaxIssue(input, current.getFirstToken(), message));
              return VoidType.get(CheckSyntaxKey);
            }
          } else {
            const message = prev.toUpperCase() + " is not structured (" + context?.constructor.name + ")";
            input.issues.push(syntaxIssue(input, current.getFirstToken(), message));
            return VoidType.get(CheckSyntaxKey);
          }
        }
      } else if (current.get() instanceof InstanceArrow) {
        if (!(context instanceof ObjectReferenceType)
            && !(context instanceof DataReference)
            && !(context instanceof VoidType)) {
          const message = "Not an object reference, field chain";
          input.issues.push(syntaxIssue(input, current.getFirstToken(), message));
          return VoidType.get(CheckSyntaxKey);
        }
      } else if (current.get() instanceof DereferenceExpression) {
        context = Dereference.runSyntax(current, context, input);
        if (allowGenericDeference === false
            && context?.isGeneric() === true
            && !releaseAtLeast(input.scope.getRelease(), Release.v756)
            && input.scope.getLanguageVersion() !== LanguageVersion.Cloud
            && !input.scope.getOpenABAP()) {
          throw new Error("A generic reference cannot be dereferenced");
        }
      } else if (current.get() instanceof Expressions.ComponentName) {
        if (context instanceof TableType && context.isWithHeader()) {
          context = context.getRowType();
        }
        context = ComponentName.runSyntax(context, current, input);
      } else if (current instanceof ExpressionNode
          && current.get() instanceof Expressions.TableExpression) {
        if (!(context instanceof TableType) && !(context instanceof VoidType) && !(context instanceof UnknownType)) {
          const message = "Table expression, expected table";
          input.issues.push(syntaxIssue(input, current.getFirstToken(), message));
          return VoidType.get(CheckSyntaxKey);
        }
        TableExpression.runSyntax(current, input, context);
        if (!(context instanceof VoidType) && !(context instanceof UnknownType)) {
          context = context.getRowType();
        }
      } else if (current.get() instanceof Expressions.AttributeName) {
        context = AttributeName.runSyntax(context, current, input, refType);
      } else if (current.get() instanceof Expressions.FieldOffset && current instanceof ExpressionNode) {
        const offset = FieldOffset.runSyntax(current, input);
        if (!isFieldSymbolItself(children, i)) {
          context = substringType(context, offset, undefined, current, input);
        }
      } else if (current.get() instanceof Expressions.FieldLength && current instanceof ExpressionNode) {
        const length = FieldLength.runSyntax(current, input);
        if (!isFieldSymbolItself(children, i)) {
          context = substringType(context, undefined, length, current, input);
        }
      }
 
      prev = current.concatTokens();
    }
 
    return context;
  }
 
  ////////////////
 
  private static findTop(
    node: INode | undefined,
    input: SyntaxInput,
    type: ReferenceType | ReferenceType[] | undefined): AbstractType | undefined {
 
    if (node === undefined) {
      return undefined;
    }
 
    if (node instanceof ExpressionNode
        && node.get() instanceof Expressions.SourceFieldSymbol) {
      return SourceFieldSymbol.runSyntax(node, input);
    } else if (node instanceof ExpressionNode
        && node.get() instanceof Expressions.SourceField) {
      return SourceField.runSyntax(node, input, type);
    } else if (node instanceof ExpressionNode
        && node.get() instanceof Expressions.Field) {
      return SourceField.runSyntax(node, input, type);
    } else if (node.get() instanceof Expressions.ClassName) {
      const classTok = node.getFirstToken();
      const classNam = classTok.getStr();
      if (classNam.toUpperCase() === "OBJECT") {
        return new GenericObjectReferenceType();
      }
      const found = input.scope.existsObject(classNam);
      if (found?.id) {
        input.scope.addReference(classTok, found.id, ReferenceType.ObjectOrientedReference, input.filename);
        return new ObjectReferenceType(found.id);
      } else if (input.scope.getDDIC().inErrorNamespace(classNam) === false) {
        input.scope.addReference(classTok, undefined,
                                 ReferenceType.ObjectOrientedVoidReference, input.filename, {ooName: classNam.toUpperCase()});
        return VoidType.get(classNam);
      } else {
        const message = "Unknown class " + classNam;
        input.issues.push(syntaxIssue(input, node.getFirstToken(), message));
        return VoidType.get(CheckSyntaxKey);
      }
    }

    return undefined;
  }
 
}