Examples of com.google.java.contract.ContractEnvironment.ignore()

Class com.google.java.contract.ContractEnvironment

Examples of com.google.java.contract.ContractEnvironment.ignore()

com.google.java.contract.ContractEnvironment.ignore()
Ignores classes matched by {@code pattern}. Ignored classes are not touched by Contracts for Java in any way: they are neither loaded nor examined for contracts.
If you are looking for a method to disable contracts, this is not the right method; use methods such as {@link #disableInvariants(String)} instead.
By default, the following classes are ignored:
- {@code java.*}
- {@code javax.*}
- {@code com.sun.*}
- {@code sun.*}

    env.disablePostconditions("com.google.java.contract.tests.SelectiveContractsTest$B");
    env.disableInvariants("com.google.java.contract.tests.SelectiveContractsTest$C");
    env.disablePreconditions("com.google.java.contract.tests.SelectiveContractsTest$D");
    env.disableInvariants("com.google.java.contract.tests.SelectiveContractsTest$E");


    env.ignore("com.google.java.contract.tests.SelectiveContractsTest$F");
    env.ignore("com.google.java.contract.tests.SelectiveContractsTest$G");


    env.disableInvariants("com.google.java.contract.tests.selective.a.*");
    env.disableInvariants("com.google.java.contract.tests.selective.b.*");
    env.enableInvariants("com.google.java.contract.tests.selective.b.y.*");

View Full Code Here

    env.disableInvariants("com.google.java.contract.tests.SelectiveContractsTest$C");
    env.disablePreconditions("com.google.java.contract.tests.SelectiveContractsTest$D");
    env.disableInvariants("com.google.java.contract.tests.SelectiveContractsTest$E");


    env.ignore("com.google.java.contract.tests.SelectiveContractsTest$F");
    env.ignore("com.google.java.contract.tests.SelectiveContractsTest$G");


    env.disableInvariants("com.google.java.contract.tests.selective.a.*");
    env.disableInvariants("com.google.java.contract.tests.selective.b.*");
    env.enableInvariants("com.google.java.contract.tests.selective.b.y.*");
    env.enableInvariants("com.google.java.contract.tests.selective.a.x.X1");

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.