| java.lang.Object de.uka.ilkd.key.rule.inst.InstantiationEntry de.uka.ilkd.key.rule.inst.ProgramListInstantiation
ProgramListInstantiation | public class ProgramListInstantiation extends InstantiationEntry (Code) | | This class is used to store the instantiation of a schemavarible
if it is a ProgramElement.
|
ProgramListInstantiation | ProgramListInstantiation(SchemaVariable sv, ArrayOfProgramElement pes)(Code) | | creates a new ContextInstantiationEntry
Parameters: sv - the SchemaVariable that isinstantiated Parameters: pes - the ProgramElement array the SchemaVariable is instantiated with |
getInstantiation | public Object getInstantiation()(Code) | | returns the intantiation of the SchemaVariable
the intantiation of the SchemaVariable |
getProgramElements | public ArrayOfProgramElement getProgramElements()(Code) | | returns the ProgramElement the SchemaVariable is instantiated with
the ProgramElement the SchemaVariable is instantiated with |
|
|