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

Interface BasicPOSnippetFactory

All Known Implementing Classes:

BasicPOSnippetFactoryImpl

public interface BasicPOSnippetFactory

Author:

christoph

Nested Class Summary

Nested Classes

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

Method Summary

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

Method Detail

create

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

Throws:

java.lang.UnsupportedOperationException