public class War extends Run
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
Begin |
static java.lang.String |
End |
static java.lang.String |
Mark |
emptyStrings, trace
Constructor and Description |
---|
War() |
War(Read<java.lang.String> dir,
Read<java.lang.String> read,
Write<java.lang.String> write) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
canonical(java.io.File file) |
static java.lang.String |
canonical(java.lang.String name) |
java.lang.String |
filter(java.lang.String in) |
static void |
main(java.lang.String... args) |
void |
run(java.lang.String... args) |
public static final java.lang.String Mark
public static final java.lang.String Begin
public static final java.lang.String End
public War(Read<java.lang.String> dir, Read<java.lang.String> read, Write<java.lang.String> write)
public War()