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