Package org.eclipse.xsemantics.dsl.xsemantics.util

Class XsemanticsSwitch<T>

  • public class XsemanticsSwitch<T>
extends org.eclipse.emf.ecore.util.Switch<T>
    The Switch for the model's inheritance hierarchy. It supports the call doSwitch(object) to invoke the caseXXX method for each class of the model, starting with the actual class of the object and proceeding up the inheritance hierarchy until a non-null result is returned, which is the result of the switch.
    See Also:
    XsemanticsPackage

    • Field Detail

      • modelPackage

        protected static XsemanticsPackage modelPackage
        The cached model package

    • Constructor Detail

      • XsemanticsSwitch

        public XsemanticsSwitch()
        Creates an instance of the switch.

    • Method Detail

      • isSwitchFor

        protected boolean isSwitchFor​(org.eclipse.emf.ecore.EPackage ePackage)
        Checks whether this is a switch for the given package.
        Specified by:
        isSwitchFor in class org.eclipse.emf.ecore.util.Switch<T>
        Parameters:
        ePackage - the package in question.
        Returns:
        whether this is a switch for the given package.

      • doSwitch

        protected T doSwitch​(int classifierID,
                     org.eclipse.emf.ecore.EObject theEObject)
        Calls caseXXX for each class of the model until one returns a non null result; it yields that result.
        Overrides:
        doSwitch in class org.eclipse.emf.ecore.util.Switch<T>
        Returns:
        the first non-null result returned by a caseXXX call.

      • caseXsemanticsFile

        public T caseXsemanticsFile​(XsemanticsFile object)
        Returns the result of interpreting the object as an instance of 'File'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'File'.
        See Also:
        doSwitch(EObject)

      • caseXsemanticsSystem

        public T caseXsemanticsSystem​(XsemanticsSystem object)
        Returns the result of interpreting the object as an instance of 'System'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'System'.
        See Also:
        doSwitch(EObject)

      • caseInjected

        public T caseInjected​(Injected object)
        Returns the result of interpreting the object as an instance of 'Injected'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Injected'.
        See Also:
        doSwitch(EObject)

      • caseAuxiliaryDescription

        public T caseAuxiliaryDescription​(AuxiliaryDescription object)
        Returns the result of interpreting the object as an instance of 'Auxiliary Description'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Auxiliary Description'.
        See Also:
        doSwitch(EObject)

      • caseJudgmentDescription

        public T caseJudgmentDescription​(JudgmentDescription object)
        Returns the result of interpreting the object as an instance of 'Judgment Description'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Judgment Description'.
        See Also:
        doSwitch(EObject)

      • caseJudgmentParameter

        public T caseJudgmentParameter​(JudgmentParameter object)
        Returns the result of interpreting the object as an instance of 'Judgment Parameter'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Judgment Parameter'.
        See Also:
        doSwitch(EObject)

      • caseAuxiliaryFunction

        public T caseAuxiliaryFunction​(AuxiliaryFunction object)
        Returns the result of interpreting the object as an instance of 'Auxiliary Function'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Auxiliary Function'.
        See Also:
        doSwitch(EObject)

      • caseRule

        public T caseRule​(Rule object)
        Returns the result of interpreting the object as an instance of 'Rule'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Rule'.
        See Also:
        doSwitch(EObject)

      • caseAxiom

        public T caseAxiom​(Axiom object)
        Returns the result of interpreting the object as an instance of 'Axiom'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Axiom'.
        See Also:
        doSwitch(EObject)

      • caseRuleWithPremises

        public T caseRuleWithPremises​(RuleWithPremises object)
        Returns the result of interpreting the object as an instance of 'Rule With Premises'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Rule With Premises'.
        See Also:
        doSwitch(EObject)

      • caseCheckRule

        public T caseCheckRule​(CheckRule object)
        Returns the result of interpreting the object as an instance of 'Check Rule'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Check Rule'.
        See Also:
        doSwitch(EObject)

      • caseRuleConclusion

        public T caseRuleConclusion​(RuleConclusion object)
        Returns the result of interpreting the object as an instance of 'Rule Conclusion'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Rule Conclusion'.
        See Also:
        doSwitch(EObject)

      • caseRuleInvocation

        public T caseRuleInvocation​(RuleInvocation object)
        Returns the result of interpreting the object as an instance of 'Rule Invocation'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Rule Invocation'.
        See Also:
        doSwitch(EObject)

      • caseEnvironment

        public T caseEnvironment​(Environment object)
        Returns the result of interpreting the object as an instance of 'Environment'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Environment'.
        See Also:
        doSwitch(EObject)

      • caseRuleConclusionElement

        public T caseRuleConclusionElement​(RuleConclusionElement object)
        Returns the result of interpreting the object as an instance of 'Rule Conclusion Element'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Rule Conclusion Element'.
        See Also:
        doSwitch(EObject)

      • caseRuleParameter

        public T caseRuleParameter​(RuleParameter object)
        Returns the result of interpreting the object as an instance of 'Rule Parameter'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Rule Parameter'.
        See Also:
        doSwitch(EObject)

      • caseExpressionInConclusion

        public T caseExpressionInConclusion​(ExpressionInConclusion object)
        Returns the result of interpreting the object as an instance of 'Expression In Conclusion'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Expression In Conclusion'.
        See Also:
        doSwitch(EObject)

      • caseOutputParameter

        public T caseOutputParameter​(OutputParameter object)
        Returns the result of interpreting the object as an instance of 'Output Parameter'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Output Parameter'.
        See Also:
        doSwitch(EObject)

      • caseInputParameter

        public T caseInputParameter​(InputParameter object)
        Returns the result of interpreting the object as an instance of 'Input Parameter'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Input Parameter'.
        See Also:
        doSwitch(EObject)

      • caseOrExpression

        public T caseOrExpression​(OrExpression object)
        Returns the result of interpreting the object as an instance of 'Or Expression'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Or Expression'.
        See Also:
        doSwitch(EObject)

      • caseFail

        public T caseFail​(Fail object)
        Returns the result of interpreting the object as an instance of 'Fail'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Fail'.
        See Also:
        doSwitch(EObject)

      • caseEnvironmentComposition

        public T caseEnvironmentComposition​(EnvironmentComposition object)
        Returns the result of interpreting the object as an instance of 'Environment Composition'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Environment Composition'.
        See Also:
        doSwitch(EObject)

      • caseEnvironmentMapping

        public T caseEnvironmentMapping​(EnvironmentMapping object)
        Returns the result of interpreting the object as an instance of 'Environment Mapping'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Environment Mapping'.
        See Also:
        doSwitch(EObject)

      • caseEmptyEnvironment

        public T caseEmptyEnvironment​(EmptyEnvironment object)
        Returns the result of interpreting the object as an instance of 'Empty Environment'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Empty Environment'.
        See Also:
        doSwitch(EObject)

      • caseErrorSpecification

        public T caseErrorSpecification​(ErrorSpecification object)
        Returns the result of interpreting the object as an instance of 'Error Specification'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Error Specification'.
        See Also:
        doSwitch(EObject)

      • caseUniqueByName

        public T caseUniqueByName​(UniqueByName object)
        Returns the result of interpreting the object as an instance of 'Unique By Name'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Unique By Name'.
        See Also:
        doSwitch(EObject)

      • caseOverrider

        public T caseOverrider​(Overrider object)
        Returns the result of interpreting the object as an instance of 'Overrider'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Overrider'.
        See Also:
        doSwitch(EObject)

      • caseReferToJudgment

        public T caseReferToJudgment​(ReferToJudgment object)
        Returns the result of interpreting the object as an instance of 'Refer To Judgment'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Refer To Judgment'.
        See Also:
        doSwitch(EObject)

      • caseNamed

        public T caseNamed​(Named object)
        Returns the result of interpreting the object as an instance of 'Named'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Named'.
        See Also:
        doSwitch(EObject)

      • caseCachedClause

        public T caseCachedClause​(CachedClause object)
        Returns the result of interpreting the object as an instance of 'Cached Clause'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Cached Clause'.
        See Also:
        doSwitch(EObject)

      • caseCachable

        public T caseCachable​(Cachable object)
        Returns the result of interpreting the object as an instance of 'Cachable'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Cachable'.
        See Also:
        doSwitch(EObject)

      • caseDescription

        public T caseDescription​(Description object)
        Returns the result of interpreting the object as an instance of 'Description'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Description'.
        See Also:
        doSwitch(EObject)

      • caseAbstractFieldDefinition

        public T caseAbstractFieldDefinition​(AbstractFieldDefinition object)
        Returns the result of interpreting the object as an instance of 'Abstract Field Definition'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Abstract Field Definition'.
        See Also:
        doSwitch(EObject)

      • caseFieldDefinition

        public T caseFieldDefinition​(FieldDefinition object)
        Returns the result of interpreting the object as an instance of 'Field Definition'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'Field Definition'.
        See Also:
        doSwitch(EObject)

      • caseXExpression

        public T caseXExpression​(org.eclipse.xtext.xbase.XExpression object)
        Returns the result of interpreting the object as an instance of 'XExpression'. This implementation returns null; returning a non-null result will terminate the switch.
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'XExpression'.
        Since:
        2.7
        See Also:
        doSwitch(EObject)

      • defaultCase

        public T defaultCase​(org.eclipse.emf.ecore.EObject object)
        Returns the result of interpreting the object as an instance of 'EObject'. This implementation returns null; returning a non-null result will terminate the switch, but this is the last case anyway.
        Overrides:
        defaultCase in class org.eclipse.emf.ecore.util.Switch<T>
        Parameters:
        object - the target of the switch.
        Returns:
        the result of interpreting the object as an instance of 'EObject'.
        See Also:
        Switch.doSwitch(org.eclipse.emf.ecore.EObject)