/* * Retrieves the position of this value in the serialization. */ public Integer get(Value value) { Integer index = _varMap.get(value); if (index == null && value instanceof Var) { return(_varMap.get(value.toValue())); } return(index); }
public Value getCopy(Value value) { return(_copyMap.get(value)); }