Examples of com.google.java.contract.ContractEnvironment

com.google.java.contract.ContractEnvironment

An object that exposes methods to alter the contracting environment. Any changes made to the environment are only guaranteed to take effect on future actions; for example, disabling contracts on an already loaded class has no effect.

Methods that match multiple classes accept patterns. Patterns are semi-qualified names (nested classes have their names flattened), optionally followed by {@code .*}. A normal pattern matches itself exactly. A star pattern matches any class whose name begins with the pattern minus the terminating {@code .*}. In case of pattern overlap, subsequent rules override previous ones. @author nhat.minh.le@huoc.org (Nhat Minh Lê)

  private static class G implements I {
  }


  @Override
  protected void setUp() {
    ContractEnvironment env = Cofoja.contractEnv;


    env.disablePreconditions("com.google.java.contract.tests.SelectiveContractsTest$A");
    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.*");
    env.enableInvariants("com.google.java.contract.tests.selective.a.x.X1");
  }

Examples of com.google.java.contract.ContractEnvironment

Related Classes of com.google.java.contract.ContractEnvironment