All files / src/abap/1_lexer lexer.ts

97.43% Statements 342/351
96.27% Branches 207/215
100% Functions 3/3
97.43% Lines 342/351

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 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 3511x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 11852x 11852x 11852x 11852x 11852x 11852x 11852x 1x 1x 380936x 380936x 235690x 235690x 235690x 235690x 235690x 235690x 226894x 226894x 162237x 162237x 226894x 235690x 235690x 235690x 235690x 235690x 207905x 207905x 235690x 235690x 235690x 270x 270x 235690x 235690x 235690x 346x 235690x 3087x 235344x 693x 693x 693x 289x 693x 192x 404x 189x 212x 18x 23x 5x 5x 232257x 84x 231564x 79903x 35472x 79903x 341x 6x 341x   335x 280x 335x 55x 55x 44431x 7716x 1309x 7716x 552x 6407x 3073x 5855x 2782x 2782x 44090x 341x 209x 341x 75x 132x 52x 57x 5x 5x 36374x 7718x 4285x 7718x 81x 3433x 3309x 3352x 43x 43x 36033x 4751x 99x 4751x 32x 4652x 10x 4620x 4610x 4610x 28315x 546x 228x 546x 241x 318x 2x 77x 75x 75x 23564x 2742x   2742x 2728x 2742x   14x 14x 14x 2742x 231480x 15369x 581x   581x 1x 581x   580x 580x 580x 15369x 504x 2x 504x   502x   502x 502x 502x 504x 15369x 235690x 235690x 346x 346x 346x 346x 346x 219x 219x 346x 235690x 235690x 170549x 170549x 235690x 235690x 380936x 380936x 1x 1x 11852x 11852x 11852x 11852x 11852x 1255296x 1255296x 1255296x 1255296x 1255296x 1255296x 1224617x 334360x 1224617x 2868x 2868x 2868x 890257x 695x 695x 695x 887389x 226x 226x 226x 886694x 84x 84x 84x 886468x 886384x 340x 340x 340x 886384x 2730x 886044x 504x 883314x 882810x 882810x 1010x 1010x 882810x 881800x 881800x 22144x 22144x 1255296x 30679x 78x 78x 78x 30679x 30601x 30601x 30601x 30601x 30601x 226x 226x 223x 223x 226x 226x 226x 2x 226x 224x 224x 30601x 30375x 30375x 30375x 695x 695x 692x 692x 695x 30375x 29680x 29680x 1x 29680x 29679x 29679x 29679x 29679x 29679x 2861x 2861x 2857x 2857x 2861x 4x 2861x 2857x 2857x 29679x 272x 272x 26818x     1255296x 1255296x 11852x 11852x 1255296x 11852x 11852x 11852x 1x 1x
import {IFile} from "../../files/_ifile";
import {Position} from "../../position";
import {VirtualPosition} from "../../virtual_position";
import {AbstractToken} from "./tokens/abstract_token";
import {IABAPLexerResult} from "./lexer_result";
import {At, AtW, AssociationName, BracketLeft, BracketLeftW, BracketRight, BracketRightW, Comment, Dash, DashW, Identifier, InstanceArrow, InstanceArrowW, ParenLeft, ParenLeftW, ParenRight, ParenRightW, Plus, PlusW, Pragma, Punctuation, StaticArrow, StaticArrowW, StringTemplate, StringTemplateBegin, StringTemplateEnd, StringTemplateMiddle, StringToken, WAt, WAtW, WBracketLeft, WBracketLeftW, WBracketRight, WBracketRightW, WDash, WDashW, WInstanceArrow, WInstanceArrowW, WParenLeft, WParenLeftW, WParenRight, WParenRightW, WPlus, WPlusW, WStaticArrow, WStaticArrowW} from "./tokens";
import {LexerBuffer} from "./lexer_buffer";
import {LexerStream} from "./lexer_stream";
 
const ModeNormal: number = 1;
const ModePing: number = 2;
const ModeStr: number = 3;
const ModeTemplate: number = 4;
const ModeComment: number = 5;
const ModePragma: number = 6;
 
// character codes, used for integer comparisons in the hot loop
const EOF = -1;             // no character (start/end of file)
const CH_TAB = 9;           // "\t"
const CH_NL = 10;           // "\n"
const CH_SPACE = 32;        // " "
const CH_DQUOTE = 34;       // "\""
const CH_HASH = 35;         // "#"
const CH_QUOTE = 39;        // "'"
const CH_STAR = 42;         // "*"
const CH_DASH = 45;         // "-"
const CH_COMMA = 44;        // ","
const CH_DOT = 46;          // "."
const CH_COLON = 58;        // ":"
const CH_EQUALS = 61;       // "="
const CH_GT = 62;           // ">"
const CH_AT = 64;           // "@"
const CH_BACKSLASH = 92;    // "\\"
const CH_BACKTICK = 96;     // "`"
const CH_LBRACE = 123;      // "{"
const CH_PIPE = 124;        // "|"
const CH_RBRACE = 125;      // "}"
 
// characters that terminate the current token
const SPLITS = new Set<number>([
  CH_SPACE, CH_COLON, CH_DOT, CH_COMMA, CH_DASH, 43 /* + */, 40 /* ( */,
  41 /* ) */, 91 /* [ */, 93 /* ] */, CH_BACKSLASH, CH_TAB, CH_NL]);
 
// single characters that are emitted as their own token
const BUFS = new Set<number>([
  CH_DOT, CH_COMMA, CH_COLON, 40 /* ( */, 41 /* ) */, 91 /* [ */,
  93 /* ] */, 43 /* + */, CH_AT]);
 
// characters that may follow the closing "'", "`" or "|" of a literal, anything else
// is a syntax error, "There must be a space or equivalent character after ...",
// note that "(" is allowed, ie. text elements like 'text'(001)
const AFTER_LITERAL = new Set<number>([
  EOF, CH_SPACE, CH_TAB, CH_NL, CH_DOT, CH_COMMA, CH_COLON, CH_DQUOTE,
  40 /* ( */, 41 /* ) */, 91 /* [ */, 93 /* ] */]);
 
export class Lexer {
 
  private virtual: Position | undefined;
  private tokens: AbstractToken[];
  private m: number;
  private stream: LexerStream;
  private buffer: LexerBuffer;
 
  public run(file: IFile, virtual?: Position): IABAPLexerResult {
    this.virtual = virtual;
    this.tokens = [];
    this.m = ModeNormal;
 
    this.process(file.getRaw());
    return {file, tokens: this.tokens};
  }
 
  private add() {
    const s = this.buffer.get().trim();
    if (s.length > 0) {
      const col = this.stream.getCol();
      const row = this.stream.getRow();
 
      let whiteBefore = false;
      const beforeOffset = this.stream.getOffset() - s.length;
      if (beforeOffset >= 0) {
        const prev = this.stream.charCodeAt(beforeOffset);
        if (prev === CH_SPACE || prev === CH_NL || prev === CH_TAB || prev === CH_COLON) {
          whiteBefore = true;
        }
      }
 
      let whiteAfter = false;
      const next = this.stream.nextChar();
      if (next === CH_SPACE || next === CH_NL || next === CH_TAB || next === CH_COLON
          || next === CH_COMMA || next === CH_DOT || next === EOF || next === CH_DQUOTE) {
        whiteAfter = true;
      }
 
      let pos = new Position(row, col - s.length);
      if (this.virtual) {
        pos = new VirtualPosition(this.virtual, pos.getRow(), pos.getCol());
      }
 
      let tok: AbstractToken | undefined = undefined;
      if (this.m === ModeComment) {
        tok = new Comment(pos, s);
      } else if (this.m === ModePing || this.m === ModeStr) {
        tok = new StringToken(pos, s);
      } else if (this.m === ModeTemplate) {
        const first = s.charAt(0);
        const last = s.charAt(s.length - 1);
        if (first === "|" && last === "|") {
          tok = new StringTemplate(pos, s);
        } else if (first === "|" && last === "{" && whiteAfter === true) {
          tok = new StringTemplateBegin(pos, s);
        } else if (first === "}" && last === "|" && whiteBefore === true) {
          tok = new StringTemplateEnd(pos, s);
        } else if (first === "}" && last === "{" && whiteAfter === true && whiteBefore === true) {
          tok = new StringTemplateMiddle(pos, s);
        } else {
          tok = new Identifier(pos, s);
        }
      } else if (s.length > 2 && s.substr(0, 2) === "##") {
        tok = new Pragma(pos, s);
      } else if (s.length === 1) {
        if (s === "." || s === ",") {
          tok = new Punctuation(pos, s);
        } else if (s === "[") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WBracketLeftW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WBracketLeft(pos, s);
          } else if (whiteAfter === true) {
            tok = new BracketLeftW(pos, s);
          } else {
            tok = new BracketLeft(pos, s);
          }
        } else if (s === "(") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WParenLeftW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WParenLeft(pos, s);
          } else if (whiteAfter === true) {
            tok = new ParenLeftW(pos, s);
          } else {
            tok = new ParenLeft(pos, s);
          }
        } else if (s === "]") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WBracketRightW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WBracketRight(pos, s);
          } else if (whiteAfter === true) {
            tok = new BracketRightW(pos, s);
          } else {
            tok = new BracketRight(pos, s);
          }
        } else if (s === ")") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WParenRightW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WParenRight(pos, s);
          } else if (whiteAfter === true) {
            tok = new ParenRightW(pos, s);
          } else {
            tok = new ParenRight(pos, s);
          }
        } else if (s === "-") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WDashW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WDash(pos, s);
          } else if (whiteAfter === true) {
            tok = new DashW(pos, s);
          } else {
            tok = new Dash(pos, s);
          }
        } else if (s === "+") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WPlusW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WPlus(pos, s);
          } else if (whiteAfter === true) {
            tok = new PlusW(pos, s);
          } else {
            tok = new Plus(pos, s);
          }
        } else if (s === "@") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WAtW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WAt(pos, s);
          } else if (whiteAfter === true) {
            tok = new AtW(pos, s);
          } else {
            tok = new At(pos, s);
          }
        }
      } else if (s.length === 2) {
        if (s === "->") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WInstanceArrowW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WInstanceArrow(pos, s);
          } else if (whiteAfter === true) {
            tok = new InstanceArrowW(pos, s);
          } else {
            tok = new InstanceArrow(pos, s);
          }
        } else if (s === "=>") {
          if (whiteBefore === true && whiteAfter === true) {
            tok = new WStaticArrowW(pos, s);
          } else if (whiteBefore === true) {
            tok = new WStaticArrow(pos, s);
          } else if (whiteAfter === true) {
            tok = new StaticArrowW(pos, s);
          } else {
            tok = new StaticArrow(pos, s);
          }
        }
      }
 
      if (tok === undefined && this.m === ModeNormal && s.charAt(0) === "\\") {
        const adj = this.stream.nextChar() === EOF ? 1 : 0;
        const prevOffset = this.stream.getOffset() - s.length - adj;
        const prevChar = this.stream.charCodeAt(prevOffset);
        const whiteBeforeBackslash = prevChar === CH_SPACE || prevChar === CH_NL || prevChar === CH_TAB || prevChar === CH_COLON;
        if (!whiteBeforeBackslash) {
          tok = new AssociationName(pos, s);
        }
      }
 
      if (tok === undefined) {
        tok = new Identifier(pos, s);
      }
      this.tokens.push(tok);
    }
    this.buffer.clear();
  }
 
  private process(raw: string) {
    const stream = new LexerStream(raw.replace(/\r/g, ""));
    this.stream = stream;
    this.buffer = new LexerBuffer(stream.getRaw());
 
    for (;;) {
      const current = stream.currentChar();
      this.buffer.add(stream.getOffset());
      const ahead = stream.nextChar();
      const aahead = stream.nextNextChar();
 
      if (this.m === ModeNormal) {
        if (SPLITS.has(ahead)) {
          this.add();
        } else if (ahead === CH_QUOTE) {
// start string
          this.add();
          this.m = ModeStr;
        } else if (ahead === CH_PIPE || ahead === CH_RBRACE) {
// start template
          this.add();
          this.m = ModeTemplate;
        } else if (ahead === CH_BACKTICK) {
// start ping
          this.add();
          this.m = ModePing;
        } else if (ahead === CH_HASH && aahead === CH_HASH) {
// start pragma
          this.add();
          this.m = ModePragma;
        } else if (ahead === CH_DQUOTE
            || (ahead === CH_STAR && current === CH_NL)) {
// start comment
          this.add();
          this.m = ModeComment;
        } else if (ahead === CH_AT && this.buffer.get().trim().length === 0) {
          this.add();
        } else if ((ahead === CH_DASH || ahead === CH_EQUALS) && aahead === CH_GT) {
          this.add();
        } else if (current === CH_GT
            && ahead !== CH_SPACE
            && (stream.prevChar() === CH_DASH || stream.prevChar() === CH_EQUALS)) {
// arrows
          this.add();
        } else if (this.buffer.length() === 1
            && (BUFS.has(current)
            || (current === CH_DASH && ahead !== CH_GT))) {
          this.add();
        }
      } else if (this.m === ModePragma && (ahead === CH_COMMA || ahead === CH_COLON
        || ahead === CH_DOT || ahead === CH_SPACE || ahead === CH_NL)) {
// end of pragma
        this.add();
        this.m = ModeNormal;
      } else if (this.m === ModePing
          && this.buffer.length() > 1
          && current === CH_BACKTICK
          && !(ahead === CH_BACKTICK && aahead === CH_BACKTICK)
          && ahead !== CH_BACKTICK
          && this.buffer.countIsEven(CH_BACKTICK)) {
// end of ping
        if (AFTER_LITERAL.has(ahead)) {
          this.add();
        }
// else: no separator after the literal, keep the buffer so the following
// characters are glued onto the token, the parser will report the error
        if (ahead === CH_DQUOTE) {
          this.m = ModeComment;
        } else {
          this.m = ModeNormal;
        }
      } else if (this.m === ModeTemplate
          && this.buffer.length() > 1
          && (current === CH_PIPE || current === CH_LBRACE)
          && (stream.prevChar() !== CH_BACKSLASH || (stream.prevPrevChar() === CH_BACKSLASH && stream.prevChar() === CH_BACKSLASH))) {
// end of template
        if (current === CH_LBRACE || AFTER_LITERAL.has(ahead)) {
          this.add();
        }
        this.m = ModeNormal;
      } else if (this.m === ModeTemplate
          && ahead === CH_RBRACE
          && current !== CH_BACKSLASH) {
        this.add();
      } else if (this.m === ModeStr
          && current === CH_QUOTE
          && this.buffer.length() > 1
          && !(ahead === CH_QUOTE && aahead === CH_QUOTE)
          && ahead !== CH_QUOTE
          && this.buffer.countIsEven(CH_QUOTE)) {
// end of string
        if (AFTER_LITERAL.has(ahead)) {
          this.add();
        }
        if (ahead === CH_DQUOTE) {
          this.m = ModeComment;
        } else {
          this.m = ModeNormal;
        }
      } else if (ahead === CH_NL && this.m !== ModeTemplate) {
        this.add();
        this.m = ModeNormal;
      } else if (this.m === ModeTemplate && current === CH_NL) {
        this.add();
      }
 
      if (!stream.advance()) {
        break;
      }
    }
 
    this.add();
  }
 
}