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

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

Class CAstSourcePositionRecorder

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.cast.tree.CAstSourcePositionMap

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

CAstSourcePositionRecorder

Method Detail

getPosition

getMappedNodes

setPosition

setPosition

setPosition

setPosition

setPosition

addAll