public static class SourceLocation.CustomStaticLocationMaker extends SourceLocation.SourceLocationMaker
SourceLocation.StaticLocationMaker
, but with a custom name.Constructor and Description |
---|
CustomStaticLocationMaker(java.lang.String customName,
java.net.URL location) |
Modifier and Type | Method and Description |
---|---|
SourceLocation |
make(int lineNumber,
int columnNumber,
int endLineNumber,
int endColumnNumber) |
makeCanonical, makeUnspecifiedPosition
public CustomStaticLocationMaker(java.lang.String customName, java.net.URL location)
location
- as the location of the static source file.public SourceLocation make(int lineNumber, int columnNumber, int endLineNumber, int endColumnNumber)
make
in class SourceLocation.SourceLocationMaker
Copyright © 2009-2019 Aarhus University