Package org.eclipse.ocl.examples.emf.validation.validity.ui.wizards

Class Summary
ExportValidationResultsFileWizard Wizard allowing the user to export a validation results file.
ExportValidationResultsFileWizardPage Wizard page allowing creation of exported files in the workspace.