Postcondition (Groovy 5.0.8)
Description: declaration: package: org.apache.groovy.contracts.domain, class: Postcondition

Package org.apache.groovy.contracts.domain

# Class Postcondition

java.lang.Object
org.apache.groovy.contracts.domain.Assertion<Postcondition>
org.apache.groovy.contracts.domain.Postcondition

public class Postcondition extends Assertion<Postcondition>

A post-condition assertion.

- ## Constructor Summary

  Constructors
  Constructor
  Description
  `Postcondition()`
  `Postcondition(BlockStatement blockStatement, BooleanExpression booleanExpression, boolean isPartOfConstructor)`

- ## Method Summary

  Modifier and Type
  Method
  Description
  `boolean`
  `isPartOfConstructor()`

  ### Methods inherited from class org.apache.groovy.contracts.domain.Assertion

  `and, booleanExpression, or, originalBlockStatement, renew`

  ### Methods inherited from class java.lang.Object

  `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- ## Constructor Details

  - ### Postcondition

    public Postcondition()

  - ### Postcondition

    public Postcondition(BlockStatement blockStatement, BooleanExpression booleanExpression, boolean isPartOfConstructor)

- ## Method Details

  - ### isPartOfConstructor

    public boolean isPartOfConstructor()