public class UI extends Object
| Constructor and Description |
|---|
UI() |
| Modifier and Type | Method and Description |
|---|---|
static void |
exitHardWithWall(String msg) |
static void |
exitHardWithWall(String msg,
String... docLinks) |
static String |
wallString(String msg,
String... docLinks) |
Copyright © 2012–2014 TORCH GmbH. All rights reserved.