Changes in src/SynTree/ApplicationExpr.cc [8d7bef2:4d6d62e]

File:

• src/SynTree/ApplicationExpr.cc (modified) (3 diffs)

src/SynTree/ApplicationExpr.cc

@@ -17 +17 @@
 #include <list>                  // for list
 #include <map>                   // for _Rb_tree_const_iterator, map, map<>:...
+#include <memory>                // for unique_ptr
 #include <ostream>               // for operator<<, ostream, basic_ostream
 #include <string>                // for operator<<, string, char_traits
@@ -42 +43 @@
 }
 
+ParamEntry::~ParamEntry() {
+        delete actualType;
+        delete formalType;
+        delete expr;
+}
+
+ParamEntry::ParamEntry( ParamEntry && other ) :
+                decl( other.decl ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr ), inferParams( std::move( other.inferParams ) ) {
+        other.actualType = nullptr;
+        other.formalType = nullptr;
+        other.expr = nullptr;
+}
+
+ParamEntry & ParamEntry::operator=( ParamEntry && other ) {
+        if ( &other == this ) return *this;
+        delete actualType;
+        delete formalType;
+        delete expr;
+        decl = other.decl;
+        actualType = other.actualType;
+        formalType = other.formalType;
+        expr = other.expr;
+        other.actualType = nullptr;
+        other.formalType = nullptr;
+        other.expr = nullptr;
+        inferParams = std::move( other.inferParams );
+        return *this;
+}
+
 ApplicationExpr::ApplicationExpr( Expression *funcExpr, const std::list<Expression *> & args ) : function( funcExpr ), args( args ) {
         PointerType *pointer = strict_dynamic_cast< PointerType* >( funcExpr->get_result() );
@@ -54 +84 @@
                 Expression( other ), function( maybeClone( other.function ) ) {
         cloneAll( other.args, args );
+}
+
+ApplicationExpr::~ApplicationExpr() {
+        delete function;
+        deleteAll( args );
 }