org.eclipse.xtext.xtext
Class PredicateUsesUnorderedGroupInspector

java.lang.Object
  extended by org.eclipse.xtext.util.XtextSwitch<java.lang.Boolean>
      extended by org.eclipse.xtext.xtext.PredicateUsesUnorderedGroupInspector
All Implemented Interfaces:
ValidationMessageAcceptor

public class PredicateUsesUnorderedGroupInspector
extends XtextSwitch<java.lang.Boolean>
implements ValidationMessageAcceptor

Checks whether a predicate uses an unordered group.

Author:
Sebastian Zarnekow - Initial contribution and API

Field Summary
 
Fields inherited from class org.eclipse.xtext.util.XtextSwitch
modelPackage
 
Fields inherited from interface org.eclipse.xtext.validation.ValidationMessageAcceptor
INSIGNIFICANT_INDEX
 
Constructor Summary
PredicateUsesUnorderedGroupInspector(ValidationMessageAcceptor validationMessageAcceptor)
           
 
Method Summary
 void acceptError(java.lang.String message, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature, int index, java.lang.String code, java.lang.String... issueData)
          Annotate an instance, a feature value, or all feature values with an error.
 void acceptError(java.lang.String message, org.eclipse.emf.ecore.EObject object, int offset, int length, java.lang.String code, java.lang.String... issueData)
          Annotate a range of the resource with an error.
 void acceptInfo(java.lang.String message, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature, int index, java.lang.String code, java.lang.String... issueData)
          Annotate an instance, a feature value, or all feature values with an info message.
 void acceptInfo(java.lang.String message, org.eclipse.emf.ecore.EObject object, int offset, int length, java.lang.String code, java.lang.String... issueData)
          Annotate a range of the resource with an info message..
 void acceptWarning(java.lang.String message, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature, int index, java.lang.String code, java.lang.String... issueData)
          Annotate an instance, a feature value, or all feature values with a warning.
 void acceptWarning(java.lang.String message, org.eclipse.emf.ecore.EObject object, int offset, int length, java.lang.String code, java.lang.String... issueData)
          Annotate a range of the resource with a warning.
 java.lang.Boolean caseAbstractElement(AbstractElement object)
          Returns the result of interpreting the object as an instance of 'Abstract Element'
 java.lang.Boolean caseAssignment(Assignment object)
          Returns the result of interpreting the object as an instance of 'Assignment'
 java.lang.Boolean caseCompoundElement(CompoundElement object)
          Returns the result of interpreting the object as an instance of 'Compound Element'
 java.lang.Boolean caseCrossReference(CrossReference object)
          Returns the result of interpreting the object as an instance of 'Cross Reference'
 java.lang.Boolean caseParserRule(ParserRule object)
          Returns the result of interpreting the object as an instance of 'Parser Rule'
 java.lang.Boolean caseRuleCall(RuleCall object)
          Returns the result of interpreting the object as an instance of 'Rule Call'
 java.lang.Boolean caseUnorderedGroup(UnorderedGroup object)
          Returns the result of interpreting the object as an instance of 'Unordered Group'
 void createErrorMessages(UnorderedGroup object)
           
 void inspect(Grammar grammar)
           
protected  boolean shouldTraverse(AbstractElement object)
           
 
Methods inherited from class org.eclipse.xtext.util.XtextSwitch
caseAbstractMetamodelDeclaration, caseAbstractNegatedToken, caseAbstractRule, caseAction, caseAlternatives, caseCharacterRange, caseEnumLiteralDeclaration, caseEnumRule, caseEOF, caseGeneratedMetamodel, caseGrammar, caseGroup, caseKeyword, caseNegatedToken, caseReferencedMetamodel, caseTerminalRule, caseTypeRef, caseUntilToken, caseWildcard, defaultCase, doSwitch, doSwitch, doSwitch
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PredicateUsesUnorderedGroupInspector

public PredicateUsesUnorderedGroupInspector(ValidationMessageAcceptor validationMessageAcceptor)
Method Detail

inspect

public void inspect(Grammar grammar)

caseAbstractElement

public java.lang.Boolean caseAbstractElement(AbstractElement object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Abstract Element'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseAbstractElement in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Abstract Element'.
See Also:
doSwitch(EObject)

caseAssignment

public java.lang.Boolean caseAssignment(Assignment object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Assignment'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseAssignment in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Assignment'.
See Also:
doSwitch(EObject)

shouldTraverse

protected boolean shouldTraverse(AbstractElement object)

caseCrossReference

public java.lang.Boolean caseCrossReference(CrossReference object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Cross Reference'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseCrossReference in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Cross Reference'.
See Also:
doSwitch(EObject)

caseCompoundElement

public java.lang.Boolean caseCompoundElement(CompoundElement object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Compound Element'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseCompoundElement in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Compound Element'.
See Also:
doSwitch(EObject)

caseUnorderedGroup

public java.lang.Boolean caseUnorderedGroup(UnorderedGroup object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Unordered Group'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseUnorderedGroup in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Unordered Group'.
See Also:
doSwitch(EObject)

caseRuleCall

public java.lang.Boolean caseRuleCall(RuleCall object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Rule Call'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseRuleCall in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Rule Call'.
See Also:
doSwitch(EObject)

caseParserRule

public java.lang.Boolean caseParserRule(ParserRule object)
Description copied from class: XtextSwitch
Returns the result of interpreting the object as an instance of 'Parser Rule'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:
caseParserRule in class XtextSwitch<java.lang.Boolean>
Parameters:
object - the target of the switch.
Returns:
the result of interpreting the object as an instance of 'Parser Rule'.
See Also:
doSwitch(EObject)

createErrorMessages

public void createErrorMessages(UnorderedGroup object)

acceptError

public void acceptError(java.lang.String message,
                        org.eclipse.emf.ecore.EObject object,
                        org.eclipse.emf.ecore.EStructuralFeature feature,
                        int index,
                        java.lang.String code,
                        java.lang.String... issueData)
Description copied from interface: ValidationMessageAcceptor
Annotate an instance, a feature value, or all feature values with an error.

Specified by:
acceptError in interface ValidationMessageAcceptor
Parameters:
message - the error message. May not be null.
object - the object or the feature holder. May not be null.
feature - the feature or null if the complete instance should be annotated.
code - the optional issue code.
issueData - the optional issue data.

acceptWarning

public void acceptWarning(java.lang.String message,
                          org.eclipse.emf.ecore.EObject object,
                          org.eclipse.emf.ecore.EStructuralFeature feature,
                          int index,
                          java.lang.String code,
                          java.lang.String... issueData)
Description copied from interface: ValidationMessageAcceptor
Annotate an instance, a feature value, or all feature values with a warning.

Specified by:
acceptWarning in interface ValidationMessageAcceptor
Parameters:
message - the warning message. May not be null.
object - the object or the feature holder. May not be null.
feature - the feature or null if the complete instance should be annotated.
code - the optional issue code.
issueData - the optional issue data.

acceptError

public void acceptError(java.lang.String message,
                        org.eclipse.emf.ecore.EObject object,
                        int offset,
                        int length,
                        java.lang.String code,
                        java.lang.String... issueData)
Description copied from interface: ValidationMessageAcceptor
Annotate a range of the resource with an error.

Specified by:
acceptError in interface ValidationMessageAcceptor
Parameters:
message - the error message. May not be null.
offset - the absolute offset in the resource.
length - the length of the erroneous range.
code - the optional issue code.
issueData - the optional issue data.

acceptWarning

public void acceptWarning(java.lang.String message,
                          org.eclipse.emf.ecore.EObject object,
                          int offset,
                          int length,
                          java.lang.String code,
                          java.lang.String... issueData)
Description copied from interface: ValidationMessageAcceptor
Annotate a range of the resource with a warning.

Specified by:
acceptWarning in interface ValidationMessageAcceptor
Parameters:
message - the warning message. May not be null.
offset - the absolute offset in the resource.
length - the length of the invalid range.
code - the optional issue code.
issueData - the optional issue data.

acceptInfo

public void acceptInfo(java.lang.String message,
                       org.eclipse.emf.ecore.EObject object,
                       org.eclipse.emf.ecore.EStructuralFeature feature,
                       int index,
                       java.lang.String code,
                       java.lang.String... issueData)
Description copied from interface: ValidationMessageAcceptor
Annotate an instance, a feature value, or all feature values with an info message.

Specified by:
acceptInfo in interface ValidationMessageAcceptor
Parameters:
message - the info message. May not be null.
object - the object or the feature holder. May not be null.
feature - the feature or null if the complete instance should be annotated.
code - the optional issue code.
issueData - the optional issue data.

acceptInfo

public void acceptInfo(java.lang.String message,
                       org.eclipse.emf.ecore.EObject object,
                       int offset,
                       int length,
                       java.lang.String code,
                       java.lang.String... issueData)
Description copied from interface: ValidationMessageAcceptor
Annotate a range of the resource with an info message..

Specified by:
acceptInfo in interface ValidationMessageAcceptor
Parameters:
message - the info message. May not be null.
offset - the absolute offset in the resource.
length - the length of the annotated range.
code - the optional issue code.
issueData - the optional issue data.