A C D E G H I P R S T U

A

AllowUnusedImport - Annotation Type in com.google.java.contract

References a class so it is considered used by import statement cleaning tools.

C

com.google.java.contract - package com.google.java.contract

configure(ContractEnvironment) - Method in interface com.google.java.contract.ContractEnvironmentConfigurator

Configures the contract environment.

ContractAssertionError - Error in com.google.java.contract

Base class for contract assertion errors.

ContractAssertionError(String) - Constructor for error com.google.java.contract.ContractAssertionError

Constructs a new ContractAssertionError.

ContractAssertionError(String, Throwable) - Constructor for error com.google.java.contract.ContractAssertionError

Constructs a new ContractAssertionError.

ContractAssertionError(String, ContractAssertionError) - Constructor for error com.google.java.contract.ContractAssertionError

Constructs a new ContractAssertionError.

ContractAssertionError(String, ContractAssertionError, Throwable) - Constructor for error com.google.java.contract.ContractAssertionError

Constructs a new ContractAssertionError.

ContractEnvironment - Interface in com.google.java.contract

An object that exposes methods to alter the contracting environment.

ContractEnvironmentConfigurator - Interface in com.google.java.contract

An object that can be called by Contracts for Java to configure the contract environment.

D

disableInvariants(String) - Method in interface com.google.java.contract.ContractEnvironment

Disables invariant checking for classes matched by pattern pattern.

disablePostconditions(String) - Method in interface com.google.java.contract.ContractEnvironment

Disables postcondition checking for classes matched by pattern pattern.

disablePreconditions(String) - Method in interface com.google.java.contract.ContractEnvironment

Disables precondition checking for classes matched by pattern pattern.

E

enableInvariants(String) - Method in interface com.google.java.contract.ContractEnvironment

Enables invariant checking for classes matched by pattern pattern.

enablePostconditions(String) - Method in interface com.google.java.contract.ContractEnvironment

Enables postcondition checking for classes matched by pattern pattern.

enablePreconditions(String) - Method in interface com.google.java.contract.ContractEnvironment

Enables precondition checking for classes matched by pattern pattern.

Ensures - Annotation Type in com.google.java.contract

Specifies postconditions that apply to the annotated method.

G

getMessages() - Method in error com.google.java.contract.ContractAssertionError

getMethodName(String) - Method in error com.google.java.contract.ContractAssertionError

Returns the method name to show in the stack trace instead of the generated method name for the contract.

getMethodName(String) - Method in error com.google.java.contract.InvariantError

getMethodName(String) - Method in error com.google.java.contract.PostconditionError

getMethodName(String) - Method in error com.google.java.contract.PreconditionError

H

hasInvariantsEnabled(Class<?>) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if clazz has invariants enabled.

hasInvariantsEnabled(String) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if all classes matched by pattern have invariants enabled.

hasPostconditionsEnabled(Class<?>) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if clazz has postconditions enabled.

hasPostconditionsEnabled(String) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if all classes matched by pattern have postconditions enabled.

hasPreconditionsEnabled(Class<?>) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if clazz has preconditions enabled.

hasPreconditionsEnabled(String) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if all classes matched by pattern have preconditions enabled.

I

ignore(String) - Method in interface com.google.java.contract.ContractEnvironment

Ignores classes matched by pattern.

Invariant - Annotation Type in com.google.java.contract

Specifies class invariants that apply to the annotated type.

InvariantError - Error in com.google.java.contract

An exception thrown when a class invariant is violated.

InvariantError(String) - Constructor for error com.google.java.contract.InvariantError

Constructs a new InvariantError.

InvariantError(String, Throwable) - Constructor for error com.google.java.contract.InvariantError

Constructs a new InvariantError.

isIgnored(String) - Method in interface com.google.java.contract.ContractEnvironment

Returns true if all classes matched by pattern are ignored.

P

PostconditionError - Error in com.google.java.contract

An exception thrown when a postcondition is violated.

PostconditionError(String) - Constructor for error com.google.java.contract.PostconditionError

Constructs a new PostconditionError.

PostconditionError(String, Throwable) - Constructor for error com.google.java.contract.PostconditionError

Constructs a new PostconditionError.

PreconditionError - Error in com.google.java.contract

An exception thrown when a precondition is violated.

PreconditionError(String, PreconditionError) - Constructor for error com.google.java.contract.PreconditionError

Constructs a new PreconditionError.

PreconditionError(String, PreconditionError, Throwable) - Constructor for error com.google.java.contract.PreconditionError

Constructs a new PreconditionError.

R

Requires - Annotation Type in com.google.java.contract

Specifies preconditions that apply to the annotated method.

S

SpecificationError - Error in com.google.java.contract

An error in contract annotation usage.

SpecificationError(String) - Constructor for error com.google.java.contract.SpecificationError

Constructs a new SpecificationError.

T

ThrowEnsures - Annotation Type in com.google.java.contract

Specifies exceptional postconditions that apply to the annotated method.

U

unignore(String) - Method in interface com.google.java.contract.ContractEnvironment

Unignore classes matched by pattern.

A C D E G H I P R S T U