dk.brics.tajs.flowgraph

Class SourceLocation.StaticLocationMaker

java.lang.Object

dk.brics.tajs.flowgraph.SourceLocation.SourceLocationMaker

dk.brics.tajs.flowgraph.SourceLocation.StaticLocationMaker

Enclosing class:

SourceLocation

public static class SourceLocation.StaticLocationMaker
extends SourceLocation.SourceLocationMaker

Creates SourceLocations that exist in static source files.

Constructor Summary

Constructors

Constructor and Description
StaticLocationMaker(java.net.URL location)

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

StaticLocationMaker

public StaticLocationMaker(java.net.URL location)

Parameters:

location - as the location of the static source file.

Method Detail

make

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

Specified by:

make in class SourceLocation.SourceLocationMaker