14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
TypeCheckingContext( const Context& c );
TypeCheckingContext( Context&& c );
const auto& context() const { return m_context; }
const auto& env() const { return m_context.env(); }
const auto& rules() const { return env()->typeCheckingRuleSet(); }
uint32_t getLHSHoleIndex( StringId name, Hole::Behavior bhv ) const;
uint32_t getRHSHoleIndex( StringId name, Hole::Behavior bhv ) const;
uint32_t createValue( bool required = false );
void setLHSHoleIndex( StringId name, Hole::Behavior bhv, uint32_t index );
|
>
>
>
>
>
>
|
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
TypeCheckingContext( const Context& c );
TypeCheckingContext( Context&& c );
const auto& context() const { return m_context; }
const auto& env() const { return m_context.env(); }
const auto& rules() const { return env()->typeCheckingRuleSet(); }
optional< Term > getLHSHoleValue( StringId name, uint32_t repetitionIndex ) const;
optional< Term > getRHSHoleValue( StringId name, uint32_t repetitionIndex ) const;
uint32_t getLHSHoleIndex( StringId name, uint32_t index ) const;
uint32_t getRHSHoleIndex( StringId name, uint32_t index ) const;
uint32_t getLHSHoleIndex( StringId name, Hole::Behavior bhv ) const;
uint32_t getRHSHoleIndex( StringId name, Hole::Behavior bhv ) const;
uint32_t createValue( bool required = false );
void setLHSHoleIndex( StringId name, Hole::Behavior bhv, uint32_t index );
|