uppaal-to-tchecker/src/exceptions.js

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

/**
 * Exception classes for the translator
 */

class UTOTException extends Error {
    constructor(message) {
        super(message);
        this.name = 'UTOTException';
    }
}

class TranslationException extends UTOTException {
    constructor(message) {
        super(message);
        this.name = 'TranslationException';
    }
}

class ParserException extends UTOTException {
    constructor(message) {
        super(message);
        this.name = 'ParserException';
    }
}

class CommandLineException extends UTOTException {
    constructor(message) {
        super(message);
        this.name = 'CommandLineException';
    }
}

module.exports = {
    UTOTException,
    TranslationException,
    ParserException,
    CommandLineException
};