ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_class Class Reference

#include <python_class.h>

Public Member Functions

 python_class ()=default
void parse (const json &class_def)
const std::string & name () const
const std::unordered_set< std::string > & methods () const
const std::unordered_set< std::string > & attributes () const
const std::vector< std::string > & bases () const
 In declaration order: the first base's fields must lead the derived struct, since a base method receives the derived instance as its self.

Constructor & Destructor Documentation

◆ python_class()

python_class::python_class ( )
default

Member Function Documentation

◆ attributes()

const std::unordered_set< std::string > & python_class::attributes ( ) const
inline

◆ bases()

const std::vector< std::string > & python_class::bases ( ) const
inline

In declaration order: the first base's fields must lead the derived struct, since a base method receives the derived instance as its self.

◆ methods()

const std::unordered_set< std::string > & python_class::methods ( ) const
inline

◆ name()

const std::string & python_class::name ( ) const
inline

◆ parse()

void python_class::parse ( const json & class_def)

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