Searched defs:origOp (Results 1 – 1 of 1) sorted by relevance
6411 final HistoricalOp origOp = other.getOpAt(i); in AttributedHistoricalOps() local6734 final AttributedOpEntry origOp = other.getDiscreteAccessAt(i); in HistoricalOp() local