* context.h - Changed cdlist::push_back to use a new copy constructor instead of...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 28 Feb 2010 00:57:25 +0000 (00:57 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 28 Feb 2010 00:57:25 +0000 (00:57 +0000)
commit5a9b381769557608fa0183a166a26b73305703ef
treea92f96800a18d8e31d3163aeddfc270d42c2df79
parentda420bf5c1f2a270f072786145b717c38c720ed1
* context.h - Changed cdlist::push_back to use a new copy constructor instead of the assignment operator. This is important as Nodes, for example, check that d_nv != NULL in the assignemnt operator.
* node.h - Simplified the constructors, apparently it's ok to write ~ref_count in the template declaration. All the constructed nodes are now the ref-counted ones, i.e. eqNode() will return a ref-counted node.
src/context/context.h
src/expr/node.h