de.uka.ilkd.key.rule.inst

Class ListInstantiation

java.lang.Object

de.uka.ilkd.key.rule.inst.InstantiationEntry<ImmutableList<java.lang.Object>>

de.uka.ilkd.key.rule.inst.ListInstantiation

public class ListInstantiation
extends InstantiationEntry<ImmutableList<java.lang.Object>>

Constructor Summary

Constructors

Constructor and Description
ListInstantiation(SchemaVariable sv, ImmutableList<java.lang.Object> 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

ListInstantiation

ListInstantiation(SchemaVariable sv,
                  ImmutableList<java.lang.Object> pes)

creates a new ContextInstantiationEntry

Parameters:

sv - the SchemaVariable that is instantiated

pes - the List the SchemaVariable is instantiated with