shared_object.cpp
1 /*
2  * This file is part of CasADi.
3  *
4  * CasADi -- A symbolic framework for dynamic optimization.
5  * Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
6  * KU Leuven. All rights reserved.
7  * Copyright (C) 2011-2014 Greg Horn
8  *
9  * CasADi is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * CasADi is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with CasADi; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22  *
23  */
24 
25 #include "shared_object.hpp"
26 #include "generic_shared_impl.hpp"
27 
28 namespace casadi {
29 
30 
31  std::string SharedObject::class_name() const {
32  return (*this)->class_name();
33  }
34 
35  void SharedObject::disp(std::ostream& stream, bool more) const {
36  if (is_null()) {
37  stream << "NULL";
38  } else {
39  (*this)->disp(stream, more);
40  }
41  }
42 
43  void SharedObject::print_ptr(std::ostream &stream) const {
44  stream << get();
45  }
46 
47  void WeakRefInternal::disp(std::ostream& stream, bool more) const {
48  SharedObject shared;
49  {
50 #ifdef CASADI_WITH_THREADSAFE_SYMBOLICS
51  std::lock_guard<std::mutex> lock(*mutex_);
52 #endif // CASADI_WITH_THREADSAFE_SYMBOLICS
53  shared.own(raw_);
54  }
55  // Keep the object alive without holding the weak-reference mutex while displaying it.
56  shared.disp(stream, more);
57  }
58 
59 #if __GNUC__
60 #pragma GCC diagnostic push
61 #pragma GCC diagnostic ignored "-Wattributes"
62 #endif
65 #if __GNUC__
66 #pragma GCC diagnostic pop
67 #endif
68 
69 } // namespace casadi
SharedObjectInternal * get() const
Get a const pointer to the node.
void own(Internal *node)
GenericShared implements a reference counting framework similar for efficient and.
std::string class_name() const
Get class name.
void disp(std::ostream &stream, bool more=false) const
Print a description of the object.
void print_ptr(std::ostream &stream=casadi::uout()) const
void disp(std::ostream &stream, bool more) const override
Print a description of the object.
The casadi namespace.
Definition: archiver.cpp:28