org.jmlspecs.jml4.rac.runtime
Class JMLNonExecutableUtil

java.lang.Object
  org.jmlspecs.jml4.rac.runtime.JMLNonExecutableUtil

public class JMLNonExecutableUtil
extends java.lang.Object

Constructor Summary

JMLNonExecutableUtil()

Method Summary

static boolean	throwNonExecExceptionForBoolean()
static byte	throwNonExecExceptionForByte()
static char	throwNonExecExceptionForChar()
static double	throwNonExecExceptionForDouble()
static float	throwNonExecExceptionForFloat()
static int	throwNonExecExceptionForInt()
static long	throwNonExecExceptionForLong()
static java.lang.Object	throwNonExecExceptionForObject()
static short	throwNonExecExceptionForShort()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JMLNonExecutableUtil

public JMLNonExecutableUtil()

Method Detail

throwNonExecExceptionForBoolean

public static boolean throwNonExecExceptionForBoolean()

throwNonExecExceptionForChar

public static char throwNonExecExceptionForChar()

throwNonExecExceptionForDouble

public static double throwNonExecExceptionForDouble()

throwNonExecExceptionForFloat

public static float throwNonExecExceptionForFloat()

throwNonExecExceptionForLong

public static long throwNonExecExceptionForLong()

throwNonExecExceptionForInt

public static int throwNonExecExceptionForInt()

throwNonExecExceptionForShort

public static short throwNonExecExceptionForShort()

throwNonExecExceptionForByte

public static byte throwNonExecExceptionForByte()

throwNonExecExceptionForObject

public static java.lang.Object throwNonExecExceptionForObject()