public class ChangeRange
extends java.lang.Object
Constructor and Description |
---|
ChangeRange(IdeaGateway gw,
LocalHistoryFacade vcs,
java.lang.Long changeId) |
Modifier and Type | Method and Description |
---|---|
ChangeRange |
revert(ChangeRange reverse) |
public ChangeRange(IdeaGateway gw, LocalHistoryFacade vcs, java.lang.Long changeId)
public ChangeRange revert(ChangeRange reverse) throws java.io.IOException
java.io.IOException