Skip to main content

module analysis::typepal::Exception

rascal-0.41.2
org.rascalmpl.typepal-0.15.5

Usage​

import analysis::typepal::Exception;

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)
     | wrongTplVersion(str reason)
     ;

data Exception​

data Exception  
     = NoBinding()
     | AmbiguousDefinition(set[loc] definitions)
     ;