public class RewriteCluster.Exit extends RewriteCluster.ConsoleInput
EXIT, SHOWALL, SHOWLOC
Constructor and Description |
---|
RewriteCluster.Exit() |
Modifier and Type | Method and Description |
---|---|
void |
action(RewriteCluster<RW> machine) |
public void action(RewriteCluster<RW> machine)
action
in class RewriteCluster.ConsoleInput