dk.brics.tajs.flowgraph

Class SourceLocation.CustomStaticLocationMaker

java.lang.Object

dk.brics.tajs.flowgraph.SourceLocation.SourceLocationMaker

dk.brics.tajs.flowgraph.SourceLocation.CustomStaticLocationMaker

Enclosing class:

SourceLocation

public static class SourceLocation.CustomStaticLocationMaker
extends SourceLocation.SourceLocationMaker

As SourceLocation.StaticLocationMaker, but with a custom name.

Constructor Summary

Constructors

Constructor and Description
CustomStaticLocationMaker(java.lang.String customName, 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

CustomStaticLocationMaker

public CustomStaticLocationMaker(java.lang.String customName,
                                 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