de.uka.ilkd.key.informationflow.po.snippet

Class LoopCallPredicateSnippet

java.lang.Object

de.uka.ilkd.key.informationflow.po.snippet.TwoStateMethodPredicateSnippet

de.uka.ilkd.key.informationflow.po.snippet.LoopCallPredicateSnippet

All Implemented Interfaces:

FactoryMethod

public class LoopCallPredicateSnippet
extends TwoStateMethodPredicateSnippet

Constructor Summary

Constructors

Constructor and Description
LoopCallPredicateSnippet()

Method Summary

Modifier and Type	Method and Description
(package private) java.lang.String	generatePredicateName(IProgramMethod pm, StatementBlock block, LoopSpecification loopInv)

Methods inherited from class de.uka.ilkd.key.informationflow.po.snippet.TwoStateMethodPredicateSnippet

generateContApplArgumentSorts, produce

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LoopCallPredicateSnippet

public LoopCallPredicateSnippet()

Method Detail

generatePredicateName

java.lang.String generatePredicateName(IProgramMethod pm,
                                       StatementBlock block,
                                       LoopSpecification loopInv)

Specified by:

generatePredicateName in class TwoStateMethodPredicateSnippet