de.uka.ilkd.key.strategy.termProjection

Class TermBuffer

java.lang.Object

de.uka.ilkd.key.strategy.termProjection.TermBuffer

All Implemented Interfaces:

ProjectionToTerm

public class TermBuffer
extends java.lang.Object
implements ProjectionToTerm

Projection that can store and returns an arbitrary term or formula. Objects of this class are mainly used like bound variables and together with features like LetFeature and ForEachCP.

Field Summary

Fields

Modifier and Type	Field and Description
private Term	t

Constructor Summary

Constructors

Constructor and Description
TermBuffer()

Method Summary

Modifier and Type	Method and Description
Term	getContent()
void	setContent(Term t)
Term	toTerm(RuleApp app, PosInOccurrence pos, Goal goal)

Methods inherited from class java.lang.Object

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

Field Detail

t

private Term t

Constructor Detail

TermBuffer

public TermBuffer()

Method Detail

getContent

public Term getContent()

setContent

public void setContent(Term t)

toTerm

public Term toTerm(RuleApp app,
                   PosInOccurrence pos,
                   Goal goal)

Specified by:

toTerm in interface ProjectionToTerm