Goose  Artifact [b0002fdcac]

Artifact b0002fdcac4677614e1efffcadd3818a82dc459b294c8bd82b4955182fb4fa32:

• File bs/ir/tostring.cpp — part of check-in [3acca150d3] at 2019-01-23 13:48:31 on branch trunk — ir, lexer: defined a new term type for block delimiters. (user: achavasse size: 2126)

#include "ir.h"

namespace empathy::ir
{
    ostream& ToString( ostream& out, const uint64_t& x )
    {
        return out << x;
    }

    ostream& ToString( ostream& out, const string& x )
    {
        return out << '"' << x << '"';
    }

    ostream& ToString( ostream& out, const StringId& x )
    {
        return out << x;
    }

    ostream& ToString( ostream& out, const Delimiter& x )
    {
        const char* name = "";

        switch( x )
        {
            case Delimiter::OpenParen:
                name = "OpenParen";
                break;

            case Delimiter::CloseParen:
                name = "CloseParen";
                break;

            case Delimiter::OpenBrace:
                name = "OpenBrace";
                break;

            case Delimiter::CloseBrace:
                name = "CloseBrace";
                break;

            case Delimiter::OpenBracket:
                name = "OpenBracket";
                break;

            case Delimiter::CloseBracket:
                name = "CloseBracket";
                break;
        }

        return out << name;
    }

    ostream& ToString( ostream& out, const ptr< void >& x )
    {
        return out << "pvoid(" << x << ')';
    }

    ostream& ToString( ostream& out, const AnyTerm& v )
    {
        return out << "@AnyTerm(" << v.m_varName << ')';
    }

    ostream& ToString( ostream& out, const VecOfLength& v )
    {
        return out << "@VecOfLength(" << v.m_varName << ')';
    }

    ostream& ToString( ostream& out, const ptr< Vector >& v )
    {
        if( v->m_terms.empty() && !v->repetitionTerm() )
            return out << "()";

        out << "( ";

        for( auto&& x : v->m_terms )
            ToString( out, x ) << ' ';

        if( v->repetitionTerm() )
        {
            out << '*';
            ToString( out, *v->repetitionTerm() );
            out << ' ';
        }

        return out << ')';
    }

    ostream& ToString( ostream& out, const Term& t )
    {
        visit( [&]( auto&& t )
        {
            ToString( out, t );
        }, t.m_content );

        return out;
    }
}