X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=funcinst.cc;h=d3593fb7189f6a3a938726eac6fa5cbba68c9ca0;hb=6ded70495d74d65f8c6261b11685156b2325e709;hp=2875489189329dc95362d5079b3db7f994df4f43;hpb=ef2b0f89a0dfa8ed3ebf1aaa683a1c24e6a26939;p=c11tester.git

diff --git a/funcinst.cc b/funcinst.cc
index 28754891..d3593fb7 100644
--- a/funcinst.cc
+++ b/funcinst.cc
@@ -1,14 +1,22 @@
 #include "funcinst.h"
 
-FuncInst::FuncInst(ModelAction *act) :
+FuncInst::FuncInst(ModelAction *act, FuncNode *func_node) :
 	collisions()
 {
 	ASSERT(act);
+	ASSERT(func_node);
 	this->position = act->get_position();
 	this->location = act->get_location();
 	this->type = act->get_type();
+	this->func_node = func_node;
 }
 
+/* @param other Preceding FuncInst in the same execution trace
+ * Add other to predecessors if it has been added 
+ *
+ * @return false: other is already in predecessors
+ *         true : other is added to precedessors
+ */
 bool FuncInst::add_pred(FuncInst * other) {
 	func_inst_list_mt::iterator it;
 	for (it = predecessors.begin(); it != predecessors.end(); it++) {