Base class for HfstExceptions. More...
Base class for HfstExceptions.
Holds its own name and the file and line number where it was thrown.