Jflex 获取输入文件名

Question

在 Jflex 中，如何提取输入文件名？

DisplayFilename.jflex:

%%

%class DisplayFilename

%eof{
    /* code to print the input filename goes here */
%eof}

%%

\n { /* do nothing */ }
. { /* do nothing */ }

命令运行

jflex DisplayFilename
javac DisplayFilename.java
java DisplayFilename someinputfile.txt

期望的输出：

someinputfile.txt

Answer 1

这可以通过省略 jflex 文件顶部的 %standalone 标记来实现。这使得 jflex 不会生成默认的 main() 方法，并允许用户在 %{ %} 代码段内设置自己的自定义 main() 方法。

在此 main() 中，用户可以放置自动生成的原始代码 main()，但可以更新为所需的结果。

在此上下文中：

%%

%class DisplayFilename

%{
  private static String inputfilename = "";
  
  private static class Yytoken {
    /* empty class to allow yylex() to compile */
  }

  public static void main(String argv[]) {
    if (argv.length == 0) {
      System.out.println("Usage : java DisplayFilename");
    }
    else {
      int firstFilePos = 0;
      String encodingName = "UTF-8";
      for (int i = firstFilePos; i < argv.length; i++) {
        inputfilename = argv[i]; // LINE OF INTEREST
        WC scanner = null;
        try {
          java.io.FileInputStream stream = new java.io.FileInputStream(argv[i]);
          java.io.Reader reader = new java.io.InputStreamReader(stream, encodingName);
          scanner = new WC(reader);
          while ( !scanner.zzAtEOF ) scanner.yylex();
        }
        catch (java.io.FileNotFoundException e) {
          System.out.println("File not found : \""+argv[i]+"\"");
        }
        catch (java.io.IOException e) {
          System.out.println("IO error scanning file \""+argv[i]+"\"");
          System.out.println(e);
        }
        catch (Exception e) {
          System.out.println("Unexpected exception:");
          e.printStackTrace();
        }
      }
    }
  }
%}


%eof{
    /* code to print the input filename goes here */
      System.out.println(inputfilename);
%eof}

%%

\n { /* do nothing */ }
. { /* do nothing */ }

Jflex 获取输入文件名

Jflex get input filename

java

compiler-construction

filenames

jflex