langapi

Author: Daniel Kroening

src/aiger/aiger_language.cpp

@@ -219,8 +219,8 @@ Function: new_aiger_language
 
 \*******************************************************************/
 
-languaget *new_aiger_language()
+std::unique_ptr<languaget> new_aiger_language()
 {
-  return new aiger_languaget;
+  return util_make_unique<aiger_languaget>();
 }
 

src/aiger/aiger_language.h

@@ -79,6 +79,6 @@ class aiger_languaget:public languaget
   }
 };
 
-languaget *new_aiger_language();
+std::unique_ptr<languaget> new_aiger_language();
 
 #endif

src/smvlang/smv_language.h

@@ -77,6 +77,6 @@ class smv_languaget:public languaget
   smv_parse_treet smv_parse_tree;
 };
 
-languaget *new_smv_language();
+std::unique_ptr<languaget> new_smv_language();
 
 #endif

src/verilog/verilog_language.cpp

@@ -305,8 +305,8 @@ Function: new_verilog_language
 
 \*******************************************************************/
 
-languaget *new_verilog_language()
+std::unique_ptr<languaget> new_verilog_language()
 {
-  return new verilog_languaget;
+  return util_make_unique<verilog_languaget>();
 }
 

src/verilog/verilog_language.h

@@ -92,6 +92,6 @@ class verilog_languaget:public languaget
   verilog_parse_treet parse_tree;
 };
 
-languaget *new_verilog_language();
+std::unique_ptr<languaget> new_verilog_language();
 
 #endif

src/vhdl/vhdl_language.cpp

@@ -303,8 +303,8 @@ Function: new_vhdl_language
 
 \*******************************************************************/
 
-languaget *new_vhdl_language()
+std::unique_ptr<languaget> new_vhdl_language()
 {
-  return new vhdl_languaget;
+  return util_make_unique<vhdl_languaget>();
 }
 

src/vhdl/vhdl_language.h

@@ -92,6 +92,6 @@ class vhdl_languaget:public languaget
   vhdl_parse_treet parse_tree;
 };
 
-languaget *new_vhdl_language();
+std::unique_ptr<languaget> new_vhdl_language();
 
 #endif