ast-tools.cc 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/25 14:00:38 $

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.77 $

Definition in file ast-tools.cc.

#include <cmath>
#include <cassert>
#include <utility>
#include "options.h"
#include "helpers.h"
#include "ast-details.h"
#include "ast-tools.h"
#include "globals.h"
#include "debug.h"
#include "petrinet.h"

Include dependency graph for ast-tools.cc:

Go to the source code of this file.

Functions
string	inString ()
	returns a string used for identation.
void	header (int id, bool myindent)
	prints name of activity that is unparsed
void	header (kc::integer id, bool myindent)
	prints name of activity that is unparsed
void	footer (int id, bool myindent)
	prints name of activity that is unparsed
void	footer (kc::integer id, bool myindent)
	prints name of activity that is unparsed
void	process_loop_bounds (const vector< unsigned int > &loop_bounds, const vector< unsigned int > &loop_identifiers, string prefix, unsigned int my_max)
	comment me!
activityRelationType	activityRelation (unsigned int a, unsigned int b)
	Returns the relationship between to activities.
void	resetActivityRelations ()
	Resets the activiyRelationMap in order to parse a new file.
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	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	next_index (vector< unsigned int > &current_index, const vector< unsigned int > &max_index)
	increases the index vector
void	listAttributes (kc::integer id)
Variables
unsigned int	indent = 0
	number of spaces to be added as indention
unsigned int	indentStep = 2
	number of spaces to be added when indention is increased
map< pair< unsigned int, unsigned int >, activityRelationType >	activityRelationMap
map< unsigned int, set< unsigned int > >	beforeActivities
map< unsigned int, set< unsigned int > >	afterActivities

---