org.eclipse.ocl.examples.emf.validation.validity.export

Class HTMLExporter

java.lang.Object

org.eclipse.ocl.examples.emf.validation.validity.export.AbstractExporter

org.eclipse.ocl.examples.emf.validation.validity.export.HTMLExporter

All Implemented Interfaces:

IValidityExporter, IValidityExporterDescriptor

public class HTMLExporter
extends AbstractExporter

Exports ocl validation results as an html file.

Field Summary

Fields

Modifier and Type	Field and Description
static String	EXPORTER_TYPE
static HTMLExporter	INSTANCE

Constructor Summary

Constructors

Constructor and Description
HTMLExporter()

Method Summary

Modifier and Type	Method and Description
void	createContents(Appendable html, RootNode rootNode, String exportedFileName) Returns a stream containing the initial contents to be given to new exported validation results file resource instances.
String	getExporterType()
String	getPreferredExtension()

Methods inherited from class org.eclipse.ocl.examples.emf.validation.validity.export.AbstractExporter

export, export, getExporter

Methods inherited from class java.lang.Object

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

Field Detail

EXPORTER_TYPE

public static final String EXPORTER_TYPE

See Also:

Constant Field Values

INSTANCE

public static final HTMLExporter INSTANCE

Constructor Detail

HTMLExporter

public HTMLExporter()

Method Detail

createContents

public void createContents(Appendable html,
                           RootNode rootNode,
                           String exportedFileName)
                    throws IOException

Returns a stream containing the initial contents to be given to new exported validation results file resource instances.

Parameters:

html - The contents to be appended

rootNode - The validation result model

exportedFileName - The target file name or null if not known and not to be reported

Throws:

IOException

getExporterType

public String getExporterType()

getPreferredExtension

public String getPreferredExtension()