de.cau.cs.kieler.synccharts.text.kitsState.ui
Class KitsStateDiagnosticConverterImpl

java.lang.Object
  extended by org.eclipse.xtext.validation.DiagnosticConverterImpl
      extended by de.cau.cs.kieler.synccharts.text.kits.ui.KitsDiagnosticConverterImpl
          extended by 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 red

Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.xtext.validation.DiagnosticConverterImpl
org.eclipse.xtext.validation.DiagnosticConverterImpl.IssueLocation
 
Constructor Summary
KitsStateDiagnosticConverterImpl()
           
 
Method Summary
 void convertValidatorDiagnostic(Diagnostic diagnostic, org.eclipse.xtext.util.IAcceptor<org.eclipse.xtext.validation.Issue> acceptor)
           
 
Methods inherited from class de.cau.cs.kieler.synccharts.text.kits.ui.KitsDiagnosticConverterImpl
getFeature
 
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
 

Constructor Detail

KitsStateDiagnosticConverterImpl

public KitsStateDiagnosticConverterImpl()
Method Detail

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