| java.lang.Object bossa.util.Location
Location | abstract public class Location implements Located(Code) | | Represents a portion of the input file.
Used to report errors to the user.
See Also: Located author: Daniel Bonniot (bonniot@users.sourceforge.net) |
Inner Class :public static class File extends Location | |
Inner Class :public static class Source extends File | |
Inner Class :public static class Option extends Location | |
Field Summary | |
public static boolean | editorMode Different behaviour wether compiler is invoked by an editor. | final public static Location | option |
Method Summary | |
public Location | location() | public static Location | make(java.io.File file, int startLine, int startColumn, int endLine, int endColumn) | public static Location | make(java.io.File file, int startLine, int startColumn) | public static Location | make(int startLine, int startColumn, int endLine, int endColumn) | public static Location | make(int startLine, int startColumn) | public static Location | make(gnu.expr.Expression expr) | public static Location | nowhere() | public static void | setCurrentFile(java.io.File file) The file beeing parsed. | public String | toShortString() | public String | uniqueIdentifier(String root) Return an identifier, which is guaranteed to be different for
different locations. | public void | write(gnu.expr.Expression exp) Setting source location in the generated bytecode. | public void | write(gnu.expr.Declaration decl) | public void | writeEnd(gnu.expr.Expression exp) |
editorMode | public static boolean editorMode(Code) | | Different behaviour wether compiler is invoked by an editor.
|
make | public static Location make(int startLine, int startColumn, int endLine, int endColumn)(Code) | | |
setCurrentFile | public static void setCurrentFile(java.io.File file)(Code) | | The file beeing parsed.
Enables to set the file name just once,
not at each Location construction.
|
uniqueIdentifier | public String uniqueIdentifier(String root)(Code) | | Return an identifier, which is guaranteed to be different for
different locations.
|
|
|