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