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.