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

Interface InfFlowFactoryMethod

All Known Implementing Classes:

InfFlowContractAppInOutRelationSnippet, InfFlowContractAppSnippet, InfFlowInputOutputRelationSnippet, InfFlowLoopInvAppSnippet, SelfcomposedBlockSnippet, SelfcomposedExecutionSnippet, SelfcomposedLoopSnippet

interface InfFlowFactoryMethod

Author:

christoph

Method Summary

Modifier and Type	Method and Description
Term	produce(BasicSnippetData d, ProofObligationVars poVars1, ProofObligationVars poVars2)

Method Detail

produce

Term produce(BasicSnippetData d,
             ProofObligationVars poVars1,
             ProofObligationVars poVars2)
      throws java.lang.UnsupportedOperationException

Throws:

java.lang.UnsupportedOperationException