#include <TypeChecker.hpp>
Definition at line 112 of file TypeChecker.hpp.
◆ TypeCheckingError()
| Ark::types::TypeCheckingError::TypeCheckingError |
( |
std::string && | funcname, |
|
|
const std::vector< Contract > & | contracts, |
|
|
const std::vector< Value > & | args ) |
|
inline |
◆ details()
| std::string Ark::types::TypeCheckingError::details |
( |
const bool | colorize, |
|
|
VM & | vm ) const |
|
inlinenodiscardoverridevirtual |
◆ m_contracts
| std::vector<Contract> Ark::types::TypeCheckingError::m_contracts |
|
private |
◆ m_funcname
| std::string Ark::types::TypeCheckingError::m_funcname |
|
private |
◆ m_passed_args
| std::vector<Value> Ark::types::TypeCheckingError::m_passed_args |
|
private |
The documentation for this class was generated from the following file: