Constructor Detail

• FileLexerSource

  public FileLexerSource​(File file,
                         String path)
                  throws IOException

  Creates a new Source for lexing the given File. Preprocessor directives are honoured within the file.

  Throws:

  IOException

• FileLexerSource

  public FileLexerSource​(File file)
                  throws IOException

  Throws:

  IOException

• FileLexerSource

  public FileLexerSource​(String path)
                  throws IOException

  Throws:

  IOException

Method Detail

• getFile

  public File getFile()

• getPath

  public String getPath()

  This is not necessarily the same as getFile().getPath() in case we are in a chroot.

  Overrides:

  getPath in class Source

• getName

  public String getName()

  Description copied from class: Source
  Returns the human-readable name of the current Source.

  Overrides:

  getName in class Source

• toString

  public String toString()

  Overrides:

  toString in class Object