Goose  Artifact [1af039e945]

Artifact 1af039e9451f87e3b6b90a5801233abe4f1a6b7e83d9e1d5023e15c86f174ad2:

• File bs/parse/rule-helpers.cpp — part of check-in [0e66d22527] at 2019-03-30 15:30:31 on branch trunk —
  • Changed type's type representation to be able to pass types around as value anywhere.
  • Fixed a bunch of bugs.
  (user: achavasse size: 1067)

#include "parse.h"

using namespace empathy;
using namespace empathy::parse;

namespace empathy::ir
{
    const Term& Bridge< parse::Rule >::Type()
    {
        static auto type = ValueToIRExpr( Value( TypeType(), TSID( rule ) ) );
        return type;
    }

    Value Bridge< parse::Rule >::ToValue( parse::Rule&& r )
    {
        ptr< void > prule = make_shared< parse::Rule >( move( r ) );
        return Value( Type(), TERM( move( prule ) ) );
    }

    ptr< parse::Rule > Bridge< parse::Rule >::FromValue( const Value& v )
    {
        if( v.type() != Type() )
            return nullptr;

        const auto& content = v.val().content();
        const auto& p = get< ptr< void > >( content );
        return static_pointer_cast< parse::Rule >( p );
    }
}

namespace empathy::parse
{
    void RegisterRule( sema::Env& env, const StringId& name, Rule&& rule )
    {
        auto ruleVal = ToValue( move( rule ) );
        auto ruleTerm = ValueToIRExpr( ruleVal );
        env.storeValue( TVEC( TSID( e0 ), TERM( name ) ), ANYTERM( _ ), ruleTerm );
    }
}