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