public class RewriteCluster<RW extends RewriteMachine>
extends java.lang.Thread
Modifier and Type | Class and Description |
---|---|
class |
RewriteCluster.ConsoleInput |
class |
RewriteCluster.Exit |
class |
RewriteCluster.ShowAll |
class |
RewriteCluster.ShowLoc |
class |
RewriteCluster.Unknown |
Constructor and Description |
---|
RewriteCluster() |
RewriteCluster(java.util.List<RW> rw_machines) |
Modifier and Type | Method and Description |
---|---|
static <RW extends RewriteMachine> |
createCluster(java.lang.Class<RW> rw,
int n) |
RW |
getMachine(int loc) |
java.lang.String |
getPretty() |
java.lang.String |
getPrettyBrief() |
void |
init() |
void |
initQuiescenceSnapShotFile(java.lang.String file_format) |
RewriteCluster.ConsoleInput |
parseConsoleInput(java.lang.String input) |
void |
restartRewrite() |
void |
run() |
void |
runConsole() |
void |
setEndConsole() |
void |
stopRewrite() |
void |
terminateRewrite() |
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield
public RewriteCluster()
public RewriteCluster(java.util.List<RW> rw_machines)
public void init()
public void initQuiescenceSnapShotFile(java.lang.String file_format)
public RW getMachine(int loc)
public void run()
run
in interface java.lang.Runnable
run
in class java.lang.Thread
public void stopRewrite()
public void restartRewrite()
public void terminateRewrite()
public java.lang.String getPrettyBrief()
public java.lang.String getPretty()
public RewriteCluster.ConsoleInput parseConsoleInput(java.lang.String input)
public void setEndConsole()
public void runConsole()
public static <RW extends RewriteMachine> RewriteCluster<RW> createCluster(java.lang.Class<RW> rw, int n)