ContractsUtils

Nested Classes
Modifier and Type	Class and Description
`static class`	`ContractsUtils.ConditionalPostcondition` Represents a conditional postcondition that must be verified by `BaseTypeVisitor` or one of its subclasses.
`static class`	`ContractsUtils.Contract` A contract represents an annotation on an expression, along with the kind: precondition, postcondition, or conditional postcondition.
`static class`	`ContractsUtils.Postcondition`
`static class`	`ContractsUtils.Precondition`

Fields
Modifier and Type	Field and Description
`protected GenericAnnotatedTypeFactory<?,?,?,?>`	`factory`
`protected static ContractsUtils`	`instance`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.util.Set<ContractsUtils.ConditionalPostcondition>`	`getConditionalPostconditions(javax.lang.model.element.ExecutableElement methodElement)` Returns a set of triples `(expr, (result, annotation))` of conditional postconditions on the method `methodElement`.
`java.util.List<ContractsUtils.Contract>`	`getContracts(javax.lang.model.element.ExecutableElement element)`
`static ContractsUtils`	`getInstance(GenericAnnotatedTypeFactory<?,?,?,?> factory)` Returns an instance of the `ContractsUtils` class.
`java.util.Set<ContractsUtils.Postcondition>`	`getPostconditions(javax.lang.model.element.ExecutableElement methodElement)` Returns the set of postconditions on the method `methodElement`.
`java.util.Set<ContractsUtils.Precondition>`	`getPreconditions(javax.lang.model.element.Element element)` Returns the set of preconditions on the element `element`.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

protected static ContractsUtils instance

protected GenericAnnotatedTypeFactory<?,?,?,?> factory

public static ContractsUtils getInstance(GenericAnnotatedTypeFactory<?,?,?,?> factory)

Returns an instance of the ContractsUtils class.

public java.util.List<ContractsUtils.Contract> getContracts(javax.lang.model.element.ExecutableElement element)

public java.util.Set<ContractsUtils.Precondition> getPreconditions(javax.lang.model.element.Element element)

Returns the set of preconditions on the element element.

public java.util.Set<ContractsUtils.Postcondition> getPostconditions(javax.lang.model.element.ExecutableElement methodElement)

Returns the set of postconditions on the method methodElement.

public java.util.Set<ContractsUtils.ConditionalPostcondition> getConditionalPostconditions(javax.lang.model.element.ExecutableElement methodElement)

Returns a set of triples (expr, (result, annotation)) of conditional postconditions on the method methodElement.

Class ContractsUtils