OriginalCompleteBefore

OriginalCompleteAfter

Before

After

Project

Commit

CompilationUnit

LineNos

Names

TemplateVariableToCodeBefore

RelevantImports

TemplateVariableToCodeAfter

isRelevant

isSafe

snapshot = raft.getSnapshotStore().getSnapshotByIndex(index)

snapshots = raft.getSnapshotStore().getSnapshotsByIndex(index - 1)

raft.getSnapshotStore().getSnapshotByIndex(index)

raft.getSnapshotStore().getSnapshotsByIndex(index - 1)

atomix

bdee68351a3ce8c017cf0c493a1755a673707ed7

io.atomix.protocols.raft.impl.RaftServiceManager

_1	203
_2	202

_1	snapshot
_2	snapshots

v0	raft.getSnapshotStore()
v1	index

v0	raft.getSnapshotStore()
v1	index

AssignedTo

False

Snapshot snapshot=raft.getSnapshotStore().getSnapshotByIndex(index);

Collection<Snapshot> snapshots=raft.getSnapshotStore().getSnapshotsByIndex(index - 1);