org.checkerframework.framework.util

Class ContractsUtils.Contract

java.lang.Object

org.checkerframework.framework.util.ContractsUtils.Contract

Direct Known Subclasses:

ContractsUtils.ConditionalPostcondition, ContractsUtils.Postcondition, ContractsUtils.Precondition

Enclosing class:

ContractsUtils

public abstract static class ContractsUtils.Contract
extends Object

A contract represents an annotation on an expression, along with the kind: precondition, postcondition, or conditional postcondition.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ContractsUtils.Contract.Kind

Field Summary

Fields

Modifier and Type	Field and Description
AnnotationMirror	annotation The annotation that must be on the type of expression as part of this contract.
String	expression The expression for which the condition must hold, such as "foo" in @RequiresNonNull("foo").
ContractsUtils.Contract.Kind	kind

Constructor Summary

Constructors

Constructor and Description
Contract(String expression, AnnotationMirror annotation, ContractsUtils.Contract.Kind kind)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

expression

public final String expression

The expression for which the condition must hold, such as "foo" in @RequiresNonNull("foo").

annotation

public final AnnotationMirror annotation

The annotation that must be on the type of expression as part of this contract.

kind

public final ContractsUtils.Contract.Kind kind

Constructor Detail

Contract

public Contract(String expression,
                AnnotationMirror annotation,
                ContractsUtils.Contract.Kind kind)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object