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