AUnit.Reporter.JUnit
More...
Entities
Tagged types
JUnit_Reporter
Dispatching subprograms
Report
Description
JUnit_Reporter
[source]
35
type
JUnit_Reporter
is
new
Reporter
with
null
record
;
Inherits
Reporter
Report
[source]
37
procedure
Report
(
Engine
:
JUnit_Reporter
;
38
R
:
in
out
Result
'
Class
;
39
Options
:
AUnit_Options
:=
Default_Options
)
;
Engine of type
AUnit.Reporter.JUnit.JUnit_Reporter
R of type
AUnit.Test_Results.Result
Options of type
AUnit.Options.AUnit_Options