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

Class BasicSelfCreatedSnippet

java.lang.Object

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

All Implemented Interfaces:

FactoryMethod

class BasicSelfCreatedSnippet
extends java.lang.Object
implements FactoryMethod

Generate term "self.created".

Author:

christoph

Constructor Summary

Constructors

Constructor and Description
BasicSelfCreatedSnippet()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicSelfCreatedSnippet

BasicSelfCreatedSnippet()

Method Detail

produce

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

Specified by:

produce in interface FactoryMethod

Throws:

java.lang.UnsupportedOperationException