//Editor-Info: -*- C++ -*-
//
//Subject: TOVE project/CC
//
//File: ccostate_exception.cpp
//
//Version: $Revision: 1.6 $
//
//State: $State: Exp $
//
//Date: $Date: 1998/06/11 15:29:34 $
//
//Organisation:
//      University of Technology
// 
//Author:
//      Pasi Nummisalo
//
//Description:
//     See header.
//
//Copyright:
//      Copyright 1999 Helsinki University of Technology
//      ALL RIGHTS RESERVED BETWEEN JANUARY 1996 AND JUNE 1999.
//      
//Licence:
//     
//
//History:
//

#include "protocol/cc/ccprotocol.h"
#include "ccostate_null.h"
#include "ccostate_exception.h"

ccOstateException *ccOstateException :: _only = 0;

ccOstateException :: ccOstateException(void)
    : ccOstate()
{
    return;
}

ccOstateException :: ~ccOstateException(void)
{
    _only = 0;
    return;
}

ccOstateException *ccOstateException :: instance(void)
{
    if(_only == 0)
    {
        _only = new ccOstateException;
        assert(_only != 0);
    }
    return _only;
}

//
//Function: proceed
//
//Description:  
//    Entry event: An exception condition is encountered.
//
//

void ccOstateException :: proceed(ccProtocol *protocol_)
{
#if CC_DEBUG
traceState(ccCC,"Exception");
#endif

    // ++TODO++ what?
    exitAction(protocol_, ccOstateNull::instance());
    
    return;
}