SAerror

void SAerror ( unsigned int  code, string  information, int  lineNumber   ) prints static analysis error messages Outputs error messages triggered by several static tests. The static anaylsis codes are taken from the WS-BPEL 2.0 specification. For each error code, a standard problem description is printed. Parameters: code  code of the static analysis error information  additional information about the error lineNumber  a line number to locate the error Definition at line 582 of file debug.cc. Referenced by WSDL_PortType::addOperation(), check_SA00070(), check_SA00071(), ASTE::checkAttributes(), ASTE::checkAttributeType(), ASTE::checkCorrelationSet(), CFGBlock::checkForCyclicControlDependency(), CFGBlock::checkForCyclicLinks(), ASTE::checkLink(), ASTE::checkMessageExchange(), ASTE::checkPartnerLink(), WSDL::checkVariable(), ASTE::defineCorrelationSet(), ASTE::defineLink(), ASTE::definePartnerLink(), ASTE::defineVariable(), and SAerror(). { globals::static_analysis_errors++; if (!globals::abstract_process) cerr << colorconsole::fg_red; else cerr << colorconsole::fg_magenta; cerr << globals::filename; if (lineNumber != 0) cerr << ":" << lineNumber; cerr << " - "; cerr << "[SA"; cerr << setfill('0') << setw(5) << code; cerr << "]\n"; cerr << colorconsole::fg_standard; // [SA00065] is critical if (code == 65) { cleanup(); exit(1); } if (debug_level == TRACE_ERROR) return; switch (code) { case(2): { cerr << "operation `" << information << "' is overloaded in the WSDL file" << endl; break; } case(3): { cerr << "<catch> must not be applied to the standard fault `" << information << "' when parent scope has attribute `exitOnStandardFault' set to `yes'" << endl; break; } case(5): { cerr << information << " does not match the portType specified by the combination of partnerLink and role in the WSDL description" << endl; break; } case(6): { cerr << "<rethrow> activity must only be used within <catch> or <catchAll>" << endl; break; } case(7): { cerr << "<compensateScope> activity must only be used within an FTC-handler" << endl; break; } case(8): { cerr << "<compensate> activity must only be used within an FTC-handler" << endl; break; } case(15): { cerr << "<process> does not contain a start activity" << endl; break; } case(16): { cerr << "<partnerLink> `" << information << "' neither specifies `myRole' nor `partnerRole'" << endl; break; } case(17): { cerr << "<partnerLink> `" << information << "' uses `initializePartnerRole' but does not have a partner role" << endl; break; } case(18): { cerr << "<partnerLink> `" << information << "' already defined in this scope/process" << endl; break; } case(23): { cerr << "<variable> `" << information << "' already defined in this scope/process" << endl; break; } case(24): { cerr << "attribute `" << information << "' must be of type `BPELVariableName'" << endl; break; } case(25): { cerr << "<variable> `" << information << "' must either use `messageType', `type' or `element' attribute" << endl; break; } case(32): { cerr << "<" << information << "> has an invalid combination of attributes and/or elements" << endl; break; } case(35): { cerr << "attribute `endpointReference' in <from> element is only allowed to be `myRole' if a `myRole' attribute is definied for the used <partnerLink> `" << information << "'" << endl; break; } case(36): { cerr << "attribute `endpointReference' in <from> element is only allowed to be `partnerRole' if a `partnerRole' attribute is definied for the used <partnerLink> `"<< information << "'"<< endl; break; } case(37): { cerr << "<partnerLink> `" << information << "' referenced in a <to> element must define the attribute `partnerRole'" << endl; break; } case(44): { cerr << "<correlationSet> `" << information << "' already defined in this scope/process" << endl; break; } case(48): { cerr << "<" << information << "> is using a variable of a wrong messageType" << endl; break; } case(51): { cerr << "<invoke> must not be used with an inputVariable AND <toPart> elements" << endl; break; } case(52): { cerr << "<invoke> must not be used with an outputVariable AND <fromPart> elements" << endl; break; } case(55): { cerr << "<receive> must not be used with a variable AND <fromPart> elements" << endl; break; } case(56): { cerr << "<" << information << ">: start activity must not be preceeded by another activity" << endl; break; } case(57): { cerr << "all start activities must share a correlation set with `initiate' set to \"join\"" << endl; break; } case(58): { cerr << "<" << information << "> is using a variable of a wrong messageType" << endl; break; } case(59): { cerr << "<reply> must not be used with a variable AND <toPart> elements" << endl; break; } case(60): { cerr << "could not find an explicit corresponding incoming message activity for the <reply>" << endl; break; } case(61): { cerr << "messageExchange \"" << information << "\" is not defined in any enclosing scope" << endl; break; } case(62): { cerr << "<pick> start activity must only contain <onMessage> branches" << endl; break; } case(63): { cerr << "<onMessage> must not be used with a variable AND <fromPart> elements" << endl; break; } case(64): { cerr << "<link> `" << information << "' already defined in this <flow>" << endl; break; } case(65): { cerr << "<link> `" << information << "' was not defined before" << endl; break; } case(66): { cerr << "<link> `" << information << "' must be used exactly once as source and target" << endl; break; } case(67): { cerr << "<link> " << information << " connect the same activity" << endl; break; } case(68): { cerr << information << " more than once as source" << endl; break; } case(69): { cerr << information << " more than once as target" << endl; break; } case(70): { cerr << "<link> `" << information << "' crosses boundary of a repeatable construct or of a compensation handler" << endl; break; } case(71): { cerr << "<link> `" << information << "' crosses boundary of a fault handler or a termination handler, but is inbound" << endl; break; } case(72): { cerr << "<link> `" << information << "' closes a control cycle" << endl; break; } case(73): { cerr << "<link> `" << information << "' used in a join condition is not an incoming link of this activity" << endl; break; } case(74): { cerr << information << endl; break; } case(75): { cerr << "<forEach>'s constant <completionCondition> can never be fulfilled" << endl; break; } case(76): { cerr << "<variable> `" << information << "' hides enclosing <forEach>'s `counterName'" << endl; break; } case(77): { cerr << "<scope> `" << information << "' is not immediately enclosed to current scope" << endl; break; } case(78): { cerr << "`" << information << "' does not refer to a <scope> or an <invoke> activity" << endl; break; } case(79): { cerr << "root <scope> inside <" << information << "> must not have a <compensationHandler>" << endl; break; } case(80): { cerr << "<faultHandlers> have no <catch> or <catchAll> element" << endl; break; } case(81): { cerr << "<catch> attribute " << information << endl; break; } case(82): { cerr << "peer-scope dependency relation must not include cycles" << endl; break; } case(83): { cerr << "<eventHandlers> have neither <onEvent> nor <onAlarm> element" << endl; break; } case(84): { cerr << "partnerLink reference `" << information << "' of <onEvent> cannot be resolved" << endl; break; } case(87): { cerr << "<" << information << "> is using a variable of a wrong messageType" << endl; break; } case(88): { cerr << "<correlation> reference `" << information << "' of <onEvent> cannot be resolved" << endl; break; } case(91): { cerr << "an isolated <scope> may not contain other isolated scopes" << endl; break; } case(92): { cerr << "<scope> with name `" << information << "' defined twice" << endl; break; } case(93): { cerr << "<catch> construct defined twice" << endl; break; } default: cerr << endl; } cerr << endl; } Here is the caller graph for this function:

---