1
// Copyright (C) 2002 Johan Hoffman and Anders Logg.
2
// Licensed under the GNU GPL Version 2.
9
class Terminal : public Display {
13
Terminal(int debug_level) : Display(debug_level) {};
17
/// Display current status
18
void Status(int level, const char *format, ...);
20
/// Display a message: should work like printf
21
void Message(int level, const char *format, ...);
24
void Progress(int level, double progress, const char *format, ...);
26
/// Display regress (progress backwards)
27
void Regress(int level, double progress, double maximum, const char *format, ...);
30
void Value(const char *name, Type type, ...);
33
void Warning(const char *format, ...);
35
/// Display an error message
36
void Error(const char *format, ...);
38
/// Display an "internal error" message
39
void InternalError(const char *function, const char *format, ...);