dk.brics.tajs.flowgraph

Class SourceLocation.DynamicLocationMaker

java.lang.Object

dk.brics.tajs.flowgraph.SourceLocation.SourceLocationMaker

dk.brics.tajs.flowgraph.SourceLocation.DynamicLocationMaker

Enclosing class:

SourceLocation

public static class SourceLocation.DynamicLocationMaker
extends SourceLocation.SourceLocationMaker

Creates SourceLocations that are created dynamically, through `eval` and related functions.

Constructor Summary

Constructors

Constructor and Description
DynamicLocationMaker(SourceLocation loaderLocation)

Method Summary

Modifier and Type	Method and Description
SourceLocation	make(int lineNumber, int columnNumber, int endLineNumber, int endColumnNumber)

Methods inherited from class dk.brics.tajs.flowgraph.SourceLocation.SourceLocationMaker

makeCanonical, makeUnspecifiedPosition

Methods inherited from class java.lang.Object

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

Constructor Detail

DynamicLocationMaker

public DynamicLocationMaker(SourceLocation loaderLocation)

Parameters:

loaderLocation - as the location where the source code is created and loaded dynamically.

Method Detail

make

public SourceLocation make(int lineNumber,
                           int columnNumber,
                           int endLineNumber,
                           int endColumnNumber)

Specified by:

make in class SourceLocation.SourceLocationMaker