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

Interface Summary

IValidityExporter	This interface defines the general contract of the validity results export mechanism.
IValidityExporterDescriptor	This interface defines the general contract of the validity results export mechanism.

Class Summary

AbstractExporter	Exports ocl validation results.
HTMLExporter	Exports ocl validation results as an html file.
ModelExporter	Exports validation results as a model.
TextExporter	Exports ocl validation results as a txt file.
ValidityExporterDescriptor	Describes an extension as contributed to the validity-exporter extension point.
ValidityExporterListener	This listener will allow us to be aware of contribution changes against the exporter extension point.
ValidityExporterRegistry	This will contain all ocl-export extension that have been parsed from the extension point.