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