Class ModuleNotDefined
Exception thrown when a requested module is not defined.
- Exception
- RuntimeException
- ICanBoogie\ModuleNotDefined
Methods summary
public
|
|
public
|
Methods inherited from Exception
__toString()
,
getCode()
,
getFile()
,
getLine()
,
getMessage()
,
getPrevious()
,
getTrace()
,
getTraceAsString()
Magic methods summary
Properties summary
Properties inherited from Exception
Magic properties
public read-only
string
|
$module_id |
|
#
The identifier of the module that is not defined. |