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.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic 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