Package it.unive.lisa

Class LiSAReport

java.lang.Object

it.unive.lisa.LiSAReport

public class LiSAReport
extends java.lang.Object

A structured report containing the information about an analysis that has successfully completed.

Constructor Summary

Constructors

Constructor	Description
LiSAReport(LiSAConfiguration configuration, LiSARunInfo info, java.util.Collection<Warning> warnings, java.util.Collection<java.lang.String> createdFiles)	Builds the report.

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
LiSAConfiguration	getConfiguration()	Yields the LiSAConfiguration used to run the analysis.
java.util.Collection<java.lang.String>	getCreatedFiles()	Yields the names of the files created during the analysis, as reported by FileManager.createdFiles().
LiSARunInfo	getInfo()	The LiSARunInfo containing information about the analysis.
java.util.Collection<Warning>	getWarnings()	Yields the Warnings that have been generated during the analysis.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

LiSAReport

public LiSAReport(LiSAConfiguration configuration,
                  LiSARunInfo info,
                  java.util.Collection<Warning> warnings,
                  java.util.Collection<java.lang.String> createdFiles)

Builds the report.

Parameters:

configuration - the configuration used for the analysis

info - the information of the analysis run

warnings - the warnings generated by the analysis

createdFiles - the files generated by the analysis

Method Detail

getInfo

public LiSARunInfo getInfo()

The LiSARunInfo containing information about the analysis.

Returns:

the information

getConfiguration

public LiSAConfiguration getConfiguration()

Yields the LiSAConfiguration used to run the analysis.

Returns:

the configuration

getWarnings

public java.util.Collection<Warning> getWarnings()

Yields the Warnings that have been generated during the analysis.

Returns:

the generated warnings

getCreatedFiles

public java.util.Collection<java.lang.String> getCreatedFiles()

Yields the names of the files created during the analysis, as reported by FileManager.createdFiles().

Returns:

the names of the created files

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object