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 java.lang.Object
implements 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

Constructors

Constructor and Description
CAstSourcePositionRecorder()

Method Summary

Modifier and Type	Method and Description
void	addAll(CAstSourcePositionMap other)
java.util.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.
java.util.SortedSet<CAstSourcePositionMap.Position>	positions() Returns an ordered set of all positions in this map.
void	setPosition(CAstNode n, CAstSourcePositionMap.Position p)
void	setPosition(CAstNode n, int fl, int fc, int ll, int lc, java.lang.String url, java.lang.String file)
void	setPosition(CAstNode n, int fl, int fc, int ll, int lc, java.net.URL url, java.net.URL file)
void	setPosition(CAstNode n, int lineNumber, java.lang.String url, java.lang.String file)
void	setPosition(CAstNode n, int lineNumber, java.net.URL url, java.net.URL file)

Methods inherited from class java.lang.Object

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

Constructor Detail

CAstSourcePositionRecorder

public CAstSourcePositionRecorder()

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

getMappedNodes

public java.util.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,
                        java.lang.String url,
                        java.lang.String file)
                 throws java.net.MalformedURLException

Throws:

java.net.MalformedURLException

setPosition

public void setPosition(CAstNode n,
                        int fl,
                        int fc,
                        int ll,
                        int lc,
                        java.net.URL url,
                        java.net.URL file)

setPosition

public void setPosition(CAstNode n,
                        int lineNumber,
                        java.lang.String url,
                        java.lang.String file)
                 throws java.net.MalformedURLException

Throws:

java.net.MalformedURLException

setPosition

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

addAll

public void addAll(CAstSourcePositionMap other)

positions

public java.util.SortedSet<CAstSourcePositionMap.Position> positions()

Description copied from interface: CAstSourcePositionMap

Returns an ordered set of all positions in this map.

Specified by:

positions in interface CAstSourcePositionMap