org.eclipse.ocl.examples.emf.validation.validity.export
Class ModelExporter

java.lang.Object
  extended by org.eclipse.ocl.examples.emf.validation.validity.export.AbstractExporter
      extended by org.eclipse.ocl.examples.emf.validation.validity.export.ModelExporter
All Implemented Interfaces:
IValidityExporter, IValidityExporterDescriptor

public class ModelExporter
extends AbstractExporter

Exports validation results as a model.


Field Summary
static java.lang.String EXPORTER_TYPE
           
static ModelExporter INSTANCE
           
 
Fields inherited from class org.eclipse.ocl.examples.emf.validation.validity.export.AbstractExporter
validationErrors, validationFailures, validationInfos, validationSuccess, validationWarnings
 
Constructor Summary
ModelExporter()
           
 
Method Summary
 void createContents(java.lang.Appendable text, 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 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 ModelExporter INSTANCE
Constructor Detail

ModelExporter

public ModelExporter()
Method Detail

createContents

public void createContents(@NonNull
                           java.lang.Appendable text,
                           @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 model
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()