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.
Method Summary |
void |
createContents(java.lang.Appendable html,
org.eclipse.emf.ecore.resource.Resource validatedResource,
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EXPORTER_TYPE
@NonNull
public static final java.lang.String EXPORTER_TYPE
- See Also:
- Constant Field Values
INSTANCE
@NonNull
public static final HTMLExporter INSTANCE
HTMLExporter
public HTMLExporter()
createContents
public void createContents(@NonNull
java.lang.Appendable html,
@NonNull
org.eclipse.emf.ecore.resource.Resource validatedResource,
@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
validatedResource
- The validated modelrootNode
- The validation result modelexportedFileName
- 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()