Docs4dev
Docs
groovy / 4.0 / org / apache / groovy / contracts / domain / precondition.html

[Java] Class Precondition

  • org.apache.groovy.contracts.domain.Precondition
public class Precondition
extends Assertion

A pre-condition assertion.

Constructor Summary

Constructors
Constructor and description
Precondition()
Precondition(BlockStatement blockStatement, BooleanExpression booleanExpression)

Inherited Methods Summary

Inherited Methods
Methods inherited from class Name
class Assertion and, booleanExpression, or, originalBlockStatement, renew

Constructor Detail

public Precondition()

public Precondition(BlockStatement blockStatement, BooleanExpression booleanExpression)

© 2003-2022 The Apache Software Foundation
Licensed under the Apache license.
https://docs.groovy-lang.org/4.0.0/html/gapi/org/apache/groovy/contracts/domain/Precondition.html