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 java.lang.String	EXPORTER_TYPE
static HTMLExporter	INSTANCE

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

validationErrors, validationFailures, validationInfos, validationSuccess, validationWarnings

Constructor Summary

Constructors

Constructor and Description
HTMLExporter()

Method Summary

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

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

export, export, getConstraintCount, getExporter, getMessage, getSeverity

Methods inherited from class java.lang.Object

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

Field Detail

EXPORTER_TYPE

@NonNull
public static final java.lang.String EXPORTER_TYPE

See Also:

Constant Field Values

INSTANCE

@NonNull
public static final HTMLExporter INSTANCE

Constructor Detail

HTMLExporter

public HTMLExporter()

Method Detail

createContents

public void createContents(@NonNull
                           java.lang.Appendable html,
                           @NonNull
                           RootNode rootNode,
                           @Nullable
                           java.lang.String exportedFileName)
                    throws java.io.IOException

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

Specified by:

createContents in class AbstractExporter

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:

java.io.IOException

getExporterType

@NonNull
public java.lang.String getExporterType()

getPreferredExtension

@NonNull
public java.lang.String getPreferredExtension()