public class VersionTreeManager
extends java.lang.Object
Constructor and Description |
---|
VersionTreeManager(VersionTreeViewer versionTreeViewer,
ConflictResolverEditor processEditor,
javax.swing.JList changeLog,
ClientFascade serverConnection,
javax.swing.JLabel statusLabel,
javax.swing.JButton OKButton) |
Modifier and Type | Method and Description |
---|---|
void |
changeDisplayedVersion(ModelVersionDescription newVersion) |
void |
checkConflictsSolved() |
javax.swing.JList |
getChangeLog() |
ConflictResolverEditor |
getEditor() |
ModelVersionDescription |
getLastDisplayedVersionDescription() |
ClientFascade |
getServerConnection() |
boolean |
isAnimate() |
void |
setAnimate(boolean animate) |
void |
setLastDisplayedVersionDescription(ModelVersionDescription lastDisplayedVersionDescription) |
void |
versionChanged(ModelVersionDescription from,
ModelVersionDescription to) |
public VersionTreeManager(VersionTreeViewer versionTreeViewer, ConflictResolverEditor processEditor, javax.swing.JList changeLog, ClientFascade serverConnection, javax.swing.JLabel statusLabel, javax.swing.JButton OKButton) throws XMLHttpRequestException, java.net.MalformedURLException, InvalidUserCredentialsException
XMLHttpRequestException
java.net.MalformedURLException
InvalidUserCredentialsException
public javax.swing.JList getChangeLog()
public boolean isAnimate()
public void setAnimate(boolean animate)
public ConflictResolverEditor getEditor()
public ModelVersionDescription getLastDisplayedVersionDescription()
public void setLastDisplayedVersionDescription(ModelVersionDescription lastDisplayedVersionDescription)
public ClientFascade getServerConnection()
public void checkConflictsSolved()
public void changeDisplayedVersion(ModelVersionDescription newVersion)
public void versionChanged(ModelVersionDescription from, ModelVersionDescription to)