Goose  Diff

#include "sema.h"

using namespace empathy;
using namespace empathy::sema;

UnificationContext::UnificationContext( const ptr< UnificationRuleSet >& rules ) :
    m_rules( rules )
{}

UnificationContext::UnificationContext( ptr< UnificationRuleSet >&& rules ) :
    m_rules( move( rules ) )
{}

optional< uint32_t > UnificationContext::getLHSHoleIndex( const StringId& name ) const
uint32_t UnificationContext::getLHSHoleIndex( const StringId& name ) const
{
    HoleName holeName( name, m_currentLHSNamespaceIndex );

    auto it = m_pCoW->m_holes.find( holeName );
    if( it == m_pCoW->m_holes.end() )
        return nullopt;
        return InvalidIndex;

    return it->second;
}

optional< uint32_t > UnificationContext::getRHSHoleIndex( const StringId& name ) const
uint32_t UnificationContext::getRHSHoleIndex( const StringId& name ) const
{
    HoleName holeName( name, m_currentRHSNamespaceIndex );

    auto it = m_pCoW->m_holes.find( holeName );
    if( it == m_pCoW->m_holes.end() )
        return nullopt;
        return InvalidIndex;

    return it->second;
}

uint32_t UnificationContext::createValue()
{
    m_values = m_values.push_back( nullopt );