public static class SourceLocation.SyntheticLocationMaker extends SourceLocation.SourceLocationMaker
Constructor and Description |
---|
SyntheticLocationMaker(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
SourceLocation |
make(int lineNumber,
int columnNumber,
int endLineNumber,
int endColumnNumber) |
makeCanonical, makeUnspecifiedPosition
public SyntheticLocationMaker(java.lang.String name)
name
- a descriptive name for the synthetic locationspublic SourceLocation make(int lineNumber, int columnNumber, int endLineNumber, int endColumnNumber)
make
in class SourceLocation.SourceLocationMaker
Copyright © 2009-2019 Aarhus University