de.uka.ilkd.key.rule.inst

Class ProgramInstantiation

java.lang.Object

de.uka.ilkd.key.rule.inst.InstantiationEntry<ProgramElement>

de.uka.ilkd.key.rule.inst.ProgramInstantiation

public class ProgramInstantiation
extends InstantiationEntry<ProgramElement>

This class is used to store the instantiation of a schemavarible if it is a ProgramElement.

Constructor Summary

Constructors

Constructor and Description
ProgramInstantiation(ProgramElement pe) creates a new ContextInstantiationEntry

Method Summary

Methods inherited from class de.uka.ilkd.key.rule.inst.InstantiationEntry

equals, getInstantiation, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ProgramInstantiation

ProgramInstantiation(ProgramElement pe)

creates a new ContextInstantiationEntry

Parameters:

pe - the ProgramElement the SchemaVariable is instantiated with