/* Theoretic - Graph Theoretic Byte Code Engineering
 * Copyright (C) 2001-2002  Jay Freeman (saurik)
*/

/*
 *        Redistribution and use in source and binary
 * forms, with or without modification, are permitted
 * provided that the following conditions are met:
 * 
 * 1. Redistributions of source code must retain the
 *    above copyright notice, this list of conditions
 *    and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the
 *    above copyright notice, this list of conditions
 *    and the following disclaimer in the documentation
 *    and/or other materials provided with the
 *    distribution.
 * 3. The name of the author may not be used to endorse
 *    or promote products derived from this software
 *    without specific prior written permission.
 * 
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS''
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING,
 * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
 * TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/

#ifndef THEORETIC_OPERATION_H
#define THEORETIC_OPERATION_H

#if _MSC_VER > 1000
#pragma once

// C4660: template-class specialization '...' is already instantiated
#pragma warning ( disable : 4660 )

#endif // _MSC_VER > 1000

#include "menes-com/diapexis.h"
#include "theoretic/theoretic.h"

//#include "theoretic/IEngine.h"
#include "theoretic/VObject.h"
#include "theoretic/OpList.h"

#include "metallurgy/Method.h"

namespace Theoretic {

    class OpGraph;

    class THEORETIC_API Operation {
      public:
        //DIAPEXIS_DLL_MAP(THEORETIC_EXT, THEORETIC_API, Link, std::map, std::wstring, OpList)
        typedef std::map<std::wstring, OpList> LinkMap;

      protected:
        std::wstring name;

        LinkMap links_;
        NamedVMap args_;

        //DIAPEXIS_DLL_SET(THEORETIC_EXT, THEORETIC_API, Byte, std::set, uint32_t)
        typedef std::set<uint32_t> ByteSet;
        ByteSet bytes;

        unsigned stackin;
        unsigned stackout;

      public:
        Operation();

        Operation(const Operation &op);
        Operation(const Operation &op, const std::wstring &name);

        explicit Operation(const std::wstring &name);
        explicit Operation(const std::wstring &name, unsigned stackin, unsigned stackout);

        virtual ~Operation();

        VObjectPtr &operator [](const std::wstring &name);
        OpList &operator ()(const std::wstring &name);

        std::wstring GetName() const;

        const LinkMap &GetLinks() const;
        LinkMap &GetLinks();

        const NamedVMap &GetArgs() const;
        NamedVMap &GetArgs();

        virtual void Cement(const Metallurgy::Method &method);

        bool ResolveStack(OpGraph *graph, Operation *parent);
        bool Resolvable() const;
    };

    THEORETIC_API std::wostream &operator <<(std::wostream &out, const Operation &op);

    DIAPEXIS_DLL_SET(THEORETIC_EXT, THEORETIC_API, Oper, std::set, Operation *)

}

#endif//THEORETIC_OPERATION_H