ast-tools.h File Reference

---

Detailed Description

unparse helper tools

Author:

Niels Lohmann <nlohmann@informatik.hu-berlin.de>, Christian Gierds <gierds@informatik.hu-berlin.de>, last changes of: $Author: gierds $

Since:

2006/02/08

Date:

$Date: 2007/09/04 13:47:12 $

Note:

This file is part of the tool BPEL2oWFN and was created during the project "Tools4BPEL" at the Humboldt-Universität zu Berlin. See http://www.informatik.hu-berlin.de/top/tools4bpel for details.

Version:

$Revision: 1.35 $

Todo:

Comment me!

Definition in file ast-tools.h.

#include <string>
#include <map>
#include <set>
#include <vector>
#include <cassert>

Include dependency graph for ast-tools.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations
enum	activityRelationType {   AR_CONCURRENT, AR_CONFLICT, AR_ENCLOSES, AR_DESCENDS,   AR_BEFORE, AR_AFTER }
	enumaration of possible relationship between activities More...
Functions
string	inString ()
	returns a string used for identation.
void	header (kc::integer id, bool indent=false)
	prints name of activity that is unparsed
void	header (int id, bool indent=false)
	prints name of activity that is unparsed
void	footer (kc::integer id, bool indent=false)
	prints name of activity that is unparsed
void	footer (int id, bool indent=false)
	prints name of activity that is unparsed
activityRelationType	activityRelation (unsigned int a, unsigned int b)
	Returns the relationship between to activities.
void	conflictingActivities (unsigned int a, unsigned int b)
	Defines two activities as conflicting.
void	enterConflictingActivities (set< unsigned int > a, set< unsigned int > b)
	For two sets of activities define each pair of an a and a b activity as conflicting.
void	enclosedActivities (unsigned int a, unsigned int b)
	Defines two activities as enclosed (a encloses b).
void	enterEnclosedActivities (unsigned int a, set< unsigned int > b)
	For two sets of activities define each pair of an a and a b activity as enclosed.
void	consecutiveActivities (unsigned int a, unsigned int b)
	Defines two activities as consecutive (a before b).
void	enterConsecutiveActivities (unsigned int a, unsigned int b)
	For two sets of activities define each pair of an a and a b activity as consecutive (a before b).
void	resetActivityRelations ()
	Resets the activiyRelationMap in order to parse a new file.
void	next_index (vector< unsigned int > &current_index, const vector< unsigned int > &max_index)
	increases the index vector
void	check_SA00070 (unsigned int id)
	Checks for Static Analysis item SA00070.
void	check_SA00071 (unsigned int id)
	Checks for Static Analysis item SA00071.
void	in ()
	adds whitespace to indent output
void	inup ()
	increases indention#
void	indown ()
	decreases indention
void	listAttributes (unsigned int id)
	Lists attributes for use in pretty printer mode.
void	listAttributes (kc::integer id)
void	process_loop_bounds (const vector< unsigned int > &loop_bounds, const vector< unsigned int > &loop_identifiers, string prefix, unsigned int my_max)
	comment me!

---