From 565c3f059645ed4d4a61ae4d24cdb0393f29433b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Thu, 7 Sep 2017 20:00:54 -0700
Subject: [PATCH] edits

---
 src/ASTAnalyses/Encoding/encodinggraph.cc | 37 +++++++++++++++++++++++
 src/ASTAnalyses/Encoding/encodinggraph.h  | 35 +++++++++++++++++++++
 2 files changed, 72 insertions(+)
 create mode 100644 src/ASTAnalyses/Encoding/encodinggraph.cc
 create mode 100644 src/ASTAnalyses/Encoding/encodinggraph.h

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
new file mode 100644
index 0000000..e337e56
--- /dev/null
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -0,0 +1,37 @@
+#include "encodinggraph.h"
+#include "iterator.h"
+#include "element.h"
+
+EncodingGraph::EncodingGraph(CSolver * _solver) :
+	solver(_solver) {
+	
+
+}
+
+EncodingNode * EncodingGraph::getNode(Element * element) {
+	return NULL;
+}
+
+void EncodingGraph::buildGraph() {
+	ElementIterator it(solver);
+	while(it.hasNext()) {
+		Element * e = it.next();
+		processElement(e);
+	}
+}
+
+void EncodingGraph::processElement(Element *e) {
+	switch(e->type) {
+	case ELEMSET: {
+		break;
+	}
+	case ELEMFUNCRETURN: {
+		break;
+	}
+	case ELEMCONST: {
+		break;
+	}
+	default:
+		ASSERT(0);
+	}
+}
diff --git a/src/ASTAnalyses/Encoding/encodinggraph.h b/src/ASTAnalyses/Encoding/encodinggraph.h
new file mode 100644
index 0000000..452a034
--- /dev/null
+++ b/src/ASTAnalyses/Encoding/encodinggraph.h
@@ -0,0 +1,35 @@
+#ifndef ENCODINGGRAPH_H
+#define ENCODINGGRAPH_H
+#include "classlist.h"
+#include "structs.h"
+
+class EncodingGraph {
+ public:
+	EncodingGraph(CSolver * solver);
+	EncodingNode * getNode(Element * element);
+	void buildGraph();
+	
+	CMEMALLOC;
+ private:
+	CSolver * solver;
+	HashTableEncoding encodingMap;
+	void processElement(Element *e);
+
+};
+
+class EncodingNode {
+ public:
+	
+	CMEMALLOC;
+ private:
+	
+};
+
+class EncodingEdge {
+ public:
+
+	CMEMALLOC;
+ private:
+};
+
+#endif
-- 
2.34.1