ASTE Class Reference

#include <ast-details.h>

Collaboration diagram for ASTE:

[legend]List of all members.

---

Detailed Description

AST extensions.

Todo:

Comment this class properly.

Definition at line 124 of file ast-details.h.

Public Member Functions
string	createChannel (bool synchronousCommunication=false)
	creates a channel for communicating activities
string	checkVariable (string attributename)
	checks a variable and returns its name
string	checkMessageExchange ()
	checks a messageExchange and returns its name
string	checkLink ()
	checks a link and returns its name
string	checkPartnerLink ()
	checks a partner Link
string	checkCorrelationSet ()
	checks a correlation set
vector< unsigned int >	ancestorActivities () const
vector< unsigned int >	ancestorScopes () const
vector< unsigned int >	ancestorLoops () const
bool	checkAncestors ()
	for [SA00056]
bool	findIsolatedAncestor ()
	for [SA00091]
void	checkAttributes ()
	checks and returns attributes.
string	defineCorrelationSet ()
	defines a correlation set
string	defineVariable ()
	defines a variable
string	defineMessageExchange ()
	defines a messageExchange
string	defineLink ()
	defines a link
string	definePartnerLink ()
	defines a partner link
void	enterFault (string fault)
	enters a possibly triggered fault to the appropriate set
void	enterFault (WSDL_PartnerLinkType *)
	enters a possibly triggered fault to the appropriate set
void	removeFault (string fault)
	removes a possibly triggered fault from the appropriate set because it was caught
string	activityTypeName () const
	returns the name of an activity type
bool	structured ()
void	output ()
	experimental dot output of the ASTE
	ASTE (unsigned int myid, unsigned int mytype)
	constructor
virtual	~ASTE ()
	destructor
Public Attributes
kc::impl_abstract_phylum *	phylum
	a pointer to the phylum of the AST this object is assigned to; this pointer is set by the constructor macro CTOR.
map< string, string >	attributes
	a name/value-mapping of the attributes; note: the attribute "referenceLine" is added by the parser and filled with the line number of the parsed element
string	channelName
	the name of a channel associated to a communication activity
string	channelName2
	the name of a second channel associated to a communication activity (for synchronous invoke)
string	variableName
	the name of a variable associated to a communication activity
string	inputVariableName
	the name of an input variable associated to a communication activity (for invoke)
string	outputVariableName
	the name of an output variable associated to a communication activity (for invoke)
unsigned int	parentScopeId
	the identifier of the parent scope
unsigned int	parentActivityId
	the identifier of the parent activity
set< unsigned int >	peerScopes
	as defined on page 132 of the spec
set< unsigned int >	enclosedScopes
	as defined on page 122 of the spec
set< unsigned int >	enclosedActivities
	set of all the enclosed activities
set< unsigned int >	sourceLinks
	outgoing links
set< unsigned int >	targetLinks
	ingoing links
unsigned int	sourceActivity
	id of the source of a <link>
unsigned int	targetActivity
	id of the target of a <link>
string	linkName
	(unique) name of a link
set< unsigned int >	enclosedSourceLinks
	the identifiers of all (recursively) enclosed source links
set< unsigned int >	enclosedTargetLinks
	the identifiers of all (recursively) enclosed target links
string	visConnection
	(unique) name of a connectionnode for the activity diagram
string	secVisConnection
	(unique) name of a connectionnode for the activity diagram
bool	drawn
bool	highlighted
	true if the activtity is to be highlighted in visualization
set< string >	possiblyTriggeredFaults
	for a scope we remember the faults that can be triggered inside
unsigned int	enclosedFH
	the id of the enclosed fault handlers
unsigned int	enclosedCH
	the id of the enclosed compensation handler
bool	callable
	true if a handler actually can be called
bool	hasCompensate
	true if a scope has an compensate
bool	hasEH
	true if <process> or <scope> have <eventHandlers>
bool	hasCatchAll
	true if <faultHandlers> have a <catchAll> branch
bool	isUserDefined
	true if construct is user-defined
set< string >	catches
	the <catch> branches of <faultHandlers> to detect duplicates
ENUM_control_flow_type	controlFlow
	the kind of control flow the activity is embedded in
pPartnerLink *	plRoleDetails
	additional information (myRole, partnerRole) for role-based matching of PartnerLinks
bool	isStartActivity
	true if "createInstance" attribute is set to "yes"
bool	cyclic
	true if OnAlarm has RepeatEvery
unsigned int	max_occurrences
	number of maximum occurrences of the activity
unsigned int	max_loops
	number of maximum loops of the repeatable construct
set< string >	sharedCorrelationSets
	the identifiers of the joined correlation sets in case activity is a start activity
unsigned int	channel_instances
	an iterator for BPEL4Chor
WSDL_PartnerLinkType *	partnerLinkType
	a link to a partnerLinkType object holding more information; used for partnerLinks
BPEL4Chor_messageLink *	messageLink
	a BPEL4Chor message link (if present)
Private Member Functions
void	checkRequiredAttributes (string required[], unsigned int length)
	checks whether required attributes are set
void	setStandardAttributes (string names[], string values[], unsigned int length)
	set unset attributes to their standard values
void	checkAttributeType (string attribute, ENUM_attribute_type type)
	check whether an attribute is of a certain type
Private Attributes
unsigned int	id
	the identifier of the AST phylum the type of the node, identified by the keywords as parsed by Flex
unsigned int	type

---

The documentation for this class was generated from the following files:

• ast-details.h
• ast-details.cc

---