StreamProfileReporter
dotty.tools.dotc.profile.StreamProfileReporter
class StreamProfileReporter(out: PrintWriter) extends ProfileReporter
Attributes
- Graph
-
- Supertypes
Members list
Keywords
- no keywords
- override
In this article