public class WindowState
extends java.lang.Object
Constructor and Description |
---|
WindowState()
Constructor.
|
WindowState(java.lang.String fileName)
Constructor.
|
WindowState(java.lang.String fileName,
BrowserPath browserPath)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
BrowserPath |
getBrowserPath()
Get the browser path.
|
java.lang.String |
getFileName()
Get the file name of the displayed class.
|
int |
hashCode() |
void |
setBrowserPath(BrowserPath browserPath)
Set the browser path.
|
void |
setFileName(java.lang.String fileName)
Set the file name of the displayed class.
|
public WindowState(java.lang.String fileName, BrowserPath browserPath)
fileName
- the file name for the displayed class.browserPath
- the browser path that should be selected. May be null.public WindowState(java.lang.String fileName)
fileName
- the file name for the displayed class.public WindowState()
public java.lang.String getFileName()
public void setFileName(java.lang.String fileName)
fileName
- public BrowserPath getBrowserPath()
public void setBrowserPath(BrowserPath browserPath)
browserPath
- the browser path.public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object