VariableMap.cc File Reference

#include <iostream>
#include <fstream>
#include <unordered_map>
#include <ccl/ccl-init.h>
#include <arsyntax/altarica-input.h>
#include <arsyntax/altarica-tree.h>
#include <altarica/ModelAcquisition.hh>
#include <altarica/ModelUtils.hh>
#include <altarica/Instance.hh>
#include <graph/Graph.hh>
#include <graph/NodeMap.hh>
#include <graph/EdgeMap.hh>

Go to the source code of this file.

Typedefs
typedef Diades::Graph::NodeMap< string >	GNodeMap
typedef Diades::Graph::EdgeMap< Identifier >	GEdgeMap
typedef Diades::Graph::Node	GNode
typedef Diades::Graph::Edge	GEdge
typedef Diades::Graph::NodeIterator	GNodeIterator
typedef Diades::Graph::EdgeIterator	GEdgeIterator
typedef unordered_map< const Variable *, GNode >	VarAddrMapping
typedef unordered_map< const VariableDecl *, GNode >	VarDeclAddrMapping

Functions
void	printVarMap (const Graph &varMap, const GNodeMap &labels, GNodeMap &types, GEdgeMap &elabels, const char *filename)
void	printVariableDeclMap (const VariableDecl &declaration, Graph &varMap, GNodeMap &labels, GNodeMap &types, GEdgeMap &edgeLabels, VarDeclAddrMapping &varDeclAddrToNode, const GNode &previous, const Identifier &edgeLabel)
void	printVariableMap (const Variable &var, Graph &varMap, GNodeMap &labels, GNodeMap &types, GEdgeMap &edgeLabels, VarAddrMapping &varAddrToNode, VarDeclAddrMapping &varDeclAddrToNode, const GNode &current)
void	printVariableMap (const Instance &instance)
void	printVariableDeclFactory (const VariableDeclFactory &varDeclFactory)
int	main (int argc, char **argv)

Typedef Documentation

GEdge

typedef Diades::Graph::Edge GEdge

Definition at line 20 of file VariableMap.cc.

GEdgeIterator

typedef Diades::Graph::EdgeIterator GEdgeIterator

Definition at line 22 of file VariableMap.cc.

GEdgeMap

typedef Diades::Graph::EdgeMap<Identifier> GEdgeMap

Definition at line 18 of file VariableMap.cc.

GNode

typedef Diades::Graph::Node GNode

Definition at line 19 of file VariableMap.cc.

GNodeIterator

typedef Diades::Graph::NodeIterator GNodeIterator

Definition at line 21 of file VariableMap.cc.

GNodeMap

typedef Diades::Graph::NodeMap<string> GNodeMap

Definition at line 17 of file VariableMap.cc.

VarAddrMapping

typedef unordered_map<const Variable *, GNode> VarAddrMapping

Definition at line 23 of file VariableMap.cc.

VarDeclAddrMapping

typedef unordered_map<const VariableDecl *, GNode> VarDeclAddrMapping

Definition at line 24 of file VariableMap.cc.

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 352 of file VariableMap.cc.

References Diades::Utils::LoggerFactory::destroy(), Diades::Utils::IdentifierFactory::destroy(), Diades::Altarica::getModel(), printVariableDeclFactory(), printVariableMap(), and Diades::Altarica::AltaricaModel::variableDeclFactory().

printVariableDeclFactory()

void printVariableDeclFactory

(

const VariableDeclFactory &

varDeclFactory

)

Definition at line 318 of file VariableMap.cc.

References Diades::Graph::Graph::destroy(), Diades::Graph::Graph::init(), Diades::Graph::EdgeMap< T >::init(), Diades::Graph::NodeMap< T >::init(), Diades::Graph::Graph::newNode(), printVariableDeclMap(), printVarMap(), and Diades::Altarica::VariableDeclFactory::variableDecls().

Referenced by main().

printVariableDeclMap()

void printVariableDeclMap	(	const VariableDecl &	declaration,
		Graph &	varMap,
		GNodeMap &	labels,
		GNodeMap &	types,
		GEdgeMap &	edgeLabels,
		VarDeclAddrMapping &	varDeclAddrToNode,
		const GNode &	previous,
		const Identifier &	edgeLabel
	)

Definition at line 102 of file VariableMap.cc.

References Diades::Altarica::VariableDecl::attributes(), Diades::Altarica::VariableDecl::category(), Diades::Altarica::VariableDecl::fullname(), Diades::Altarica::VariableDecl::getField(), Diades::Altarica::VariableDecl::isArray(), Diades::Altarica::VariableDecl::isNull(), Diades::Altarica::VariableDecl::isStructure(), Diades::Altarica::VariableDecl::name(), Diades::Graph::Graph::newEdge(), Diades::Graph::Graph::newNode(), Diades::Altarica::VariableDecl::scope(), Diades::Altarica::VariableDecl::size(), Diades::Utils::Identifier::str(), Diades::Altarica::VariableDecl::structure(), Diades::Altarica::VariableDecl::type(), and Diades::Altarica::VariableDecl::varType().

Referenced by printVariableDeclFactory(), and printVariableMap().

printVariableMap() [1/2]

void printVariableMap	(	const Variable &	var,
		Graph &	varMap,
		GNodeMap &	labels,
		GNodeMap &	types,
		GEdgeMap &	edgeLabels,
		VarAddrMapping &	varAddrToNode,
		VarDeclAddrMapping &	varDeclAddrToNode,
		const GNode &	current
	)

Definition at line 200 of file VariableMap.cc.

References Diades::Altarica::Variable::declaration(), Diades::Altarica::Variable::fullname(), Diades::Altarica::Variable::isFree(), Diades::Altarica::Variable::isNull(), Diades::Altarica::Variable::name(), Diades::Graph::Graph::newEdge(), Diades::Graph::Graph::newNode(), Diades::Petri::next(), Diades::Graph::Graph::numberOfNodes(), printVariableDeclMap(), Diades::Altarica::Variable::scope(), Diades::Utils::Identifier::str(), Diades::Altarica::Value::textify(), Diades::Altarica::Variable::type(), Diades::Graph::Node::valid(), Diades::Altarica::Variable::value(), Diades::Altarica::Variable::variableBegin(), and Diades::Altarica::Variable::variableEnd().

Referenced by main(), and printVariableMap().

printVariableMap() [2/2]

void printVariableMap

(

const Instance &

instance

)

Definition at line 296 of file VariableMap.cc.

References Diades::Graph::Graph::destroy(), Diades::Graph::Graph::init(), Diades::Graph::EdgeMap< T >::init(), Diades::Graph::NodeMap< T >::init(), Diades::Altarica::Instance::mainNode(), Diades::Graph::Graph::newNode(), printVariableMap(), and printVarMap().

printVarMap()

void printVarMap	(	const Graph &	varMap,
		const GNodeMap &	labels,
		GNodeMap &	types,
		GEdgeMap &	elabels,
		const char *	filename
	)

Definition at line 29 of file VariableMap.cc.

References Diades::Graph::Graph::edgeBegin(), Diades::Graph::Graph::edgeEnd(), Diades::Graph::Graph::nodeBegin(), and Diades::Graph::Graph::nodeEnd().

Referenced by printVariableDeclFactory(), and printVariableMap().