Package | Description |
---|---|
org.eclipse.ocl.examples.emf.validation.validity.ui.actions | |
org.eclipse.ocl.examples.emf.validation.validity.ui.view |
Modifier and Type | Field and Description |
---|---|
protected IDEValidityManager |
ForceValidityViewRefreshAction.validityManager |
Constructor and Description |
---|
ExportValidationResultAction(IDEValidityManager validityManager,
ValidityView validityView) |
ForceValidityViewRefreshAction(IDEValidityManager validityManager,
ValidityView validityView) |
ShowElementInEditorAction(IDEValidityManager validityManager,
org.eclipse.jface.viewers.ISelectionProvider selectionProvider) |
StopValidityAction(IDEValidityManager validityManager) |
Modifier and Type | Field and Description |
---|---|
protected IDEValidityManager |
SeveritiesDecorator.validityManager |
protected IDEValidityManager |
ValidityView.validityManager |
Modifier and Type | Method and Description |
---|---|
IDEValidityManager |
ValidityView.getValidityManager()
gets the Validity Manager
|
Constructor and Description |
---|
IDEValidityManager.IDEValidityModel(IDEValidityManager validityManager,
java.util.Collection<org.eclipse.emf.ecore.resource.Resource> newResources) |
SeveritiesDecorator(IDEValidityManager validityManager) |