com.ontotext.wsmo4j.parser.wsml
Class ServiceAnalysis

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

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


Constructor Summary
ServiceAnalysis(com.ontotext.wsmo4j.parser.wsml.ASTAnalysisContainer container, org.wsmo.factory.WsmoFactory factory, org.wsmo.factory.LogicalExpressionFactory leFactory)
           
 
Method Summary
static void copyNFP(org.wsmo.common.Entity oldE, org.wsmo.common.Entity newE)
           
 void inACapability(org.wsmo.wsml.compiler.node.ACapability node)
           
 void inAChoreography(org.wsmo.wsml.compiler.node.AChoreography node)
           
 void inAGoal(org.wsmo.wsml.compiler.node.AGoal node)
           
 void inAInterface(org.wsmo.wsml.compiler.node.AInterface node)
           
 void inAOrchestration(org.wsmo.wsml.compiler.node.AOrchestration node)
           
 void inASharedvardef(org.wsmo.wsml.compiler.node.ASharedvardef node)
           
 void inAWebservice(org.wsmo.wsml.compiler.node.AWebservice node)
           
 void outAAssumptionPrePostAssOrEff(org.wsmo.wsml.compiler.node.AAssumptionPrePostAssOrEff node)
           
 void outACapability(org.wsmo.wsml.compiler.node.ACapability node)
           
 void outAChoreography(org.wsmo.wsml.compiler.node.AChoreography node)
           
 void outAEffectPrePostAssOrEff(org.wsmo.wsml.compiler.node.AEffectPrePostAssOrEff node)
           
 void outAGoal(org.wsmo.wsml.compiler.node.AGoal node)
           
 void outAInterface(org.wsmo.wsml.compiler.node.AInterface node)
           
 void outAOrchestration(org.wsmo.wsml.compiler.node.AOrchestration node)
           
 void outAPostconditionPrePostAssOrEff(org.wsmo.wsml.compiler.node.APostconditionPrePostAssOrEff node)
           
 void outAPreconditionPrePostAssOrEff(org.wsmo.wsml.compiler.node.APreconditionPrePostAssOrEff node)
           
 void outAWebservice(org.wsmo.wsml.compiler.node.AWebservice node)
           
 void setCleanOnParse(boolean cleanOnParse)
           
 
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, inACapabilityAnykeyword, inACardinality, inACarriesconcept, inACashewPerform, inACashewPerformAchievegoalCashewPerformAlt, inACashewPerformReceiveCashewPerformAlt, inACashewPerformSendCashewPerformAlt, inACashewPerformWorkflowCashewPerformAlt, inACashewSubDefs, inACashewWorkflow, inACashewworkflowAnykeyword, inACashewWorkflowDef, inAChooseRule, inAChorAdChoreographyFormalism, inAChorAsmChoreographyFormalism, inAChorCashewChoreographyFormalism, 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, 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, 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, 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, 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, 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, outAAtomPerform, outAAtomPerformAchievegoalAtomPerformAlt, outAAtomPerformReceiveAtomPerformAlt, outAAtomPerformSendAtomPerformAlt, outAAtomSimple, outAAttrDefAttrRelation, outAAttrFact, outAAttrFactList, outAAttribute, outAAttributeMoleculeMolecule, outAAttributevalue, outAAttrRelationAttrFactList, outAAttrRelationAttrRelList, outAAttrRelList, outAAttrSpecification, outAAttrValAttrRelation, outAAxiom, outAAxiomAnykeyword, outAAxiomOntologyElement, outACapabilityAnykeyword, outACardinality, outACarriesconcept, outACashewPerform, outACashewPerformAchievegoalCashewPerformAlt, outACashewPerformReceiveCashewPerformAlt, outACashewPerformSendCashewPerformAlt, outACashewPerformWorkflowCashewPerformAlt, outACashewSubDefs, outACashewWorkflow, outACashewworkflowAnykeyword, outACashewWorkflowDef, outAChooseRule, outAChorAdChoreographyFormalism, outAChorAsmChoreographyFormalism, outAChorCashewChoreographyFormalism, outAChoreographyAnykeyword, outAClientChoreography, outAClosedWorldAttType, outAComparison, outAComparisonSimple, outAComplexSubexpr, outAConcept, outAConceptAnykeyword, outAConceptModeModeEntry, outAConceptMoleculeNonpreferredMolecule, outAConceptMoleculePreferredMolecule, outAConceptOntologyElement, outAConcurrentAnykeyword, outAConcurrentWorkflowPattern, outAConjunction, outAConjunctionDisjunction, outAConstraintAnykeyword, outAConstraintLogExpr, 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, outADisjunction, outADisjunctionExpr, outADivMulOp, outAEdgecontents, outAEffectAnykeyword, 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, outAGoalAnykeyword, outAGoalDefinition, outAGrounding, outAGtCompOp, outAGteCompOp, outAGuardAnykeyword, outAHasvalueAnykeyword, outAIdIdlist, outAIdlistIdlist, outAIf, outAIfRule, outAImplicationExpr, outAImpliedByAnykeyword, outAImpliedbyImplyOp, outAImpliedByLpAnykeyword, outAImpliesAnykeyword, outAImpliesImplyOp, outAImpliestypeAnykeyword, outAImpliestypeAttrDefOp, outAImportontologyAnykeyword, outAImportsontology, outAImportsontologyHeader, outAInfiniteCardinalityCardinalityNumber, outAInModeId, outAInputpinAnykeyword, outAInputpinPin, outAInstance, outAInstanceAnykeyword, outAInstanceOntologyElement, outAInteger, outAIntegerNumber, outAInterfaceAnykeyword, outAInterleavedAnykeyword, outAInterleavedWorkflowPattern, outAInterruptibleregionGroup, outAInterrupting, outAInterruptsAnykeyword, outAInverseAttributefeature, outAInverseofAnykeyword, outAInvokeserviceAnykeyword, outAIriGroundingInfo, outAIriId, outAIriIri, outAIriIrilist, outAIrilistGroundingInfo, outAIrilistIrilist, outAJoinAnykeyword, outAJoinNode, outALocalkeywordSqname, outALogDefinition, outALpRuleLogExpr, 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, outANegatedSubexpr, 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, outAOrchestrationAnykeyword, outAOrchestrationTransitions, outAOrchForallOrchestrationRule, outAOrchIfOrchestrationRule, outAOrchInvokeServiceOrchPerformAlt, outAOrchPerformAchievegoalOrchPerformAlt, outAOrchPerformOrchestrationRule, outAOrchPerformReceiveOrchPerformAlt, outAOrchPerformSendOrchPerformAlt, outAOrchUpdatesOrchestrationRule, outAOtherExpressionLogExpr, outAOutModeId, outAOutputpinAnykeyword, outAOutputpinPin, outAParametrizedFunctionsymbol, outAParamtype, outAParamtyping, outAPartnerlink, outAPerformAnykeyword, outAPfmediator, outAPfmediatorAnykeyword, outAPfmediatorMediator, outAPipedRuleOrchPipedRule, outAPipedRulePipedRule, outAPostconditionAnykeyword, outAPpmediator, outAPpmediatorAnykeyword, outAPpmediatorMediator, outAPreconditionAnykeyword, outAPrefix, outAPrefixdefinitionlistPrefixdefinitionlist, outAQuantified, 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, 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

ServiceAnalysis

public ServiceAnalysis(com.ontotext.wsmo4j.parser.wsml.ASTAnalysisContainer container,
                       org.wsmo.factory.WsmoFactory factory,
                       org.wsmo.factory.LogicalExpressionFactory leFactory)
Method Detail

setCleanOnParse

public void setCleanOnParse(boolean cleanOnParse)

inAWebservice

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

outAWebservice

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

inAGoal

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

outAGoal

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

inACapability

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

outACapability

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

outAPostconditionPrePostAssOrEff

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

outAPreconditionPrePostAssOrEff

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

outAAssumptionPrePostAssOrEff

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

outAEffectPrePostAssOrEff

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

inASharedvardef

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

inAInterface

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

outAInterface

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

inAOrchestration

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

outAOrchestration

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

inAChoreography

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

outAChoreography

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

copyNFP

public static void copyNFP(org.wsmo.common.Entity oldE,
                           org.wsmo.common.Entity newE)


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