org.checkerframework.framework.util

Class ContractsUtils.Postcondition

java.lang.Object

org.checkerframework.framework.util.ContractsUtils.Contract

org.checkerframework.framework.util.ContractsUtils.Postcondition

Enclosing class:

ContractsUtils

public static class ContractsUtils.Postcondition
extends ContractsUtils.Contract

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.util.ContractsUtils.Contract

ContractsUtils.Contract.Kind

Field Summary

Fields inherited from class org.checkerframework.framework.util.ContractsUtils.Contract

annotation, expression, kind

Constructor Summary

Constructors

Constructor and Description
Postcondition(java.lang.String expression, javax.lang.model.element.AnnotationMirror annotation)

Method Summary

Methods inherited from class org.checkerframework.framework.util.ContractsUtils.Contract

equals, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

Postcondition

public Postcondition(java.lang.String expression,
                     javax.lang.model.element.AnnotationMirror annotation)