org.walkmod.javalang.compiler

Class JavaLangCompilerContracts

java.lang.Object

org.walkmod.javalang.compiler.JavaLangCompilerContracts

public final class JavaLangCompilerContracts
extends Object

Global contract related definitions.

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	CHECK_EXPERIMENTAL_INVARIANT_ENABLED invariants that are not ready for general use
static boolean	CHECK_INVARIANT_ENABLED invariant checking maybe expensive so it's not enabled per default

Constructor Summary

Constructors

Constructor and Description
JavaLangCompilerContracts()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

CHECK_INVARIANT_ENABLED

public static final boolean CHECK_INVARIANT_ENABLED

invariant checking maybe expensive so it's not enabled per default

See Also:

Constant Field Values

CHECK_EXPERIMENTAL_INVARIANT_ENABLED

public static final boolean CHECK_EXPERIMENTAL_INVARIANT_ENABLED

invariants that are not ready for general use

See Also:

Constant Field Values

Constructor Detail

JavaLangCompilerContracts

public JavaLangCompilerContracts()