class MethodCallPredicateSnippet extends TwoStateMethodPredicateSnippet
Constructor and Description |
---|
MethodCallPredicateSnippet() |
Modifier and Type | Method and Description |
---|---|
protected Sort[] |
generateContApplArgumentSorts(ImmutableList<Term> termList,
IProgramMethod pm) |
(package private) String |
generatePredicateName(IProgramMethod pm,
StatementBlock block,
LoopInvariant loopInv) |
produce
String generatePredicateName(IProgramMethod pm, StatementBlock block, LoopInvariant loopInv)
generatePredicateName
in class TwoStateMethodPredicateSnippet
protected Sort[] generateContApplArgumentSorts(ImmutableList<Term> termList, IProgramMethod pm)
generateContApplArgumentSorts
in class TwoStateMethodPredicateSnippet