LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::SymbolLookupResult< T > Class Template Reference

#include <SymbolLookup.h>

Public Member Functions

 SymbolLookupResult (SymbolLookupResultUntyped &&innerRes)
operator-> ()
 Access the internal operation as type T.
operator* ()
const T operator* () const
get ()
get () const
 operator bool () const
std::vector< llvm::StringRef > getIncludeSymNames () const
 Return the stack of symbol names from the IncludeOp that were traversed to load this result.
llvm::ArrayRef< llvm::StringRef > getNamespace () const
 Return the stack of symbol names from either IncludeOp or ModuleOp that were traversed to load this result.
void prependNamespace (llvm::ArrayRef< llvm::StringRef > ns)
 Adds the given namespace to the beginning of this result's namespace.
bool viaInclude () const
 Return 'true' if at least one IncludeOp was traversed to load this result.
bool operator== (const SymbolLookupResult< T > &rhs) const

Friends

class Within
class SymbolLookupResultUntyped

Detailed Description

template<typename T>
class llzk::SymbolLookupResult< T >

Definition at line 132 of file SymbolLookup.h.

Constructor & Destructor Documentation

◆ SymbolLookupResult()

template<typename T>
llzk::SymbolLookupResult< T >::SymbolLookupResult ( SymbolLookupResultUntyped && innerRes)
inline

Definition at line 134 of file SymbolLookup.h.

Member Function Documentation

◆ get() [1/2]

template<typename T>
T llzk::SymbolLookupResult< T >::get ( )
inline

Definition at line 141 of file SymbolLookup.h.

◆ get() [2/2]

template<typename T>
T llzk::SymbolLookupResult< T >::get ( ) const
inline

Definition at line 142 of file SymbolLookup.h.

◆ getIncludeSymNames()

template<typename T>
std::vector< llvm::StringRef > llzk::SymbolLookupResult< T >::getIncludeSymNames ( ) const
inline

Return the stack of symbol names from the IncludeOp that were traversed to load this result.

Definition at line 147 of file SymbolLookup.h.

◆ getNamespace()

template<typename T>
llvm::ArrayRef< llvm::StringRef > llzk::SymbolLookupResult< T >::getNamespace ( ) const
inline

Return the stack of symbol names from either IncludeOp or ModuleOp that were traversed to load this result.

Definition at line 151 of file SymbolLookup.h.

◆ operator bool()

template<typename T>
llzk::SymbolLookupResult< T >::operator bool ( ) const
inline

Definition at line 144 of file SymbolLookup.h.

◆ operator*() [1/2]

template<typename T>
T llzk::SymbolLookupResult< T >::operator* ( )
inline

Definition at line 139 of file SymbolLookup.h.

◆ operator*() [2/2]

template<typename T>
const T llzk::SymbolLookupResult< T >::operator* ( ) const
inline

Definition at line 140 of file SymbolLookup.h.

◆ operator->()

template<typename T>
T llzk::SymbolLookupResult< T >::operator-> ( )
inline

Access the internal operation as type T.

Follows the behaviors of llvm::dyn_cast if the internal operation cannot cast to that type.

Definition at line 138 of file SymbolLookup.h.

◆ operator==()

template<typename T>
bool llzk::SymbolLookupResult< T >::operator== ( const SymbolLookupResult< T > & rhs) const
inline

Definition at line 159 of file SymbolLookup.h.

◆ prependNamespace()

template<typename T>
void llzk::SymbolLookupResult< T >::prependNamespace ( llvm::ArrayRef< llvm::StringRef > ns)
inline

Adds the given namespace to the beginning of this result's namespace.

Definition at line 154 of file SymbolLookup.h.

◆ viaInclude()

template<typename T>
bool llzk::SymbolLookupResult< T >::viaInclude ( ) const
inline

Return 'true' if at least one IncludeOp was traversed to load this result.

Definition at line 157 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped

template<typename T>
friend class SymbolLookupResultUntyped
friend

Definition at line 165 of file SymbolLookup.h.

◆ Within

template<typename T>
friend class Within
friend

Definition at line 164 of file SymbolLookup.h.


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