MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::Ref Class Reference

Helper class to retrieve Infer::arg if present. More...

#include <mim/def.h>

Public Member Functions

 Ref ()=default
 
 Ref (const Def *def)
 
const Defoperator* () const
 
const Defoperator-> () const
 
 operator const Def * () const
 
 operator bool () const
 

Static Public Member Functions

static const Defrefer (const Def *def)
 Retrieves Infer::arg from def.
 

Detailed Description

Helper class to retrieve Infer::arg if present.

Definition at line 85 of file def.h.

Constructor & Destructor Documentation

◆ Ref() [1/2]

mim::Ref::Ref ( )
default

◆ Ref() [2/2]

mim::Ref::Ref ( const Def * def)
inline

Definition at line 88 of file def.h.

Member Function Documentation

◆ operator bool()

mim::Ref::operator bool ( ) const
inlineexplicit

Definition at line 94 of file def.h.

◆ operator const Def *()

mim::Ref::operator const Def * ( ) const
inline

Definition at line 93 of file def.h.

References refer().

◆ operator*()

const Def * mim::Ref::operator* ( ) const
inline

Definition at line 91 of file def.h.

References refer().

◆ operator->()

const Def * mim::Ref::operator-> ( ) const
inline

Definition at line 92 of file def.h.

References refer().

◆ refer()

const Def * mim::Ref::refer ( const Def * def)
static

Retrieves Infer::arg from def.

Definition at line 27 of file check.cpp.

References mim::Infer::find().

Referenced by mim::Infer::find(), mim::World::iapp(), operator const Def *(), operator*(), operator->(), and mim::Def::update().


The documentation for this class was generated from the following files: