class BlockCallWithPreconditionPredicateSnippet extends TwoStateMethodPredicateSnippet
Constructor and Description |
---|
BlockCallWithPreconditionPredicateSnippet() |
Modifier and Type | Method and Description |
---|---|
(package private) String |
generatePredicateName(IProgramMethod pm,
StatementBlock block,
LoopInvariant loopInv) |
generateContApplArgumentSorts, produce
BlockCallWithPreconditionPredicateSnippet()
String generatePredicateName(IProgramMethod pm, StatementBlock block, LoopInvariant loopInv)
generatePredicateName
in class TwoStateMethodPredicateSnippet