dk.brics.tajs.flowgraph

Class SourceLocation.SyntheticLocationMaker

java.lang.Object

dk.brics.tajs.flowgraph.SourceLocation.SourceLocationMaker

dk.brics.tajs.flowgraph.SourceLocation.SyntheticLocationMaker

Enclosing class:

SourceLocation

public static class SourceLocation.SyntheticLocationMaker
extends SourceLocation.SourceLocationMaker

Creates SourceLocations for synthetic locations. Mainly used for testing.

Constructor Summary

Constructors

Constructor and Description
SyntheticLocationMaker(java.lang.String name)

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

SyntheticLocationMaker

public SyntheticLocationMaker(java.lang.String name)

Parameters:

name - a descriptive name for the synthetic locations

Method Detail

make

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

Specified by:

make in class SourceLocation.SourceLocationMaker