Pegasus::Error::PdaException
Inherits Pegasus::Error::PegasusException / Exception / Reference / Object
An exception used to signify that an error occured while creating Push Down Automata.
Instance methods
get_location_name
Get the "location" of the error, which is used to report to the user when in the process the error occured.