ch.ethz.mxquery.util
Class Location

java.lang.Object
  ch.ethz.mxquery.util.Location

public class Location
extends java.lang.Object

Constructor Summary

Location()

Method Summary

boolean	addString(java.lang.String str)
Location	copy()
int	getNestingLevel()
java.lang.String	getString()
void	popLast()

Methods inherited from class java.lang.Object

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

Constructor Detail

Location

public Location()

Method Detail

addString

public boolean addString(java.lang.String str)

getString

public java.lang.String getString()

getNestingLevel

public int getNestingLevel()

popLast

public void popLast()

copy

public Location copy()