org.argus.jawa.core.io
An object representing a missing source file.
Map a position to a position in the underlying source file.
Map a position to a position in the underlying source file. For regular source files, simply return the argument.
An object representing a missing source file.