classdef.h

#pragma once
#include <yuni/yuni.h>
#include <yuni/core/string.h>
#include <yuni/core/smartptr/intrusive.h>
#include "details/ir/fwd.h"
#include "details/utils/clid.h"
#include "nany/nany.h"
#include "type.h"
#include <vector>
#include "qualifiers.h"
#include "interface.h"
#include "funcdef.h"
#include "classdef-follow.h"
#include "details/reporting/report.h"


namespace ny {


struct Atom;


struct Classdef final
    : public Yuni::IIntrusiveSmartPtr<Classdef, false, Yuni::Policy::SingleThreaded> {
    static const Classdef nullcdef;

public:

    Classdef();
    Classdef(const Classdef&) = default;
    explicit Classdef(const CLID&);


    bool isBuiltin() const;
    bool isBuiltinOrVoid() const;
    bool isRawPointer() const;
    bool isBuiltinU64() const;
    bool isBuiltinU32() const;
    bool isBuiltinU8() const;
    bool isBuiltingUnsigned() const;

    bool isVoid() const;
    bool isLinkedToAtom() const;
    bool isAny() const;
    bool isClass() const;
    bool isClass(const AnyString& name) const;

    bool isVariable() const;
    bool hasAtom() const;

    bool hasConstraints() const;


    void mutateToVoid();

    void mutateToBuiltin(nytype_t);

    void mutateToBuiltinOrVoid(nytype_t);

    void mutateToAny();

    void mutateToAtom(Atom*);

    void mutateToPtr2Func(Atom*);

    void import(const Classdef& rhs);




    void print(Yuni::String& out, const ClassdefTableView& table, bool clearBefore = true) const;
    YString print(const ClassdefTableView& table) const;
    void print(Logs::Report&, const ClassdefTableView& table) const;



    bool operator == (const Classdef&) const;
    bool operator != (const Classdef&) const;
    Classdef& operator = (const Classdef&) = delete;


public:
    nytype_t kind = nyt_void;
    Atom* atom = nullptr;
    CLID clid;
    CLID parentclid;
    bool instance = false;

    Qualifiers qualifiers;
    ClassdefInterface interface;
    ClassdefFollow followup;

    struct {
        uint line = 0;
        uint offset = 0;
        const char* filename = nullptr;
    }
    origins;


private:
    template<class T, class TableT> void doPrint(T& out, const TableT& table) const;

}; // struct Classdef


} // namespace ny

#include "classdef.hxx"