public static class SourceLocation.StaticLocationMaker extends SourceLocation.SourceLocationMaker
Constructor and Description |
---|
StaticLocationMaker(java.net.URL location) |
Modifier and Type | Method and Description |
---|---|
SourceLocation |
make(int lineNumber,
int columnNumber,
int endLineNumber,
int endColumnNumber) |
makeCanonical, makeUnspecifiedPosition
public StaticLocationMaker(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