maj.error
Class MajParsingError

java.lang.Object
  maj.error.MajParsingError

public class MajParsingError

extends java.lang.Object

Constructor Summary

MajParsingError(int pos, java.lang.String type, java.lang.String msg)

Method Summary

java.lang.String	getMsg()
int	getPos()
java.lang.String	getType()

Methods inherited from class java.lang.Object

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

Constructor Detail

MajParsingError

public MajParsingError(int pos,
                       java.lang.String type,
                       java.lang.String msg)

Method Detail

getPos

public int getPos()

getMsg

public java.lang.String getMsg()

getType

public java.lang.String getType()