Examples with Postcondition org.checkerframework.framework.util.ContractsUtils.Postcondition used on opensource projects

Example 1 with Postcondition

use of org.checkerframework.framework.util.ContractsUtils.Postcondition in project checker-framework by typetools.

the class CFAbstractTransfer method processPostconditions.

/**
 * Add information based on all postconditions of method {@code n} with tree {@code tree} and
 * element {@code method} to the store {@code store}.
 */
protected void processPostconditions(MethodInvocationNode n, S store, ExecutableElement methodElement, Tree tree) {
    ContractsUtils contracts = ContractsUtils.getInstance(analysis.atypeFactory);
    Set<Postcondition> postconditions = contracts.getPostconditions(methodElement);
    processPostconditionsAndConditionalPostconditions(n, tree, store, null, postconditions);
}