com.oracle.graal.pointsto.reports

Class ReportUtils

java.lang.Object

com.oracle.graal.pointsto.reports.ReportUtils

public class ReportUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
ReportUtils()

Method Summary

Modifier and Type	Method and Description
static void	report(String description, String path, String name, String extension, Consumer<PrintWriter> reporter) Print a report in the format: path/name_timeStamp.extension.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReportUtils

public ReportUtils()

Method Detail

report

public static void report(String description,
                          String path,
                          String name,
                          String extension,
                          Consumer<PrintWriter> reporter)

Print a report in the format: path/name_timeStamp.extension. The path is relative to the working directory.

Parameters:

description - the description of the report

path - the path (relative to the working directory if the argument represents a relative path)

name - the name of the report

extension - the extension of the report

reporter - a consumer that writes to a PrintWriter