All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.walkmod.javalang.compiler.JavaLangCompilerContracts Maven / Gradle / Ivy

There is a newer version: 2.3.10
Show newest version
package org.walkmod.javalang.compiler;

/**
 * Global contract related definitions.
 */
public final class JavaLangCompilerContracts {
    /** invariant checking maybe expensive so it's not enabled per default */
    public static final boolean CHECK_INVARIANT_ENABLED = false;

    /** invariants that are not ready for general use  */
    public static final boolean CHECK_EXPERIMENTAL_INVARIANT_ENABLED = false;
}
                                       




© 2015 - 2025 Weber Informatics LLC | Privacy Policy