dfagraph.h
No OneTemporary
Actions

Subscribers

None

File Metadata

	/*
	* File: dfa.h
	* Author: pgess
	*
	* Created on June 27, 2016, 1:50 PM
	*/

	#ifndef DFA_H
	#define DFA_H

	#include "clasplayer.h"

	namespace xreate {namespace analysis {

	struct SymbolTransient {
	std::list<Expression> tags;
	ScopePacked scope;
	std::list<SymbolPacked> dependencies;
	};

	struct SymbolInvalid { };

	typedef boost::variant<SymbolInvalid, SymbolTransient, xreate::SymbolPacked> SymbolNode;

	class DFAGraph: public IAnalysisData{
	friend class VisitorAddTag;
	friend class VisitorAddLink;
	friend class VisitorGetDependencyConnection;
	friend class VisitorSetDependencyConnection;


	public:
	DFAGraph(ClaspLayer* engine): __clasp(engine){}

	SymbolPacked createAnonymousSymbol(const ScopePacked& scope);
	void addAnnotation(SymbolNode& identifier, Expression&& tag);
	void addConnection(const SymbolPacked& identifierTo, const SymbolNode& identifierFrom, DFGConnection link);
	void addDependencyConnection(SymbolNode& identifierTo, SymbolNode& identifierFrom);
	bool isConnected(const SymbolPacked& identifierTo, const SymbolPacked& identifierFrom);

	void print(std::ostringstream& output) const;

	private:
	typedef unsigned int EdgeId;
	std::vector<std::pair<SymbolPacked, SymbolPacked>> __edges;
	std::multimap<SymbolPacked, EdgeId> __outEdges;
	std::vector<DFGConnection> __data;
	std::multimap<SymbolPacked, Expression> __tags;
	std::multimap<SymbolPacked, SymbolPacked> __dependencies;

	unsigned int __countAnonymousSymbols=0;
	ClaspLayer* __clasp;
	};
	}}

	#endif /* DFA_H */