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

Interface InfFlowPOSnippetFactory

All Known Implementing Classes:

InfFlowPOSnippetFactoryImpl

public interface InfFlowPOSnippetFactory

Author:

christoph

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	InfFlowPOSnippetFactory.Snippet The snippets which can be produced by this factory.

Method Summary

Modifier and Type	Method and Description
Term	create(InfFlowPOSnippetFactory.Snippet snippet)

Method Detail

create

Term create(InfFlowPOSnippetFactory.Snippet snippet)
     throws java.lang.UnsupportedOperationException

Throws:

java.lang.UnsupportedOperationException