We need a general strategy for handling errors in the input codecs -- in particular: (a) parsing errors; (b) application of Holesem/MRS input codecs to non-nets. Presumably the best way would be to throw an exception that is caught in utool.cc.
Logged In: YES user_id=1074139
Allow input codecs to throw three exceptions: - FileNotFoundException(filename) - ParseErrorException(flex/bison error message) - CannotConvertException(bitstring of violated conditions)
Log in to post a comment.
Logged In: YES
user_id=1074139
Allow input codecs to throw three exceptions:
- FileNotFoundException(filename)
- ParseErrorException(flex/bison error message)
- CannotConvertException(bitstring of violated conditions)