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