public class ProgramInstantiation extends InstantiationEntry<ProgramElement>
Constructor and Description |
---|
ProgramInstantiation(ProgramElement pe)
creates a new ContextInstantiationEntry
|
equals, getInstantiation, hashCode, toString
ProgramInstantiation(ProgramElement pe)
pe
- the ProgramElement the SchemaVariable is instantiated with