Skip to main content

module analysis::typepal::Exception

rascal-0.42.0
org.rascalmpl.typepal-0.16.7

Usage​

import analysis::typepal::Exception;

Dependencies​

extend analysis::typepal::FailMessage;

data RuntimeException​

data RuntimeException  
     = TypePalUsage(str msg)
     | TypePalUsage(str msg, list[loc] details)
     | TypePalInternalError(str msg)
     | TypeUnavailable()
     | checkFailed(list[FailMessage] msgs)
     | wrongTplVersion(str msg)
     ;

data Exception​

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