de.uka.ilkd.key.rule.inst

Class ProgramListInstantiation

java.lang.Object

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

de.uka.ilkd.key.rule.inst.ProgramListInstantiation

public class ProgramListInstantiation
extends InstantiationEntry<ImmutableArray<ProgramElement>>

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

Constructor Summary

Constructors

Constructor and Description
ProgramListInstantiation(ImmutableArray<ProgramElement> pes) 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

ProgramListInstantiation

ProgramListInstantiation(ImmutableArray<ProgramElement> pes)

creates a new ContextInstantiationEntry

Parameters:

pes - the ProgramElement array the SchemaVariable is instantiated with