public void AddStringAlt(int tag) { // TODO: If we ever implement this, we need to do the following: //IncrementPropCount(tag); throw new NotImplementedException("AddStringAlt is not yet implemented in CollectorEnv"); }