public class ReportManager extends NamedObject
Constructor and Description |
---|
ReportManager(java.lang.String name)
Creates a new reportmanager with the given name.
|
Modifier and Type | Method and Description |
---|---|
void |
addLast(Reporter r)
Adds a report to the very end of the vector hanlded by this
reportmanager.
|
void |
deRegister(Reporter rep)
De-registers the given reporter from the experiment's reportmanager.
|
java.util.List<Reporter> |
elements()
Returns a list view of all registered reporters in the appropriate
order.
|
boolean |
isEmpty()
Returns a boolean value indicating whether this reportmanager contains
reporters to be sent to the reportoutput or not.
|
void |
register(Reporter rep)
Registers the given reporter at the experiment's reportmanager.
|
getName, getQuotedName, toString
public ReportManager(java.lang.String name)
name
- java.lang.String : the reportmanager's namepublic void addLast(Reporter r)
r
- desmoj.report.Reporterpublic void deRegister(Reporter rep)
null
reference) this
method simply returnsrep
- desmoj.report.Reporter : The reporter to be de-registeredpublic java.util.List<Reporter> elements()
public boolean isEmpty()
true
if the reportmanager conatains
reporters, false
otherwisepublic void register(Reporter rep)
rep
- desmoj.report.Reporter : The reporter to be registered