- Check *this for zeroness before .invert()ing it.

[ginac.git] / ginac / fail.cpp

diff --git a/ginac/fail.cpp b/ginac/fail.cpp
index c9d0e392dc34b1d466440bbad00b343dab16fc31..c41ea41dd4211371e9dd1808c82b23efa9b3b4bf 100644 (file)
--- a/ginac/fail.cpp
+++ b/ginac/fail.cpp
@@ -1,9 +1,10 @@
 /** @file fail.cpp
  *
  *  Implementation of class signaling failure of operation. Considered
- *  obsolete all this stuff ought to be replaced by exceptions.
- *
- *  GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
+ *  obsolete all this stuff ought to be replaced by exceptions. */
+
+/*
+ *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -20,7 +21,15 @@
  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 
-#include "ginac.h"
+#include "fail.h"
+#include "archive.h"
+#include "debugmsg.h"
+
+#ifndef NO_NAMESPACE_GINAC
+namespace GiNaC {
+#endif // ndef NO_NAMESPACE_GINAC
+
+GINAC_IMPLEMENT_REGISTERED_CLASS(fail, basic)
 
 //////////
 // default constructor, destructor, copy constructor assignment operator and helpers
@@ -28,7 +37,7 @@
 
 // public
 
-fail::fail() : basic(TINFO_FAIL)
+fail::fail() : inherited(TINFO_fail)
 {
     debugmsg("fail default constructor",LOGLEVEL_CONSTRUCT);
 }
@@ -39,13 +48,13 @@ fail::~fail()
     destroy(0);
 }
 
-fail::fail(fail const & other)
+fail::fail(const fail & other)
 {
     debugmsg("fail copy constructor",LOGLEVEL_CONSTRUCT);
     copy(other);
 }
 
-fail const & fail::operator=(fail const & other)
+const fail & fail::operator=(const fail & other)
 {
     debugmsg("fail operator=",LOGLEVEL_ASSIGNMENT);
     if (this != &other) {
@@ -57,14 +66,14 @@ fail const & fail::operator=(fail const & other)
 
 // protected
 
-void fail::copy(fail const & other)
+void fail::copy(const fail & other)
 {
-    basic::copy(other);
+    inherited::copy(other);
 }
 
 void fail::destroy(bool call_parent)
 {
-    if (call_parent) basic::destroy(call_parent);
+    if (call_parent) inherited::destroy(call_parent);
 }
 
 
@@ -74,6 +83,28 @@ void fail::destroy(bool call_parent)
 
 // none
 
+//////////
+// archiving
+//////////
+
+/** Construct object from archive_node. */
+fail::fail(const archive_node &n, const lst &sym_lst) : inherited(n, sym_lst)
+{
+    debugmsg("fail constructor from archive_node", LOGLEVEL_CONSTRUCT);
+}
+
+/** Unarchive the object. */
+ex fail::unarchive(const archive_node &n, const lst &sym_lst)
+{
+    return (new fail(n, sym_lst))->setflag(status_flags::dynallocated);
+}
+
+/** Archive the object. */
+void fail::archive(archive_node &n) const
+{
+    inherited::archive(n);
+}
+
 //////////
 // functions overriding virtual functions from bases classes
 //////////
@@ -86,9 +117,21 @@ basic * fail::duplicate() const
     return new fail(*this);
 }
 
+void fail::print(std::ostream & os, unsigned upper_precedence) const
+{
+    debugmsg("fail print",LOGLEVEL_PRINT);
+    os << "FAIL";
+}
+
+void fail::printraw(std::ostream & os) const
+{
+    debugmsg("fail printraw",LOGLEVEL_PRINT);
+    os << "FAIL";
+}
+
 // protected
 
-int fail::compare_same_type(basic const & other) const
+int fail::compare_same_type(const basic & other) const
 {
        // two fails are always identical
     return 0;
@@ -117,5 +160,8 @@ int fail::compare_same_type(basic const & other) const
 //////////
 
 const fail some_fail;
-type_info const & typeid_fail=typeid(some_fail);
+const type_info & typeid_fail=typeid(some_fail);
 
+#ifndef NO_NAMESPACE_GINAC
+} // namespace GiNaC
+#endif // ndef NO_NAMESPACE_GINAC