libs/EDoc/CatchBlock.cpp

Go to the documentation of this file.

/*******************************************************************************

   Copyright (C) 2007 by Brendon Costa

   This library is free software; you can redistribute it and/or modify 
   it under the terms of the "LGPL Like" License defined in the file COPYING 
   that should have been distributed along with this source.

   This library is distributed in the hope that it will be useful, 
   but WITHOUT ANY WARRANTY; without even the implied warranty of 
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  

   You should have received a copy of the "LGPL Like" License 
   along with this library; see the file COPYING. if not, it can be 
   obtained from the EDoc++ website: 
   http://edoc.sourceforge.net/license.html

*******************************************************************************/
#include "config.h"

#include "EDoc/CatchBlock.h"
#include "EDoc/CodeBlock.h"
#include "EDoc/Type.h"
#include "EDoc/PStack.h"
#include "EDoc/StackRef.h"
#include "EDoc/Dictionary.h"

namespace EDoc
{
   //===========================================================================
   CatchBlock::CatchBlock(Dictionary* dict_in) :
      DictionarySpecific(dict_in),
      catch_type(&dict),
      catch_code(NULL)
   {
      catch_code = new CodeBlock(dict_in);
   }
   //===========================================================================
   CatchBlock::CatchBlock(const CatchBlock& right) :
      DictionarySpecific(&right.dict),
      catch_type(right.catch_type),
      catch_code(NULL)
   {
      catch_code = new CodeBlock(*right.catch_code);
   }
   //===========================================================================
   CatchBlock::CatchBlock(const CatchBlock& right, Dictionary& dict_in) :
      DictionarySpecific(&dict_in),
      catch_type(right.catch_type, dict),
      catch_code(NULL)
   {
      catch_code = new CodeBlock(*right.catch_code, dict);
   }
   //===========================================================================
   CatchBlock::~CatchBlock()
   {
      delete catch_code;
      catch_code = NULL;
   }
   //===========================================================================
   CatchBlock& CatchBlock::operator=(const CatchBlock& right)
   {
      if (this == &right)
      {
         return *this;
      }

      catch_type = right.catch_type;
      *catch_code = *right.catch_code;
      
      return *this;
   }
   //===========================================================================
   void CatchBlock::Read(PersistenceIFace& file, IndexedDictionary& idict)
   {
      catch_type.Read(file, idict);
      catch_code->Read(file, idict);
   }
   //===========================================================================
   void CatchBlock::Write(PersistenceIFace& file) const
   {
      catch_type.Write(file);
      catch_code->Write(file);
   }
   //===========================================================================
   bool CatchBlock::operator==(const CatchBlock& right) const
   {
      return catch_type == right.catch_type && *catch_code == *right.catch_code;
   }
   //===========================================================================
   size_t CatchBlock::ReplaceReferences(PStack& stack, void* remove, 
      void* replace)
   {
      size_t count = 0;
      if (!stack.Push(this))
      {
         return count;
      }

      count += catch_type.ReplaceReferences(stack, remove, replace);
      count += catch_code->ReplaceReferences(stack, remove, replace);

      return count;
   }
   //===========================================================================
   std::ostream& CatchBlock::Print(std::ostream& out, std::string prefix) const
   {
      out << prefix << "catch(" << catch_type.value->GetKeyName() 
          << ")" << std::endl;
      return catch_code->Print(out, prefix);
   }
   //===========================================================================
   void CatchBlock::ExpandCallGraph(Function& function)
   {
      catch_code->ExpandCallGraph(function);
   }
   //===========================================================================
   void CatchBlock::Validate(PStack& stack, const Dictionary& dict_in) const
   {
      StackRef ref(stack, this);
      if (!ref)
      {
         return;
      }
      
      EDOC_ASSERT(&dict == &dict_in, "");
      
      catch_type.Validate(stack, dict_in);
      EDOC_ASSERT(
         catch_type.value->throw_type->external_linkage, 
         "Throw type of a catch blocks type should ALWAYS have "
         "external linkage."
         << "\nCatch type is: " << catch_type.value->GetKeyName()
         << "\nThrow type is: " << catch_type.value->throw_type->GetKeyName());
      catch_code->Validate(stack, dict_in);
   }
   //===========================================================================
}

---