org.deri.wsmo4j.io.parser.wsml
Class CompoundExpressionAnalysis

java.lang.Object
  extended by org.wsmo.wsml.compiler.analysis.AnalysisAdapter
      extended by com.ontotext.wsmo4j.parser.wsml.ASTAnalysis
          extended by org.deri.wsmo4j.io.parser.wsml.CompoundExpressionAnalysis
All Implemented Interfaces:
org.wsmo.wsml.compiler.analysis.Analysis, org.wsmo.wsml.compiler.node.Switch

public class CompoundExpressionAnalysis
extends com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

 Created on 21.11.2005
 Committed by $Author$
 $Source$,
 

Version:
$Revision$ $Date$
Author:
Holger Lausen

Constructor Summary
CompoundExpressionAnalysis(com.ontotext.wsmo4j.parser.wsml.ASTAnalysisContainer container, org.wsmo.factory.LogicalExpressionFactory lFactory)
          Adapter for all Compound Expressions
 
Method Summary
 void outAConjunction(org.wsmo.wsml.compiler.node.AConjunction node)
           
 void outAConstraintLogExpr(org.wsmo.wsml.compiler.node.AConstraintLogExpr node)
           
 void outADisjunction(org.wsmo.wsml.compiler.node.ADisjunction node)
           
 void outAImplicationExpr(org.wsmo.wsml.compiler.node.AImplicationExpr node)
           
 void outALpRuleLogExpr(org.wsmo.wsml.compiler.node.ALpRuleLogExpr node)
           
 void outANegatedSubexpr(org.wsmo.wsml.compiler.node.ANegatedSubexpr node)
           
 void outAOtherExpressionLogExpr(org.wsmo.wsml.compiler.node.AOtherExpressionLogExpr node)
           
 void outAQuantified(org.wsmo.wsml.compiler.node.AQuantified node)
           
 
Methods inherited from class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis
caseAAccepteventactionNode, caseAAchievegoalAnykeyword, caseAActivityDiagram, caseAActivityfinalAnykeyword, caseAActivityfinalNode, caseAActivitygroupAnykeyword, caseAActivitygroupcontents, caseAActivitygroupGroup, caseAAddArithOp, caseAAdditionArithVal, caseAAddModifier, caseAAdlink, caseAAggregationAnykeyword, caseAAggregationNode, caseAAndAnykeyword, caseAAnonymousId, caseAAnySqname, caseAApplieschoreographyAnykeyword, caseAApplymediationAnykeyword, caseAArithMathOp, caseAArithVal, caseAArity, caseAAssumptionAnykeyword, caseAAssumptionPrePostAssOrEff, caseAAtomPerform, caseAAtomPerformAchievegoalAtomPerformAlt, caseAAtomPerformReceiveAtomPerformAlt, caseAAtomPerformSendAtomPerformAlt, caseAAtomSimple, caseAAttrDefAttrRelation, caseAAttrFact, caseAAttrFactList, caseAAttribute, caseAAttributeMoleculeMolecule, caseAAttributevalue, caseAAttrRelationAttrFactList, caseAAttrRelationAttrRelList, caseAAttrRelList, caseAAttrSpecification, caseAAttrValAttrRelation, caseAAxiom, caseAAxiomAnykeyword, caseAAxiomOntologyElement, caseACapability, caseACapabilityAnykeyword, caseACardinality, caseACarriesconcept, caseACashewPerform, caseACashewPerformAchievegoalCashewPerformAlt, caseACashewPerformReceiveCashewPerformAlt, caseACashewPerformSendCashewPerformAlt, caseACashewPerformWorkflowCashewPerformAlt, caseACashewSubDefs, caseACashewWorkflow, caseACashewworkflowAnykeyword, caseACashewWorkflowDef, caseAChooseRule, caseAChorAdChoreographyFormalism, caseAChorAsmChoreographyFormalism, caseAChorCashewChoreographyFormalism, caseAChoreography, caseAChoreographyAnykeyword, caseAClientChoreography, caseAClosedWorldAttType, caseAComparison, caseAComparisonSimple, caseAComplexSubexpr, caseAConcept, caseAConceptAnykeyword, caseAConceptModeModeEntry, caseAConceptMoleculeNonpreferredMolecule, caseAConceptMoleculePreferredMolecule, caseAConceptOntologyElement, caseAConcurrentAnykeyword, caseAConcurrentWorkflowPattern, caseAConjunction, caseAConjunctionDisjunction, caseAConstraintAnykeyword, caseAConstraintLogExpr, caseAControlflowAnykeyword, caseAControlflowEdge, caseAControlledModeId, caseADataflowAnykeyword, caseADataflowEdge, caseADataflowMediators, caseADataflowmediatorsAnykeyword, caseADataTerm, caseADatatypeValue, caseADecimal, caseADecimalNumber, caseADecisionAnykeyword, caseADecisionNode, caseADefaultModeModeEntry, caseADefaultnsPrefixdefinitionlist, caseADefaultPrefixdefinition, caseADeferredchoiceAnykeyword, caseADeferredchoiceWorkflowPattern, caseADeferreduntilAnykeyword, caseADeferreduntilWorkflowPattern, caseADeferredwhileAnykeyword, caseADeferredwhileWorkflowPattern, caseADefinedAxiomAxiomdefinition, caseADefinedby, caseADefinedbyAnykeyword, caseADeleteModifier, caseADisjunction, caseADisjunctionExpr, caseADivMulOp, caseAEdgecontents, caseAEffectAnykeyword, caseAEffectPrePostAssOrEff, caseAElseAnykeyword, caseAElseGuard, caseAEnables, caseAEndnfpAnykeyword, caseAEqualCompOp, caseAEquivalentAnykeyword, caseAEquivalentImplyOp, caseAExistsAnykeyword, caseAExistsQuantifierKey, caseAExpressionGuard, caseAExtractionNode, caseAFactMoleculeFact, caseAFactNonpreferredFact, caseAFactPreferredFact, caseAFactRelationFact, caseAFactUpdate, caseAFiniteCardinalityCardinalityNumber, caseAFlowfinalAnykeyword, caseAFlowfinalNode, caseAFlowstartAnykeyword, caseAFlowstartNode, caseAForallAnykeyword, caseAForallQuantifierKey, caseAForallRule, caseAForkAnykeyword, caseAForkNode, caseAGeneralactionNode, caseAGgmediator, caseAGgmediatorAnykeyword, caseAGgmediatorMediator, caseAGoal, caseAGoalAnykeyword, caseAGoalDefinition, caseAGrounding, caseAGtCompOp, caseAGteCompOp, caseAGuardAnykeyword, caseAHasvalueAnykeyword, caseAIdIdlist, caseAIdlistIdlist, caseAIf, caseAIfRule, caseAImplicationExpr, caseAImpliedByAnykeyword, caseAImpliedbyImplyOp, caseAImpliedByLpAnykeyword, caseAImpliesAnykeyword, caseAImpliesImplyOp, caseAImpliestypeAnykeyword, caseAImpliestypeAttrDefOp, caseAImportontologyAnykeyword, caseAImportsontology, caseAImportsontologyHeader, caseAInfiniteCardinalityCardinalityNumber, caseAInModeId, caseAInputpinAnykeyword, caseAInputpinPin, caseAInstance, caseAInstanceAnykeyword, caseAInstanceOntologyElement, caseAInteger, caseAIntegerNumber, caseAInterface, caseAInterfaceAnykeyword, caseAInterleavedAnykeyword, caseAInterleavedWorkflowPattern, caseAInterruptibleregionGroup, caseAInterrupting, caseAInterruptsAnykeyword, caseAInverseAttributefeature, caseAInverseofAnykeyword, caseAInvokeserviceAnykeyword, caseAIriGroundingInfo, caseAIriId, caseAIriIri, caseAIriIrilist, caseAIrilistGroundingInfo, caseAIrilistIrilist, caseAJoinAnykeyword, caseAJoinNode, caseALocalkeywordSqname, caseALogDefinition, caseALpRuleLogExpr, caseALtCompOp, caseALteCompOp, caseAMathFunctionsymbol, caseAMediatorAnykeyword, caseAMediatorDefinition, caseAMemberof, caseAMemberofAnykeyword, caseAMemberofCptOp, caseAMergeAnykeyword, caseAMergeNode, caseAMin2choicelist, caseAMin2perflist, caseAMinterfaces, caseAMode, caseAModeEntryListModeEntryList, caseAModeEntryModeEntryList, caseAMoleculeSimple, caseAMorechoices, caseAMoreids, caseAMoreParamsTermUpdates, caseAMoreparamtype, caseAMoreperfs, caseAMoreprefixdefinitions, caseAMorevalues, caseAMoveTermUpdate, caseAMsources, caseAMulMulOp, caseAMultipleInterfaces, caseAMultipleSources, caseAMultiplicationMultVal, caseAMultMathOp, caseAMultVal, caseANamespace, caseANamespaceAnykeyword, caseANamespacedefPrefixdefinition, caseANbAnonymousTerm, caseANegatedSubexpr, caseANewTermNewTerm, caseANfp, caseANfpAnykeyword, caseANfpAxiomAxiomdefinition, caseANfpHeader, caseANodecontents, caseANotAnykeyword, caseANumericValue, caseAObjectnodeNode, caseAOftypeAnykeyword, caseAOftypeAttrDefOp, caseAOneParamTermUpdates, caseAOntology, caseAOntologyAnykeyword, caseAOntologyDefinition, caseAOomediator, caseAOomediatorAnykeyword, caseAOomediatorMediator, caseAOomediatorNode, caseAOpenWorldAttType, caseAOperationNode, caseAOrAnykeyword, caseAOrchAdOrchestrationFormalism, caseAOrchApplyMediationOrchPerformAlt, caseAOrchAsmOrchestrationFormalism, caseAOrchCashewOrchestrationFormalism, caseAOrchChooseOrchestrationRule, caseAOrchestration, caseAOrchestrationAnykeyword, caseAOrchestrationTransitions, caseAOrchForallOrchestrationRule, caseAOrchIfOrchestrationRule, caseAOrchInvokeServiceOrchPerformAlt, caseAOrchPerformAchievegoalOrchPerformAlt, caseAOrchPerformOrchestrationRule, caseAOrchPerformReceiveOrchPerformAlt, caseAOrchPerformSendOrchPerformAlt, caseAOrchUpdatesOrchestrationRule, caseAOtherExpressionLogExpr, caseAOutModeId, caseAOutputpinAnykeyword, caseAOutputpinPin, caseAParametrizedFunctionsymbol, caseAParamtype, caseAParamtyping, caseAPartnerlink, caseAPerformAnykeyword, caseAPfmediator, caseAPfmediatorAnykeyword, caseAPfmediatorMediator, caseAPipedRuleOrchPipedRule, caseAPipedRulePipedRule, caseAPostconditionAnykeyword, caseAPostconditionPrePostAssOrEff, caseAPpmediator, caseAPpmediatorAnykeyword, caseAPpmediatorMediator, caseAPreconditionAnykeyword, caseAPreconditionPrePostAssOrEff, caseAPrefix, caseAPrefixdefinitionlistPrefixdefinitionlist, caseAQuantified, caseAQuantifiedSubexpr, caseAReceiveAnykeyword, caseAReflexiveAnykeyword, caseAReflexiveAttributefeature, caseARelation, caseARelationAnykeyword, caseARelationinstance, caseARelationInstanceAnykeyword, caseARelationinstanceOntologyElement, caseARelationModeModeEntry, caseARelationOntologyElement, caseARepeatAnykeyword, caseARestrictedLeCondition, caseASemisimple1AdditionArithVal, caseASemisimple2AdditionArithVal, caseASendAnykeyword, caseASendeventactionAnykeyword, caseASendeventactionNode, caseASequentialAnykeyword, caseASequentialWorkflowPattern, caseASharedModeId, caseASharedvardef, caseASharedvariableAnykeyword, caseASimpleAdditionArithVal, caseASimpleSubexpr, caseASingleInterfaces, caseASingleSources, caseASingleTermUpdate, caseASource, caseASourceAnykeyword, caseASqnameIri, caseASslink, caseAStartnode, caseAStartnodeAnykeyword, caseAStateSignature, caseAStaticModeId, caseAStringValue, caseAStrongEqualCompOp, caseASubArithOp, caseASubconceptAnykeyword, caseASubconceptofCptOp, caseASubexprConjunction, caseASubrelationAnykeyword, caseASuperconcept, caseASuperrelation, caseASymmetricAnykeyword, caseASymmetricAttributefeature, caseATarget, caseATargetAnykeyword, caseATermlist, caseATerms, caseATermTermlist, caseATermTerms, caseATermValue, caseATermValuelist, caseATransitions, caseATransitiveAnykeyword, caseATransitiveAttributefeature, caseAUnequalCompOp, caseAUniversalFalsehoodId, caseAUniversalTruthId, caseAUnivfalseAnykeyword, caseAUnivtrueAnykeyword, caseAUnlessAnykeyword, caseAUntilAnykeyword, caseAUntilWorkflowPattern, caseAUpdateModifier, caseAUpdaterule, caseAUpdatesRule, caseAUseAxiomAxiomdefinition, caseAUsemediatorAnykeyword, caseAUseService, caseAUseserviceAnykeyword, caseAUsesmediator, caseAUsesmediatorHeader, caseAValuelistValuelist, caseAVariableListVariablelist, caseAVariables, caseAVariableVariablelist, caseAVariableVariables, caseAVarTerm, caseAWebservice, caseAWebserviceAnykeyword, caseAWebserviceDefinition, caseAWgmediator, caseAWgmediatorAnykeyword, caseAWgmediatorMediator, caseAWhileAnykeyword, caseAWhileWorkflowPattern, caseAWsml, caseAWsmlvariant, caseAWsmlvariantAnykeyword, caseAWwmediator, caseAWwmediatorAnykeyword, caseAWwmediatorMediator, caseAXorWorkflowPattern, caseStart, inAAccepteventactionNode, inAAchievegoalAnykeyword, inAActivityDiagram, inAActivityfinalAnykeyword, inAActivityfinalNode, inAActivitygroupAnykeyword, inAActivitygroupcontents, inAActivitygroupGroup, inAAddArithOp, inAAdditionArithVal, inAAddModifier, inAAdlink, inAAggregationAnykeyword, inAAggregationNode, inAAndAnykeyword, inAAnonymousId, inAAnySqname, inAApplieschoreographyAnykeyword, inAApplymediationAnykeyword, inAArithMathOp, inAArithVal, inAArity, inAAssumptionAnykeyword, inAAssumptionPrePostAssOrEff, inAAtomPerform, inAAtomPerformAchievegoalAtomPerformAlt, inAAtomPerformReceiveAtomPerformAlt, inAAtomPerformSendAtomPerformAlt, inAAtomSimple, inAAttrDefAttrRelation, inAAttrFact, inAAttrFactList, inAAttribute, inAAttributeMoleculeMolecule, inAAttributevalue, inAAttrRelationAttrFactList, inAAttrRelationAttrRelList, inAAttrRelList, inAAttrSpecification, inAAttrValAttrRelation, inAAxiom, inAAxiomAnykeyword, inAAxiomOntologyElement, inACapability, inACapabilityAnykeyword, inACardinality, inACarriesconcept, inACashewPerform, inACashewPerformAchievegoalCashewPerformAlt, inACashewPerformReceiveCashewPerformAlt, inACashewPerformSendCashewPerformAlt, inACashewPerformWorkflowCashewPerformAlt, inACashewSubDefs, inACashewWorkflow, inACashewworkflowAnykeyword, inACashewWorkflowDef, inAChooseRule, inAChorAdChoreographyFormalism, inAChorAsmChoreographyFormalism, inAChorCashewChoreographyFormalism, inAChoreography, inAChoreographyAnykeyword, inAClientChoreography, inAClosedWorldAttType, inAComparison, inAComparisonSimple, inAComplexSubexpr, inAConcept, inAConceptAnykeyword, inAConceptModeModeEntry, inAConceptMoleculeNonpreferredMolecule, inAConceptMoleculePreferredMolecule, inAConceptOntologyElement, inAConcurrentAnykeyword, inAConcurrentWorkflowPattern, inAConjunction, inAConjunctionDisjunction, inAConstraintAnykeyword, inAConstraintLogExpr, inAControlflowAnykeyword, inAControlflowEdge, inAControlledModeId, inADataflowAnykeyword, inADataflowEdge, inADataflowMediators, inADataflowmediatorsAnykeyword, inADataTerm, inADatatypeValue, inADecimal, inADecimalNumber, inADecisionAnykeyword, inADecisionNode, inADefaultModeModeEntry, inADefaultnsPrefixdefinitionlist, inADefaultPrefixdefinition, inADeferredchoiceAnykeyword, inADeferredchoiceWorkflowPattern, inADeferreduntilAnykeyword, inADeferreduntilWorkflowPattern, inADeferredwhileAnykeyword, inADeferredwhileWorkflowPattern, inADefinedAxiomAxiomdefinition, inADefinedby, inADefinedbyAnykeyword, inADeleteModifier, inADisjunction, inADisjunctionExpr, inADivMulOp, inAEdgecontents, inAEffectAnykeyword, inAEffectPrePostAssOrEff, inAElseAnykeyword, inAElseGuard, inAEnables, inAEndnfpAnykeyword, inAEqualCompOp, inAEquivalentAnykeyword, inAEquivalentImplyOp, inAExistsAnykeyword, inAExistsQuantifierKey, inAExpressionGuard, inAExtractionNode, inAFactMoleculeFact, inAFactNonpreferredFact, inAFactPreferredFact, inAFactRelationFact, inAFactUpdate, inAFiniteCardinalityCardinalityNumber, inAFlowfinalAnykeyword, inAFlowfinalNode, inAFlowstartAnykeyword, inAFlowstartNode, inAForallAnykeyword, inAForallQuantifierKey, inAForallRule, inAForkAnykeyword, inAForkNode, inAGeneralactionNode, inAGgmediator, inAGgmediatorAnykeyword, inAGgmediatorMediator, inAGoal, inAGoalAnykeyword, inAGoalDefinition, inAGrounding, inAGtCompOp, inAGteCompOp, inAGuardAnykeyword, inAHasvalueAnykeyword, inAIdIdlist, inAIdlistIdlist, inAIf, inAIfRule, inAImplicationExpr, inAImpliedByAnykeyword, inAImpliedbyImplyOp, inAImpliedByLpAnykeyword, inAImpliesAnykeyword, inAImpliesImplyOp, inAImpliestypeAnykeyword, inAImpliestypeAttrDefOp, inAImportontologyAnykeyword, inAImportsontology, inAImportsontologyHeader, inAInfiniteCardinalityCardinalityNumber, inAInModeId, inAInputpinAnykeyword, inAInputpinPin, inAInstance, inAInstanceAnykeyword, inAInstanceOntologyElement, inAInteger, inAIntegerNumber, inAInterface, inAInterfaceAnykeyword, inAInterleavedAnykeyword, inAInterleavedWorkflowPattern, inAInterruptibleregionGroup, inAInterrupting, inAInterruptsAnykeyword, inAInverseAttributefeature, inAInverseofAnykeyword, inAInvokeserviceAnykeyword, inAIriGroundingInfo, inAIriId, inAIriIri, inAIriIrilist, inAIrilistGroundingInfo, inAIrilistIrilist, inAJoinAnykeyword, inAJoinNode, inALocalkeywordSqname, inALogDefinition, inALpRuleLogExpr, inALtCompOp, inALteCompOp, inAMathFunctionsymbol, inAMediatorAnykeyword, inAMediatorDefinition, inAMemberof, inAMemberofAnykeyword, inAMemberofCptOp, inAMergeAnykeyword, inAMergeNode, inAMin2choicelist, inAMin2perflist, inAMinterfaces, inAMode, inAModeEntryListModeEntryList, inAModeEntryModeEntryList, inAMoleculeSimple, inAMorechoices, inAMoreids, inAMoreParamsTermUpdates, inAMoreparamtype, inAMoreperfs, inAMoreprefixdefinitions, inAMorevalues, inAMoveTermUpdate, inAMsources, inAMulMulOp, inAMultipleInterfaces, inAMultipleSources, inAMultiplicationMultVal, inAMultMathOp, inAMultVal, inANamespace, inANamespaceAnykeyword, inANamespacedefPrefixdefinition, inANbAnonymousTerm, inANegatedSubexpr, inANewTermNewTerm, inANfp, inANfpAnykeyword, inANfpAxiomAxiomdefinition, inANfpHeader, inANodecontents, inANotAnykeyword, inANumericValue, inAObjectnodeNode, inAOftypeAnykeyword, inAOftypeAttrDefOp, inAOneParamTermUpdates, inAOntology, inAOntologyAnykeyword, inAOntologyDefinition, inAOomediator, inAOomediatorAnykeyword, inAOomediatorMediator, inAOomediatorNode, inAOpenWorldAttType, inAOperationNode, inAOrAnykeyword, inAOrchAdOrchestrationFormalism, inAOrchApplyMediationOrchPerformAlt, inAOrchAsmOrchestrationFormalism, inAOrchCashewOrchestrationFormalism, inAOrchChooseOrchestrationRule, inAOrchestration, inAOrchestrationAnykeyword, inAOrchestrationTransitions, inAOrchForallOrchestrationRule, inAOrchIfOrchestrationRule, inAOrchInvokeServiceOrchPerformAlt, inAOrchPerformAchievegoalOrchPerformAlt, inAOrchPerformOrchestrationRule, inAOrchPerformReceiveOrchPerformAlt, inAOrchPerformSendOrchPerformAlt, inAOrchUpdatesOrchestrationRule, inAOtherExpressionLogExpr, inAOutModeId, inAOutputpinAnykeyword, inAOutputpinPin, inAParametrizedFunctionsymbol, inAParamtype, inAParamtyping, inAPartnerlink, inAPerformAnykeyword, inAPfmediator, inAPfmediatorAnykeyword, inAPfmediatorMediator, inAPipedRuleOrchPipedRule, inAPipedRulePipedRule, inAPostconditionAnykeyword, inAPostconditionPrePostAssOrEff, inAPpmediator, inAPpmediatorAnykeyword, inAPpmediatorMediator, inAPreconditionAnykeyword, inAPreconditionPrePostAssOrEff, inAPrefix, inAPrefixdefinitionlistPrefixdefinitionlist, inAQuantified, inAQuantifiedSubexpr, inAReceiveAnykeyword, inAReflexiveAnykeyword, inAReflexiveAttributefeature, inARelation, inARelationAnykeyword, inARelationinstance, inARelationInstanceAnykeyword, inARelationinstanceOntologyElement, inARelationModeModeEntry, inARelationOntologyElement, inARepeatAnykeyword, inARestrictedLeCondition, inASemisimple1AdditionArithVal, inASemisimple2AdditionArithVal, inASendAnykeyword, inASendeventactionAnykeyword, inASendeventactionNode, inASequentialAnykeyword, inASequentialWorkflowPattern, inASharedModeId, inASharedvardef, inASharedvariableAnykeyword, inASimpleAdditionArithVal, inASimpleSubexpr, inASingleInterfaces, inASingleSources, inASingleTermUpdate, inASource, inASourceAnykeyword, inASqnameIri, inASslink, inAStartnode, inAStartnodeAnykeyword, inAStateSignature, inAStaticModeId, inAStringValue, inAStrongEqualCompOp, inASubArithOp, inASubconceptAnykeyword, inASubconceptofCptOp, inASubexprConjunction, inASubrelationAnykeyword, inASuperconcept, inASuperrelation, inASymmetricAnykeyword, inASymmetricAttributefeature, inATarget, inATargetAnykeyword, inATermlist, inATerms, inATermTermlist, inATermTerms, inATermValue, inATermValuelist, inATransitions, inATransitiveAnykeyword, inATransitiveAttributefeature, inAUnequalCompOp, inAUniversalFalsehoodId, inAUniversalTruthId, inAUnivfalseAnykeyword, inAUnivtrueAnykeyword, inAUnlessAnykeyword, inAUntilAnykeyword, inAUntilWorkflowPattern, inAUpdateModifier, inAUpdaterule, inAUpdatesRule, inAUseAxiomAxiomdefinition, inAUsemediatorAnykeyword, inAUseService, inAUseserviceAnykeyword, inAUsesmediator, inAUsesmediatorHeader, inAValuelistValuelist, inAVariableListVariablelist, inAVariables, inAVariableVariablelist, inAVariableVariables, inAVarTerm, inAWebservice, inAWebserviceAnykeyword, inAWebserviceDefinition, inAWgmediator, inAWgmediatorAnykeyword, inAWgmediatorMediator, inAWhileAnykeyword, inAWhileWorkflowPattern, inAWsml, inAWsmlvariant, inAWsmlvariantAnykeyword, inAWwmediator, inAWwmediatorAnykeyword, inAWwmediatorMediator, inAXorWorkflowPattern, inStart, outAAccepteventactionNode, outAAchievegoalAnykeyword, outAActivityDiagram, outAActivityfinalAnykeyword, outAActivityfinalNode, outAActivitygroupAnykeyword, outAActivitygroupcontents, outAActivitygroupGroup, outAAddArithOp, outAAdditionArithVal, outAAddModifier, outAAdlink, outAAggregationAnykeyword, outAAggregationNode, outAAndAnykeyword, outAAnonymousId, outAAnySqname, outAApplieschoreographyAnykeyword, outAApplymediationAnykeyword, outAArithMathOp, outAArithVal, outAArity, outAAssumptionAnykeyword, outAAssumptionPrePostAssOrEff, outAAtomPerform, outAAtomPerformAchievegoalAtomPerformAlt, outAAtomPerformReceiveAtomPerformAlt, outAAtomPerformSendAtomPerformAlt, outAAtomSimple, outAAttrDefAttrRelation, outAAttrFact, outAAttrFactList, outAAttribute, outAAttributeMoleculeMolecule, outAAttributevalue, outAAttrRelationAttrFactList, outAAttrRelationAttrRelList, outAAttrRelList, outAAttrSpecification, outAAttrValAttrRelation, outAAxiom, outAAxiomAnykeyword, outAAxiomOntologyElement, outACapability, outACapabilityAnykeyword, outACardinality, outACarriesconcept, outACashewPerform, outACashewPerformAchievegoalCashewPerformAlt, outACashewPerformReceiveCashewPerformAlt, outACashewPerformSendCashewPerformAlt, outACashewPerformWorkflowCashewPerformAlt, outACashewSubDefs, outACashewWorkflow, outACashewworkflowAnykeyword, outACashewWorkflowDef, outAChooseRule, outAChorAdChoreographyFormalism, outAChorAsmChoreographyFormalism, outAChorCashewChoreographyFormalism, outAChoreography, outAChoreographyAnykeyword, outAClientChoreography, outAClosedWorldAttType, outAComparison, outAComparisonSimple, outAComplexSubexpr, outAConcept, outAConceptAnykeyword, outAConceptModeModeEntry, outAConceptMoleculeNonpreferredMolecule, outAConceptMoleculePreferredMolecule, outAConceptOntologyElement, outAConcurrentAnykeyword, outAConcurrentWorkflowPattern, outAConjunctionDisjunction, outAConstraintAnykeyword, outAControlflowAnykeyword, outAControlflowEdge, outAControlledModeId, outADataflowAnykeyword, outADataflowEdge, outADataflowMediators, outADataflowmediatorsAnykeyword, outADataTerm, outADatatypeValue, outADecimal, outADecimalNumber, outADecisionAnykeyword, outADecisionNode, outADefaultModeModeEntry, outADefaultnsPrefixdefinitionlist, outADefaultPrefixdefinition, outADeferredchoiceAnykeyword, outADeferredchoiceWorkflowPattern, outADeferreduntilAnykeyword, outADeferreduntilWorkflowPattern, outADeferredwhileAnykeyword, outADeferredwhileWorkflowPattern, outADefinedAxiomAxiomdefinition, outADefinedby, outADefinedbyAnykeyword, outADeleteModifier, outADisjunctionExpr, outADivMulOp, outAEdgecontents, outAEffectAnykeyword, outAEffectPrePostAssOrEff, outAElseAnykeyword, outAElseGuard, outAEnables, outAEndnfpAnykeyword, outAEqualCompOp, outAEquivalentAnykeyword, outAEquivalentImplyOp, outAExistsAnykeyword, outAExistsQuantifierKey, outAExpressionGuard, outAExtractionNode, outAFactMoleculeFact, outAFactNonpreferredFact, outAFactPreferredFact, outAFactRelationFact, outAFactUpdate, outAFiniteCardinalityCardinalityNumber, outAFlowfinalAnykeyword, outAFlowfinalNode, outAFlowstartAnykeyword, outAFlowstartNode, outAForallAnykeyword, outAForallQuantifierKey, outAForallRule, outAForkAnykeyword, outAForkNode, outAGeneralactionNode, outAGgmediator, outAGgmediatorAnykeyword, outAGgmediatorMediator, outAGoal, outAGoalAnykeyword, outAGoalDefinition, outAGrounding, outAGtCompOp, outAGteCompOp, outAGuardAnykeyword, outAHasvalueAnykeyword, outAIdIdlist, outAIdlistIdlist, outAIf, outAIfRule, outAImpliedByAnykeyword, outAImpliedbyImplyOp, outAImpliedByLpAnykeyword, outAImpliesAnykeyword, outAImpliesImplyOp, outAImpliestypeAnykeyword, outAImpliestypeAttrDefOp, outAImportontologyAnykeyword, outAImportsontology, outAImportsontologyHeader, outAInfiniteCardinalityCardinalityNumber, outAInModeId, outAInputpinAnykeyword, outAInputpinPin, outAInstance, outAInstanceAnykeyword, outAInstanceOntologyElement, outAInteger, outAIntegerNumber, outAInterface, outAInterfaceAnykeyword, outAInterleavedAnykeyword, outAInterleavedWorkflowPattern, outAInterruptibleregionGroup, outAInterrupting, outAInterruptsAnykeyword, outAInverseAttributefeature, outAInverseofAnykeyword, outAInvokeserviceAnykeyword, outAIriGroundingInfo, outAIriId, outAIriIri, outAIriIrilist, outAIrilistGroundingInfo, outAIrilistIrilist, outAJoinAnykeyword, outAJoinNode, outALocalkeywordSqname, outALogDefinition, outALtCompOp, outALteCompOp, outAMathFunctionsymbol, outAMediatorAnykeyword, outAMediatorDefinition, outAMemberof, outAMemberofAnykeyword, outAMemberofCptOp, outAMergeAnykeyword, outAMergeNode, outAMin2choicelist, outAMin2perflist, outAMinterfaces, outAMode, outAModeEntryListModeEntryList, outAModeEntryModeEntryList, outAMoleculeSimple, outAMorechoices, outAMoreids, outAMoreParamsTermUpdates, outAMoreparamtype, outAMoreperfs, outAMoreprefixdefinitions, outAMorevalues, outAMoveTermUpdate, outAMsources, outAMulMulOp, outAMultipleInterfaces, outAMultipleSources, outAMultiplicationMultVal, outAMultMathOp, outAMultVal, outANamespace, outANamespaceAnykeyword, outANamespacedefPrefixdefinition, outANbAnonymousTerm, outANewTermNewTerm, outANfp, outANfpAnykeyword, outANfpAxiomAxiomdefinition, outANfpHeader, outANodecontents, outANotAnykeyword, outANumericValue, outAObjectnodeNode, outAOftypeAnykeyword, outAOftypeAttrDefOp, outAOneParamTermUpdates, outAOntology, outAOntologyAnykeyword, outAOntologyDefinition, outAOomediator, outAOomediatorAnykeyword, outAOomediatorMediator, outAOomediatorNode, outAOpenWorldAttType, outAOperationNode, outAOrAnykeyword, outAOrchAdOrchestrationFormalism, outAOrchApplyMediationOrchPerformAlt, outAOrchAsmOrchestrationFormalism, outAOrchCashewOrchestrationFormalism, outAOrchChooseOrchestrationRule, outAOrchestration, outAOrchestrationAnykeyword, outAOrchestrationTransitions, outAOrchForallOrchestrationRule, outAOrchIfOrchestrationRule, outAOrchInvokeServiceOrchPerformAlt, outAOrchPerformAchievegoalOrchPerformAlt, outAOrchPerformOrchestrationRule, outAOrchPerformReceiveOrchPerformAlt, outAOrchPerformSendOrchPerformAlt, outAOrchUpdatesOrchestrationRule, outAOutModeId, outAOutputpinAnykeyword, outAOutputpinPin, outAParametrizedFunctionsymbol, outAParamtype, outAParamtyping, outAPartnerlink, outAPerformAnykeyword, outAPfmediator, outAPfmediatorAnykeyword, outAPfmediatorMediator, outAPipedRuleOrchPipedRule, outAPipedRulePipedRule, outAPostconditionAnykeyword, outAPostconditionPrePostAssOrEff, outAPpmediator, outAPpmediatorAnykeyword, outAPpmediatorMediator, outAPreconditionAnykeyword, outAPreconditionPrePostAssOrEff, outAPrefix, outAPrefixdefinitionlistPrefixdefinitionlist, outAQuantifiedSubexpr, outAReceiveAnykeyword, outAReflexiveAnykeyword, outAReflexiveAttributefeature, outARelation, outARelationAnykeyword, outARelationinstance, outARelationInstanceAnykeyword, outARelationinstanceOntologyElement, outARelationModeModeEntry, outARelationOntologyElement, outARepeatAnykeyword, outARestrictedLeCondition, outASemisimple1AdditionArithVal, outASemisimple2AdditionArithVal, outASendAnykeyword, outASendeventactionAnykeyword, outASendeventactionNode, outASequentialAnykeyword, outASequentialWorkflowPattern, outASharedModeId, outASharedvardef, outASharedvariableAnykeyword, outASimpleAdditionArithVal, outASimpleSubexpr, outASingleInterfaces, outASingleSources, outASingleTermUpdate, outASource, outASourceAnykeyword, outASqnameIri, outASslink, outAStartnode, outAStartnodeAnykeyword, outAStateSignature, outAStaticModeId, outAStringValue, outAStrongEqualCompOp, outASubArithOp, outASubconceptAnykeyword, outASubconceptofCptOp, outASubexprConjunction, outASubrelationAnykeyword, outASuperconcept, outASuperrelation, outASymmetricAnykeyword, outASymmetricAttributefeature, outATarget, outATargetAnykeyword, outATermlist, outATerms, outATermTermlist, outATermTerms, outATermValue, outATermValuelist, outATransitions, outATransitiveAnykeyword, outATransitiveAttributefeature, outAUnequalCompOp, outAUniversalFalsehoodId, outAUniversalTruthId, outAUnivfalseAnykeyword, outAUnivtrueAnykeyword, outAUnlessAnykeyword, outAUntilAnykeyword, outAUntilWorkflowPattern, outAUpdateModifier, outAUpdaterule, outAUpdatesRule, outAUseAxiomAxiomdefinition, outAUsemediatorAnykeyword, outAUseService, outAUseserviceAnykeyword, outAUsesmediator, outAUsesmediatorHeader, outAValuelistValuelist, outAVariableListVariablelist, outAVariables, outAVariableVariablelist, outAVariableVariables, outAVarTerm, outAWebservice, outAWebserviceAnykeyword, outAWebserviceDefinition, outAWgmediator, outAWgmediatorAnykeyword, outAWgmediatorMediator, outAWhileAnykeyword, outAWhileWorkflowPattern, outAWsml, outAWsmlvariant, outAWsmlvariantAnykeyword, outAWwmediator, outAWwmediatorAnykeyword, outAWwmediatorMediator, outAXorWorkflowPattern, outStart
 
Methods inherited from class org.wsmo.wsml.compiler.analysis.AnalysisAdapter
caseEOF, caseTAddOp, caseTAnonymous, caseTComma, caseTDivOp, caseTEndpoint, caseTEqual, caseTFullIri, caseTGt, caseTGte, caseTHash, caseTLbrace, caseTLbracket, caseTLpar, caseTLt, caseTLte, caseTName, caseTNbAnonymous, caseTPosDecimal, caseTPosInteger, caseTRbrace, caseTRbracket, caseTRpar, caseTStar, caseTString, caseTStrongEqual, caseTSubOp, caseTTAccepteventaction, caseTTAchievegoal, caseTTActivitydiagram, caseTTActivityfinal, caseTTActivitygroup, caseTTAdd, caseTTAdmediator, caseTTAggregation, caseTTAnd, caseTTApplieschoreography, caseTTApplymediation, caseTTAsm, caseTTAssumption, caseTTAt, caseTTAxiom, caseTTBlank, caseTTCapability, caseTTCarriesconcept, caseTTCashewworkflow, caseTTChoose, caseTTChoreography, caseTTComment, caseTTConcept, caseTTConcurrent, caseTTConstraint, caseTTControlflow, caseTTControlled, caseTTDataflow, caseTTDataflowmediators, caseTTDecision, caseTTDeferredchoice, caseTTDeferreduntil, caseTTDeferredwhile, caseTTDefinedby, caseTTDefines, caseTTDelete, caseTTDo, caseTTEffect, caseTTElse, caseTTEnables, caseTTEndcapability, caseTTEndchoose, caseTTEndforall, caseTTEndif, caseTTEndnfp, caseTTEquivalent, caseTTExists, caseTTExtraction, caseTTFlowfinal, caseTTFlowstart, caseTTForall, caseTTFork, caseTTGeneralaction, caseTTGgmediator, caseTTGoal, caseTTGuard, caseTTHascapability, caseTTHasvalue, caseTTIf, caseTTImpliedBy, caseTTImpliedByLp, caseTTImplies, caseTTImpliestype, caseTTImportontology, caseTTIn, caseTTInputpin, caseTTInstance, caseTTInterface, caseTTInterleaved, caseTTInterruptibleregion, caseTTInterrupts, caseTTInverseof, caseTTInvokeservice, caseTTJoin, caseTTMediation, caseTTMemberof, caseTTMerge, caseTTMoveto, caseTTNamespace, caseTTNfp, caseTTNot, caseTTObjectnode, caseTTOftype, caseTTOntology, caseTTOomediator, caseTTOperation, caseTTOr, caseTTOrchestration, caseTTOut, caseTTOutputpin, caseTTPartnerlink, caseTTPerform, caseTTPfmediator, caseTTPipe, caseTTPostcondition, caseTTPpmediator, caseTTPrecondition, caseTTReceive, caseTTReflexive, caseTTRelation, caseTTRelationInstance, caseTTRepeat, caseTTSend, caseTTSendeventaction, caseTTSequential, caseTTShared, caseTTSharedvariable, caseTTSource, caseTTSslink, caseTTStartnode, caseTTStateSignature, caseTTStatic, caseTTSubconcept, caseTTSubrelation, caseTTSymmetric, caseTTTarget, caseTTThen, caseTTTransitions, caseTTTransitive, caseTTUnivfalse, caseTTUnivtrue, caseTTUnless, caseTTUntil, caseTTUpdate, caseTTUsemediator, caseTTUseservice, caseTTWebservice, caseTTWgmediator, caseTTWhile, caseTTWith, caseTTWithGrounding, caseTTWorkflow, caseTTWsmlvariant, caseTTWwmediator, caseTTXor, caseTUnequal, caseTVariable, defaultCase, getIn, getOut, setIn, setOut
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CompoundExpressionAnalysis

public CompoundExpressionAnalysis(com.ontotext.wsmo4j.parser.wsml.ASTAnalysisContainer container,
                                  org.wsmo.factory.LogicalExpressionFactory lFactory)
Adapter for all Compound Expressions

Parameters:
container -
lFactory -
Method Detail

outAOtherExpressionLogExpr

public void outAOtherExpressionLogExpr(org.wsmo.wsml.compiler.node.AOtherExpressionLogExpr node)
Overrides:
outAOtherExpressionLogExpr in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outAConjunction

public void outAConjunction(org.wsmo.wsml.compiler.node.AConjunction node)
Overrides:
outAConjunction in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outADisjunction

public void outADisjunction(org.wsmo.wsml.compiler.node.ADisjunction node)
Overrides:
outADisjunction in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outAConstraintLogExpr

public void outAConstraintLogExpr(org.wsmo.wsml.compiler.node.AConstraintLogExpr node)
Overrides:
outAConstraintLogExpr in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outALpRuleLogExpr

public void outALpRuleLogExpr(org.wsmo.wsml.compiler.node.ALpRuleLogExpr node)
Overrides:
outALpRuleLogExpr in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outAQuantified

public void outAQuantified(org.wsmo.wsml.compiler.node.AQuantified node)
Overrides:
outAQuantified in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outANegatedSubexpr

public void outANegatedSubexpr(org.wsmo.wsml.compiler.node.ANegatedSubexpr node)
Overrides:
outANegatedSubexpr in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis

outAImplicationExpr

public void outAImplicationExpr(org.wsmo.wsml.compiler.node.AImplicationExpr node)
Overrides:
outAImplicationExpr in class com.ontotext.wsmo4j.parser.wsml.ASTAnalysis


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.