org.activemath.omdocjdom
Class OJSAXBuilder.LocationInfo

java.lang.Object
  org.activemath.omdocjdom.OJSAXBuilder.LocationInfo

Enclosing class:

OJSAXBuilder

public static class OJSAXBuilder.LocationInfo
extends Object

A simple record-like class to be used as part of the info OJElement.setInfo(java.lang.Object).

Constructor Summary

OJSAXBuilder.LocationInfo(Locator locator)

OJSAXBuilder.LocationInfo(String systemId, int lineNum, int colNum)

Method Summary

int	getColumnNumber()
int	getLineNumber()
String	getSystemId()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

OJSAXBuilder.LocationInfo

public OJSAXBuilder.LocationInfo(Locator locator)

OJSAXBuilder.LocationInfo

public OJSAXBuilder.LocationInfo(String systemId,
                                 int lineNum,
                                 int colNum)

Method Detail

getSystemId

public String getSystemId()

getColumnNumber

public int getColumnNumber()

getLineNumber

public int getLineNumber()

toString

public String toString()

Overrides:

toString in class Object