コード例 #1
0
 @DSSink({DSSinkKind.SENSITIVE_UNCATEGORIZED})
 @DSGenerator(
     tool_name = "Doppelganger",
     tool_version = "2.0",
     generated_on = "2013-12-30 12:55:51.664 -0500",
     hash_original_method = "9816EEB9F7DF054BEDA3076A1CE20DA0",
     hash_generated_method = "8B483A1525BA623F62F1B79AA683FFEA")
 protected void peekLine(String rule) {
   if (debug) {
     Debug.println(rule + " " + lexer.peekLine());
   }
 }
コード例 #2
0
  /** Match the given token or throw an exception if no such token can be matched. */
  @DSSource({DSSourceKind.SENSITIVE_UNCATEGORIZED})
  @DSGenerator(
      tool_name = "Doppelganger",
      tool_version = "2.0",
      generated_on = "2013-12-30 12:55:50.959 -0500",
      hash_original_method = "EF527252962F704D7452C6B99500917D",
      hash_generated_method = "BE7655C07E1329CD326693E64EB0674A")
  public Token match(int tok) throws ParseException {
    if (Debug.parserDebug) {
      Debug.println("match " + tok);
    }
    if (tok > START && tok < END) {
      if (tok == ID) {
        // Generic ID sought.
        if (!startsId()) throw new ParseException(buffer + "\nID expected", ptr);
        String id = getNextId();
        this.currentMatch = new Token();
        this.currentMatch.tokenValue = id;
        this.currentMatch.tokenType = ID;
      } else if (tok == SAFE) {
        if (!startsSafeToken()) throw new ParseException(buffer + "\nID expected", ptr);
        String id = ttokenSafe();
        this.currentMatch = new Token();
        this.currentMatch.tokenValue = id;
        this.currentMatch.tokenType = SAFE;
      } else {
        String nexttok = getNextId();
        Integer cur = (Integer) currentLexer.get(nexttok.toUpperCase());

        if (cur == null || cur.intValue() != tok)
          throw new ParseException(buffer + "\nUnexpected Token : " + nexttok, ptr);
        this.currentMatch = new Token();
        this.currentMatch.tokenValue = nexttok;
        this.currentMatch.tokenType = tok;
      }
    } else if (tok > END) {
      // Character classes.
      char next = lookAhead(0);
      if (tok == DIGIT) {
        if (!isDigit(next)) throw new ParseException(buffer + "\nExpecting DIGIT", ptr);
        this.currentMatch = new Token();
        this.currentMatch.tokenValue = String.valueOf(next);
        this.currentMatch.tokenType = tok;
        consume(1);

      } else if (tok == ALPHA) {
        if (!isAlpha(next)) throw new ParseException(buffer + "\nExpecting ALPHA", ptr);
        this.currentMatch = new Token();
        this.currentMatch.tokenValue = String.valueOf(next);
        this.currentMatch.tokenType = tok;
        consume(1);
      }

    } else {
      // This is a direct character spec.
      char ch = (char) tok;
      char next = lookAhead(0);
      if (next == ch) {
        /*this.currentMatch = new Token();
        this.currentMatch.tokenValue =
            String.valueOf(ch);
        this.currentMatch.tokenType = tok;*/
        consume(1);
      } else
        throw new ParseException(
            buffer + "\nExpecting  >>>" + ch + "<<< got >>>" + next + "<<<", ptr);
    }
    return this.currentMatch;
  }