public class CAstSourcePositionRecorder extends Object implements CAstSourcePositionMap
CAstSourcePositionMap.Position
Constructor and Description |
---|
CAstSourcePositionRecorder() |
Modifier and Type | Method and Description |
---|---|
void |
addAll(CAstSourcePositionMap other) |
Iterator<CAstNode> |
getMappedNodes()
Returns an iterator of all CAstNodes for which this map contains
source mapping information.
|
CAstSourcePositionMap.Position |
getPosition(CAstNode n)
Returns the position of a given node in its source file, or
null if the position is not known or does not exist.
|
void |
setPosition(CAstNode n,
CAstSourcePositionMap.Position p) |
void |
setPosition(CAstNode n,
int fl,
int fc,
int ll,
int lc,
String url,
String file) |
void |
setPosition(CAstNode n,
int fl,
int fc,
int ll,
int lc,
URL url,
URL file) |
void |
setPosition(CAstNode n,
int lineNumber,
String url,
String file) |
void |
setPosition(CAstNode n,
int lineNumber,
URL url,
URL file) |
public CAstSourcePositionMap.Position getPosition(CAstNode n)
CAstSourcePositionMap
getPosition
in interface CAstSourcePositionMap
public Iterator<CAstNode> getMappedNodes()
CAstSourcePositionMap
getMappedNodes
in interface CAstSourcePositionMap
public void setPosition(CAstNode n, CAstSourcePositionMap.Position p)
public void setPosition(CAstNode n, int fl, int fc, int ll, int lc, String url, String file) throws MalformedURLException
MalformedURLException
public void setPosition(CAstNode n, int lineNumber, String url, String file) throws MalformedURLException
MalformedURLException
public void addAll(CAstSourcePositionMap other)