public class ApplicationPid
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
|
ApplicationPid() |
protected |
ApplicationPid(java.lang.String pid) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
void |
write(java.io.File file)
Write the PID to the specified file.
|
public ApplicationPid()
protected ApplicationPid(java.lang.String pid)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public void write(java.io.File file) throws java.io.IOException
file
- the PID filejava.lang.IllegalStateException
- if no PID is available.java.io.IOException
- if the file cannot be written