Variables | |
| string | currentScope |
| prefix of the current scope (read by the stop pattern and used to direct failures to the correct fault_in place) | |
| map< string, CFGBlock * > | cfgMap |
| maps the name of a node in the CFG to an actual block pointer | |
| string | forEach_suffix = "" |
| used to generate parallel <forEach> scopes | |
| map< string, unsigned int > | ASTE_inputChannels |
| set of input channel names | |
| map< string, unsigned int > | ASTE_outputChannels |
| set of output channel names | |
| map< string, string > | ASTE_channel_to_port |
| a mapping from channel names to port names | |
| set< string > | ASTE_correlationSetNames |
| set of (prefixed) correlation set names | |
| set< string > | ASTE_variableNames |
| set of (prefixed) variable names | |
| set< string > | ASTE_messageExchangeNames |
| set of (prefixed) messageExchange names | |
| set< string > | ASTE_partnerLinkNames |
| set of (prefixed) partner link names | |
| set< string > | ASTE_linkNames |
| set of (prefixed) link names | |
| set< unsigned int > | ASTE_IMAs |
| set of incoming message activities | |
| set< unsigned int > | ASTE_startActivities |
| set of ASTE identifiers of the start activities | |
| map< string, string > | ASTE_variableMap |
| mapping of (prefixed) variable names to corresponding message types | |
| map< string, unsigned int > | ASTE_linkIdMap |
| mapping of link names to ASTE identifiers | |
| map< string, unsigned int > | ASTE_scopeNames |
| mapping of scope names to ASTE identifiers | |
| map< string, unsigned int > | ASTE_partnerLinks |
| mapping of partner links to ASTE identifiers | |
| map< string, unsigned int > | joinCondition_links |
| mapping of link names to temporary link numbers | |
| map< unsigned int, bool > | joinCondition_linkStatus |
| mapping of temporary link numbers to Boolean value | |
| map< unsigned int, map< unsigned int, bool > > | joinCondition_result |
| mapping of join conditions and an assignment number to a Boolean result. | |
| map< unsigned int, unsigned int > | PPhasCompensateMap |
| unsigned int | PPcurrentScope = 0 |
| the identifier of the current scope | |
| s_process_information | process_information = {0,0,0,0,0,0,0,0,0,0,0} |
| statistics about the activities and handlers of the process | |
| s_wsdl_information | wsdl_information = {0,0,0,0,0,0,0,0,0} |
| statistics about the optional WSDL file | |
| map< unsigned int, ASTE * > | ASTEmap |
| mapping of AST phylum identifiers to ASTE objects | |
| map< unsigned int, map< string, string > > | temporaryAttributeMap |
| A temporary mapping of attributes. This mapping is filled during parsing and is copied during post-processing to the AST annotation. | |
| int | ASTEid = 1 |
| Identifier of the next AST element. The process's id is 1. | |
| kc::tProcess | AST |
| The root of the abstract syntax tree. | |
| string | visArcs = "" |
| String to gather arc information for visualization. | |
| string | invocation = "" |
| string holding the invocation of BPEL2oWFN | |
| string | program_name = "" |
| string holding the called program name of BPEL2oWFN | |
| string | filename = "<STDIN>" |
| filename of input file | |
| string | output_filename = "" |
| filename of output file | |
| map< possibleParameters, bool > | parameters |
| parameters (set by parse_command_line) | |
| string | last_error_token = "" |
| the last token that was displayed in an error message | |
| string | last_error_line = "" |
| the line of the last syntax error | |
| unsigned int | static_analysis_errors = 0 |
| number of detect static analysis errors | |
| unsigned int | other_errors = 0 |
| number of other detected warnings and errors | |
| bool | parsing = true |
| true while parsing, false while postprocessing | |
| bool | hideStandardHandlers = false |
| used to hide Handlers in Visualization | |
| set< string > | unknown_elements |
| all elements that caused parse errors (either misplaced or nonstandard) | |
| bool | abstract_process = false |
| true if process is abstract BPEL | |
| unsigned int | reduction_level = 0 |
| the level of structural reduction | |
| string | choreography_filename = "" |
| filename of the optional BPEL4Chor choreography file | |
| string | wsdl_filename = "" |
| filename of the optional WSDL file | |
| string | net_filename = "" |
| filename of the OWFN file | |
| WSDL | WSDLInfo = WSDL() |
| an object holding information from the optional WSDL file | |
| BPEL4Chor | BPEL4ChorInfo = BPEL4Chor() |
| an object holding information from the optional BPEL4Chor file | |
| map< string, string > | tempAttributes |
| a temporary attribute mapping for the WSDL and BPEL4Chor parser | |
| int | instances_of_current_process = 0 |
| the number of instances to be created of current process (used in BPEL4Chor) | |
| map< unsigned int, unsigned int > | if_branches |
| a mapping holding the number of branches for every <if> activity (indexed by the <if>'s id) | |
| map< string, string > | owfn_commands |
| a mapping for the commands that are attached to nodes in owfn files | |
| string | owfn_statepredicate |
| the statepredicate of an owfn file | |
| net_modes | net_mode |
| the mode of reading a petrinet file | |
| string | currentScope |
| prefix of the current scope (read by the stop pattern and used to direct failures to the correct fault_in place) | |
| map< string, CFGBlock * > | cfgMap |
| maps the name of a node in the CFG to an actual block pointer | |
| string | forEach_suffix |
| used to generate parallel <forEach> scopes | |
| map< unsigned int, ASTE * > | ASTEmap |
| mapping of AST phylum identifiers to ASTE objects | |
| map< string, unsigned int > | ASTE_inputChannels |
| set of input channel names | |
| map< string, unsigned int > | ASTE_outputChannels |
| set of output channel names | |
| map< string, string > | ASTE_channel_to_port |
| a mapping from channel names to port names | |
| set< string > | ASTE_correlationSetNames |
| set of (prefixed) correlation set names | |
| set< string > | ASTE_variableNames |
| set of (prefixed) variable names | |
| set< string > | ASTE_messageExchangeNames |
| set of (prefixed) messageExchange names | |
| set< string > | ASTE_partnerLinkNames |
| set of (prefixed) partner link names | |
| set< string > | ASTE_linkNames |
| set of (prefixed) link names | |
| set< unsigned int > | ASTE_IMAs |
| set of incoming message activities | |
| set< unsigned int > | ASTE_startActivities |
| set of ASTE identifiers of the start activities | |
| map< string, string > | ASTE_variableMap |
| mapping of (prefixed) variable names to corresponding message types | |
| map< string, unsigned int > | ASTE_linkIdMap |
| mapping of link names to ASTE identifiers | |
| map< string, unsigned int > | ASTE_scopeNames |
| mapping of scope names to ASTE identifiers | |
| map< string, unsigned int > | ASTE_partnerLinks |
| mapping of partner links to ASTE identifiers | |
| map< string, unsigned int > | joinCondition_links |
| mapping of link names to temporary link numbers | |
| map< unsigned int, bool > | joinCondition_linkStatus |
| mapping of temporary link numbers to Boolean value | |
| map< unsigned int, map< unsigned int, bool > > | joinCondition_result |
| mapping of join conditions and an assignment number to a Boolean result. | |
| unsigned int | PPcurrentScope |
| the identifier of the current scope | |
| s_process_information | process_information |
| statistics about the activities and handlers of the process | |
| s_wsdl_information | wsdl_information |
| statistics about the optional WSDL file | |
| map< unsigned int, map< string, string > > | temporaryAttributeMap |
| A temporary mapping of attributes. This mapping is filled during parsing and is copied during post-processing to the AST annotation. | |
| int | ASTEid |
| Identifier of the next AST element. The process's id is 1. | |
| kc::tProcess | AST |
| The root of the abstract syntax tree. | |
| string | visArcs |
| String to gather arc information for visualization. | |
| string | invocation |
| string holding the invocation of BPEL2oWFN | |
| string | program_name |
| string holding the called program name of BPEL2oWFN | |
| string | filename |
| filename of input file | |
| string | output_filename |
| filename of output file | |
| string | choreography_filename |
| filename of the optional BPEL4Chor choreography file | |
| string | wsdl_filename |
| filename of the optional WSDL file | |
| string | net_filename |
| filename of the OWFN file | |
| map< possibleParameters, bool > | parameters |
| parameters (set by parse_command_line) | |
| string | last_error_token |
| the last token that was displayed in an error message | |
| string | last_error_line |
| the line of the last syntax error | |
| unsigned int | static_analysis_errors |
| number of detect static analysis errors | |
| unsigned int | other_errors |
| number of other detected warnings and errors | |
| bool | parsing |
| true while parsing, false while postprocessing | |
| bool | hideStandardHandlers |
| used to hide Handlers in Visualization | |
| set< string > | unknown_elements |
| all elements that caused parse errors (either misplaced or nonstandard) | |
| bool | abstract_process |
| true if process is abstract BPEL | |
| unsigned int | reduction_level |
| the level of structural reduction | |
| WSDL | WSDLInfo |
| an object holding information from the optional WSDL file | |
| BPEL4Chor | BPEL4ChorInfo |
| an object holding information from the optional BPEL4Chor file | |
| map< string, string > | tempAttributes |
| a temporary attribute mapping for the WSDL and BPEL4Chor parser | |
| int | instances_of_current_process |
| the number of instances to be created of current process (used in BPEL4Chor) | |
| map< unsigned int, unsigned int > | if_branches |
| a mapping holding the number of branches for every <if> activity (indexed by the <if>'s id) | |
| map< string, string > | owfn_commands |
| a mapping for the commands that are attached to nodes in owfn files | |
| string | owfn_statepredicate |
| the statepredicate of an owfn file | |
| net_modes | net_mode |
| the mode of reading a petrinet file | |
1.5.2