public interface Verbosity
static byte
DEBUG
HIGH
NORMAL
SILENT
static final byte SILENT
static final byte NORMAL
static final byte HIGH
static final byte DEBUG
Copyright © 2003-2019 The KeY-Project.