Package com.ibm.wala.cast.tree.impl
Class CAstSourcePositionRecorder
- java.lang.Object
-
- com.ibm.wala.cast.tree.impl.CAstSourcePositionRecorder
-
- All Implemented Interfaces:
CAstSourcePositionMap
public class CAstSourcePositionRecorder extends Object implements CAstSourcePositionMap
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface com.ibm.wala.cast.tree.CAstSourcePositionMap
CAstSourcePositionMap.Position
-
-
Constructor Summary
Constructors Constructor Description CAstSourcePositionRecorder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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, 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)
void
setPosition(CAstNode n, CAstSourcePositionMap.Position p)
-
-
-
Method Detail
-
getPosition
public CAstSourcePositionMap.Position getPosition(CAstNode n)
Description copied from interface:CAstSourcePositionMap
Returns the position of a given node in its source file, or null if the position is not known or does not exist.- Specified by:
getPosition
in interfaceCAstSourcePositionMap
-
getMappedNodes
public Iterator<CAstNode> getMappedNodes()
Description copied from interface:CAstSourcePositionMap
Returns an iterator of all CAstNodes for which this map contains source mapping information.- Specified by:
getMappedNodes
in interfaceCAstSourcePositionMap
-
setPosition
public void setPosition(CAstNode n, CAstSourcePositionMap.Position p)
-
setPosition
public void setPosition(CAstNode n, int fl, int fc, int ll, int lc, String url, String file) throws MalformedURLException
- Throws:
MalformedURLException
-
setPosition
public void setPosition(CAstNode n, int lineNumber, String url, String file) throws MalformedURLException
- Throws:
MalformedURLException
-
addAll
public void addAll(CAstSourcePositionMap other)
-
-