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