module analysis::typepal::Exception
rascal-0.34.0
typepal-0.8.10
Usage
import analysis::typepal::Exception;
Source code
http://github.com/usethesource/typepal/src/analysis/typepal/Exception.rsc
Dependencies
extend analysis::typepal::FailMessage;
data RuntimeException
data RuntimeException
= TypePalUsage(str reason)
| TypePalUsage(str reason, list[loc] details)
| TypePalInternalError(str reason)
| TypeUnavailable()
| checkFailed(list[FailMessage] msgs)
;
data Exception
data Exception
= NoBinding()
| AmbiguousDefinition(set[loc] definitions)
;