Skip to main content

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)
     ;