[This is preliminary documentation and is subject to change.]
Gets the ProductionToken at a particular index in this
ProductionToken's tokens collection.
| C# |
public ProductionToken ProdToken( int index )
- index (Int32)
- The index containing the ProductionToken.
The indexed ProductionToken.
| Exception | Condition |
|---|---|
| InvalidOperationException | If the Token at the given index
is not a ProductionToken. |