void CheckVmWithoutError()
{
if (this.userDefinedPrimitiveError != null) {
throw new ShovelException( "An exception has been thrown in a user-defined primitive.", this.userDefinedPrimitiveError );
}
if (this.programmingError != null) {
throw new ShovelException( "An exception has occurred in the Shovel program.", this.programmingError );
}
}