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

Interface FactoryMethod

All Known Implementing Classes:

BasicBlockExecutionSnippet, BasicBlockExecutionWithPreconditionSnippet, BasicDependsSnippet, BasicFreeInvSnippet, BasicFreePreSnippet, BasicLoopExecutionSnippet, BasicLoopExecutionWithInvariantSnippet, BasicLoopInvariantSnippet, BasicMbyAtPreDefSnippet, BasicModifiesSnippet, BasicParamsOkSnippet, BasicPostconditionSnippet, BasicPreconditionSnippet, BasicSelfCreatedSnippet, BasicSelfExactTypeSnippet, BasicSelfNotNullSnippet, BasicSymbolicExecutionSnippet, BasicSymbolicExecutionWithPreconditionSnippet, BlockCallPredicateSnippet, BlockCallWithPreconditionPredicateSnippet, LoopCallPredicateSnippet, LoopCallWithInvariantPredicateSnippet, MethodCallPredicateSnippet, TwoStateMethodPredicateSnippet

interface FactoryMethod

Author:

christoph

Method Summary

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

Method Detail

produce

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

Throws:

java.lang.UnsupportedOperationException