public class InvalidVarNameException extends InvalidTermException
Var
line, pos
InvalidVarNameException(java.lang.String message)
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public InvalidVarNameException(java.lang.String message)