de.cau.cs.kieler.synccharts.text.kitsState.ui
Class KitsStateDiagnosticConverterImpl
java.lang.Object
org.eclipse.xtext.validation.DiagnosticConverterImpl
de.cau.cs.kieler.synccharts.text.kits.ui.KitsDiagnosticConverterImpl
de.cau.cs.kieler.synccharts.text.kitsState.ui.KitsStateDiagnosticConverterImpl
- All Implemented Interfaces:
- org.eclipse.xtext.validation.IDiagnosticConverter
public class KitsStateDiagnosticConverterImpl
- extends KitsDiagnosticConverterImpl
This filter realizes the filtering of the non-null-state-parentRegion-condition.
The condition is imposed by the SyncCharts meta model. In case of representing a
chosen state, however, this error diagnostic is not appropriate.
The filter extends the general KITS diagnostic filter in KitsDiagnosticConverterImpl
.
- Rating

Nested classes/interfaces inherited from class org.eclipse.xtext.validation.DiagnosticConverterImpl |
org.eclipse.xtext.validation.DiagnosticConverterImpl.IssueLocation |
Methods inherited from class org.eclipse.xtext.validation.DiagnosticConverterImpl |
convertResourceDiagnostic, getCauser, getLocationData, getLocationData, getLocationData, getLocationForNode, resolveStructuralFeature |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
KitsStateDiagnosticConverterImpl
public KitsStateDiagnosticConverterImpl()
convertValidatorDiagnostic
public void convertValidatorDiagnostic(Diagnostic diagnostic,
org.eclipse.xtext.util.IAcceptor<org.eclipse.xtext.validation.Issue> acceptor)
- Specified by:
convertValidatorDiagnostic
in interface org.eclipse.xtext.validation.IDiagnosticConverter
- Overrides:
convertValidatorDiagnostic
in class KitsDiagnosticConverterImpl