| Package | Description |
|---|---|
| javatools.administrative |
| Modifier and Type | Field and Description |
|---|---|
protected static Announce.Level |
Announce.level
Current log level
|
| Modifier and Type | Method and Description |
|---|---|
static Announce.Level |
Announce.getActiveLevel()
Provides the current announce level
|
static Announce.Level |
Announce.setLevel(Announce.Level l)
Switches announcing on or off
|
static Announce.Level |
Announce.Level.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Announce.Level[] |
Announce.Level.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
Announce.isActiveLevel(Announce.Level l)
Tells whether the given level is within the currently active levels
|
static void |
Announce.progressAt(double d,
Announce.Level lvl)
Notes that the progress is at d, prints dots if necessary, calculates and
displays the estimated time after 60sec of the progress then again after
every 30min (takes only effect iff current Announce level >= the given
lvl)
|
static void |
Announce.progressDone(Announce.Level lvl)
Fills missing dots and writes "done NEWLINE" (takes only effect iff
current Announce level >= the given lvl)
|
static void |
Announce.progressStart(String s,
double max,
Announce.Level lvl)
Writes s, prepares to make progress up to max (takes only effect iff
current Announce level >= the given lvl)
|
static void |
Announce.progressStart(String s,
String id,
double max,
Announce.Level lvl)
Writes s, prepares to make progress up to max remembers id as name for
progress counter (and prints it if necessary) (takes only effect iff
current Announce level >= the given lvl)
|
static void |
Announce.progressStep(Announce.Level lvl)
One progress step (use alternatively to progressAt) (takes only effect
iff current Announce level >= the given lvl)
|
static Announce.Level |
Announce.setLevel(Announce.Level l)
Switches announcing on or off
|
Copyright © 2018. All rights reserved.