gov.nasa.jpf.util

Class LocationSpec

java.lang.Object

gov.nasa.jpf.util.LocationSpec

public class LocationSpec
extends java.lang.Object

support for specification of source locations This maps sourcefile:line1-range strings into instructions that can be efficiently checked for by listeners. Example formats are: X.java (the whole of file X.java) MyClass.java:42 (file MyClass.java, line1 42) FooBar.java:42-48 (file FooBar.java, lines 42 to 48) FooBar.java:42+3 (range of lines from 42 to 45) x/y/z/whatever:42+ (file with pathname x/y/z/whatever, lines 42 to end) NOTE path names are given in Unix notation, to avoid the usual Java string quoting problem with backslashes

Field Summary

Fields

Modifier and Type	Field and Description
static int	ANYLINE
protected StringMatcher	fileSpec
protected int	fromLine
protected StringMatcher	pathSpec
protected int	toLine

Constructor Summary

Constructors

Constructor and Description
LocationSpec(java.lang.String pspec, java.lang.String fspec, int line1, int line2)

Method Summary

Modifier and Type	Method and Description
static LocationSpec	createLocationSpec(java.lang.String s) factory method that includes the parser
int	getFromLine()
int	getLine()
int	getToLine()
boolean	includesLine(int line)
boolean	isAnyLine()
boolean	isLineInterval()
boolean	matchesFile(java.io.File f)
boolean	matchesFile(java.lang.String pathName) 'pathName' has to use '/' as separators
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

ANYLINE

public static final int ANYLINE

See Also:

Constant Field Values

pathSpec

protected StringMatcher pathSpec

fileSpec

protected StringMatcher fileSpec

fromLine

protected int fromLine

toLine

protected int toLine

Constructor Detail

LocationSpec

public LocationSpec(java.lang.String pspec,
                    java.lang.String fspec,
                    int line1,
                    int line2)

Method Detail

createLocationSpec

public static LocationSpec createLocationSpec(java.lang.String s)

factory method that includes the parser

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

matchesFile

public boolean matchesFile(java.io.File f)

isAnyLine

public boolean isAnyLine()

isLineInterval

public boolean isLineInterval()

getLine

public int getLine()

getFromLine

public int getFromLine()

getToLine

public int getToLine()

matchesFile

public boolean matchesFile(java.lang.String pathName)

'pathName' has to use '/' as separators

includesLine

public boolean includesLine(int line)