LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::SymbolLookupResultUntyped Class Reference

#include <SymbolLookup.h>

Public Member Functions

 SymbolLookupResultUntyped ()
 SymbolLookupResultUntyped (mlir::Operation *opPtr)
 SymbolLookupResultUntyped (const SymbolLookupResultUntyped &other)
template<typename T>
 SymbolLookupResultUntyped (const SymbolLookupResult< T > &other)
SymbolLookupResultUntypedoperator= (const SymbolLookupResultUntyped &other)
template<typename T>
SymbolLookupResultUntypedoperator= (const SymbolLookupResult< T > &other)
 SymbolLookupResultUntyped (SymbolLookupResultUntyped &&other)
template<typename T>
 SymbolLookupResultUntyped (SymbolLookupResult< T > &&other)
SymbolLookupResultUntypedoperator= (SymbolLookupResultUntyped &&other)
template<typename T>
SymbolLookupResultUntypedoperator= (SymbolLookupResult< T > &&other)
mlir::Operation * operator-> ()
 Access the internal operation.
mlir::Operation & operator* ()
mlir::Operation & operator* () const
mlir::Operation * get ()
mlir::Operation * get () const
 operator bool () const
 True iff the symbol was found.
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.
bool viaInclude () const
 Return 'true' if at least one IncludeOp was traversed to load this result.
mlir::SymbolTableCollection * getSymbolTableCache ()
void manage (mlir::OwningOpRef< mlir::ModuleOp > &&ptr, mlir::SymbolTableCollection &&tables)
 Adds a pointer to the set of resources the result has to manage the lifetime of.
void trackIncludeAsName (llvm::StringRef includeOpSymName)
 Adds the symbol name from the IncludeOp that caused the module to be loaded.
void pushNamespace (llvm::StringRef symName)
 Adds the symbol name from an IncludeOp or ModuleOp where the op is contained.
void prependNamespace (llvm::ArrayRef< llvm::StringRef > ns)
 Adds the given namespace to the beginning of this result's namespace.
bool operator== (const SymbolLookupResultUntyped &rhs) const

Friends

class Within

Detailed Description

Definition at line 37 of file SymbolLookup.h.

Constructor & Destructor Documentation

◆ SymbolLookupResultUntyped() [1/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( )
inline

Definition at line 39 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [2/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( mlir::Operation * opPtr)
inline

Definition at line 40 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [3/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( const SymbolLookupResultUntyped & other)
inline

Definition at line 42 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [4/6]

template<typename T>
llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( const SymbolLookupResult< T > & other)

Definition at line 171 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [5/6]

llzk::SymbolLookupResultUntyped::SymbolLookupResultUntyped ( SymbolLookupResultUntyped && other)
inline

Definition at line 56 of file SymbolLookup.h.

◆ SymbolLookupResultUntyped() [6/6]

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

Definition at line 182 of file SymbolLookup.h.

Member Function Documentation

◆ get() [1/2]

Operation * llzk::SymbolLookupResultUntyped::get ( )

Definition at line 94 of file SymbolLookup.cpp.

◆ get() [2/2]

Operation * llzk::SymbolLookupResultUntyped::get ( ) const

Definition at line 95 of file SymbolLookup.cpp.

◆ getIncludeSymNames()

std::vector< llvm::StringRef > llzk::SymbolLookupResultUntyped::getIncludeSymNames ( ) const
inline

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

Definition at line 87 of file SymbolLookup.h.

◆ getNamespace()

llvm::ArrayRef< llvm::StringRef > llzk::SymbolLookupResultUntyped::getNamespace ( ) const
inline

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

Definition at line 91 of file SymbolLookup.h.

◆ getSymbolTableCache()

mlir::SymbolTableCollection * llzk::SymbolLookupResultUntyped::getSymbolTableCache ( )
inline

Definition at line 96 of file SymbolLookup.h.

◆ manage()

void llzk::SymbolLookupResultUntyped::manage ( mlir::OwningOpRef< mlir::ModuleOp > && ptr,
mlir::SymbolTableCollection && tables )

Adds a pointer to the set of resources the result has to manage the lifetime of.

Store the resources that the result has to manage the lifetime of.

Definition at line 101 of file SymbolLookup.cpp.

◆ operator bool()

llzk::SymbolLookupResultUntyped::operator bool ( ) const

True iff the symbol was found.

Definition at line 98 of file SymbolLookup.cpp.

◆ operator*() [1/2]

Operation & llzk::SymbolLookupResultUntyped::operator* ( )

Definition at line 92 of file SymbolLookup.cpp.

◆ operator*() [2/2]

Operation & llzk::SymbolLookupResultUntyped::operator* ( ) const

Definition at line 93 of file SymbolLookup.cpp.

◆ operator->()

Operation * llzk::SymbolLookupResultUntyped::operator-> ( )

Access the internal operation.

Definition at line 91 of file SymbolLookup.cpp.

◆ operator=() [1/4]

template<typename T>
SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( const SymbolLookupResult< T > & other)

Definition at line 176 of file SymbolLookup.h.

◆ operator=() [2/4]

SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( const SymbolLookupResultUntyped & other)
inline

Definition at line 47 of file SymbolLookup.h.

◆ operator=() [3/4]

template<typename T>
SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( SymbolLookupResult< T > && other)

Definition at line 186 of file SymbolLookup.h.

◆ operator=() [4/4]

SymbolLookupResultUntyped & llzk::SymbolLookupResultUntyped::operator= ( SymbolLookupResultUntyped && other)
inline

Definition at line 64 of file SymbolLookup.h.

◆ operator==()

bool llzk::SymbolLookupResultUntyped::operator== ( const SymbolLookupResultUntyped & rhs) const
inline

Definition at line 116 of file SymbolLookup.h.

◆ prependNamespace()

void llzk::SymbolLookupResultUntyped::prependNamespace ( llvm::ArrayRef< llvm::StringRef > ns)

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

Definition at line 123 of file SymbolLookup.cpp.

◆ pushNamespace()

void llzk::SymbolLookupResultUntyped::pushNamespace ( llvm::StringRef symName)

Adds the symbol name from an IncludeOp or ModuleOp where the op is contained.

Definition at line 119 of file SymbolLookup.cpp.

◆ trackIncludeAsName()

void llzk::SymbolLookupResultUntyped::trackIncludeAsName ( llvm::StringRef includeOpSymName)

Adds the symbol name from the IncludeOp that caused the module to be loaded.

Definition at line 115 of file SymbolLookup.cpp.

◆ viaInclude()

bool llzk::SymbolLookupResultUntyped::viaInclude ( ) const
inline

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

Definition at line 94 of file SymbolLookup.h.

◆ Within

friend class Within
friend

Definition at line 129 of file SymbolLookup.h.


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