*/
protected final RTValue unhandledSwitchIndex (ErrorInfo errorInfo, String dcName) throws CALExecutorException {
String errorMessage = "Unhandled case for " + dcName + " in " + getQualifiedName() + ".";
CALExecutorException e = new CALExecutorException.ExternalException.PatternMatchFailure(errorInfo, errorMessage, null);
if (System.getProperty(LECCMachineConfiguration.DEBUG_INFO_PROP) != null) {
e.printStackTrace();
}
throw e;
}
/**