Package | Description |
---|---|
org.eclipse.ocl.examples.emf.validation.validity.export | |
org.eclipse.ocl.examples.standalone.validity |
Modifier and Type | Interface and Description |
---|---|
interface |
IValidityExporter
This interface defines the general contract of the validity results export mechanism.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractExporter
Exports ocl validation results.
|
class |
HTMLExporter
Exports ocl validation results as an html file.
|
class |
ModelExporter
Exports validation results as a model.
|
class |
TextExporter
Exports ocl validation results as a txt file.
|
class |
ValidityExporterDescriptor
Describes an extension as contributed to the validity-exporter extension point.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<IValidityExporterDescriptor> |
ValidityExporterRegistry.getRegisteredExtensions()
Returns a copy of the registered extensions list.
|
Modifier and Type | Method and Description |
---|---|
void |
ValidityExporterRegistry.addExporter(IValidityExporterDescriptor exporter)
Adds an extension to the registry.
|
Modifier and Type | Method and Description |
---|---|
int |
ValidateCommand.ExporterComparator.compare(IValidityExporterDescriptor o1,
IValidityExporterDescriptor o2) |