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

Constructor Summary

CAstSourcePositionRecorder()

Method Summary

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.
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)