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 CAstSourcePositionMap

CAstSourcePositionMap.Position

Field Summary

Fields inherited from interface CAstSourcePositionMap

NO_INFORMATION

Constructor Summary

Constructors

Constructor	Description
CAstSourcePositionRecorder()

Method Summary

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.
NavigableSet<CAstSourcePositionMap.Position>	positions()	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	setPosition(CAstNode n, CAstSourcePositionMap.Position p)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CAstSourcePositionRecorder

public CAstSourcePositionRecorder()

Method Details

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 interface CAstSourcePositionMap

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 interface CAstSourcePositionMap

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 fl,
 int fc,
 int ll,
 int lc,
 URL url,
 URL file)

setPosition

public void setPosition(CAstNode n,
 int lineNumber,
 String url,
 String file)
                 throws MalformedURLException

Throws:

MalformedURLException

setPosition

public void setPosition(CAstNode n,
 int lineNumber,
 URL url,
 URL file)

addAll

public void addAll(CAstSourcePositionMap other)

positions

public NavigableSet<CAstSourcePositionMap.Position> positions()

Description copied from interface: CAstSourcePositionMap

Returns an ordered set of all positions in this map.

Specified by:

positions in interface CAstSourcePositionMap