public class ContractsUtils
extends java.lang.Object
PreconditionAnnotation
,
RequiresQualifier
,
PostconditionAnnotation
,
EnsuresQualifier
,
EnsuresQualifierIf
Modifier and Type | Field and Description |
---|---|
protected GenericAnnotatedTypeFactory<?,?,?,?> |
factory |
protected static ContractsUtils |
instance |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Pair<java.lang.String,Pair<java.lang.Boolean,java.lang.String>>> |
getConditionalPostconditions(javax.lang.model.element.ExecutableElement methodElement)
Returns a set of triples
(expr, (result, annotation)) of
conditional postconditions on the method methodElement . |
static ContractsUtils |
getInstance(GenericAnnotatedTypeFactory<?,?,?,?> factory)
Returns an instance of the
ContractsUtils class. |
java.util.Set<Pair<java.lang.String,java.lang.String>> |
getPostconditions(javax.lang.model.element.ExecutableElement methodElement)
Returns a set of pairs
(expr, annotation) of postconditions on
the method methodElement . |
java.util.Set<Pair<java.lang.String,java.lang.String>> |
getPreconditions(javax.lang.model.element.ExecutableElement methodElement)
Returns a set of pairs
(expr, annotation) of preconditions on the
method methodElement . |
protected static ContractsUtils instance
protected GenericAnnotatedTypeFactory<?,?,?,?> factory
public static ContractsUtils getInstance(GenericAnnotatedTypeFactory<?,?,?,?> factory)
ContractsUtils
class.public java.util.Set<Pair<java.lang.String,java.lang.String>> getPreconditions(javax.lang.model.element.ExecutableElement methodElement)
(expr, annotation)
of preconditions on the
method methodElement
.public java.util.Set<Pair<java.lang.String,java.lang.String>> getPostconditions(javax.lang.model.element.ExecutableElement methodElement)
(expr, annotation)
of postconditions on
the method methodElement
.public java.util.Set<Pair<java.lang.String,Pair<java.lang.Boolean,java.lang.String>>> getConditionalPostconditions(javax.lang.model.element.ExecutableElement methodElement)
(expr, (result, annotation))
of
conditional postconditions on the method methodElement
.