public class LoopInvariant
extends Assertion
A loop-invariant assertion that must hold at the start of each iteration.
| Modifiers | Name | Description |
|---|---|---|
static LoopInvariant |
DEFAULT |
| Constructor and description |
|---|
LoopInvariant() |
LoopInvariant(BlockStatement blockStatement, BooleanExpression booleanExpression) |
| Methods inherited from class | Name |
|---|---|
class Assertion |
and, booleanExpression, or, originalBlockStatement, renew |
Copyright © 2003-2026 The Apache Software Foundation. All rights reserved.