sysio::vm::validator Class Reference

#include <validation.hpp>

Public Member Functions
bool	validate (const resizable_limits &rl)
bool	validate (const func_type &ft)
bool	validate (const table_type &tt)
bool	validate (const memory_type &mt)
bool	validate (const global_type &gt)
bool	validate (const resizable_limits &rl)
bool	validate (const func_type &ft)
bool	validate (const table_type &tt)
bool	validate (const memory_type &mt)
bool	validate (const global_type &gt)

Detailed Description

Definition at line 10 of file validation.hpp.

Member Function Documentation

validate() [1/10]

bool sysio::vm::validator::validate ( const func_type & ft )

inline

Definition at line 18 of file validation.hpp.

                                                   {
            return (ft.return_count == 0 || ft.return_count == 1);
         }

validate() [2/10]

bool sysio::vm::validator::validate ( const func_type & ft )

inline

Definition at line 18 of file validation.hpp.

                                                   {
            return (ft.return_count == 0 || ft.return_count == 1);
         }

validate() [3/10]

bool sysio::vm::validator::validate ( const global_type & gt )

inline

Definition at line 37 of file validation.hpp.

                                                     {
            return true;
         }

validate() [4/10]

bool sysio::vm::validator::validate ( const global_type & gt )

inline

Definition at line 37 of file validation.hpp.

                                                     {
            return true;
         }

validate() [5/10]

bool sysio::vm::validator::validate ( const memory_type & mt )

inline

Definition at line 30 of file validation.hpp.

                                                     {
            static constexpr uint64_t max_limit = (uint64_t)2 << 16;
            bool max_not_exceeded = mt.flags ? mt.limits.maximum <= max_limit : true;
            return mt.limits.initial <= max_limit && max_not_exceeded && validate(mt.limits);
         }

Here is the call graph for this function:

validate() [6/10]

bool sysio::vm::validator::validate ( const memory_type & mt )

inline

Definition at line 30 of file validation.hpp.

                                                     {
            static constexpr uint64_t max_limit = (uint64_t)2 << 16;
            bool max_not_exceeded = mt.flags ? mt.limits.maximum <= max_limit : true;
            return mt.limits.initial <= max_limit && max_not_exceeded && validate(mt.limits);
         }

Here is the call graph for this function:

validate() [7/10]

bool sysio::vm::validator::validate ( const resizable_limits & rl )

inline

Definition at line 13 of file validation.hpp.

                                                          {
            return rl.flags ? rl.maximum >= rl.initial : true;
         }

Here is the caller graph for this function:

validate() [8/10]

bool sysio::vm::validator::validate ( const resizable_limits & rl )

inline

Definition at line 13 of file validation.hpp.

                                                          {
            return rl.flags ? rl.maximum >= rl.initial : true;
         }

validate() [9/10]

bool sysio::vm::validator::validate ( const table_type & tt )

inline

Definition at line 23 of file validation.hpp.

                                                    {
            static constexpr uint64_t max_limit = (uint64_t)2 << 32;
            bool max_not_exceeded = tt.flags ? tt.limits.maximum <= max_limit : true;
            return tt.limits.initial <= max_limit && max_not_exceeded && validate(tt.limits);
         }

Here is the call graph for this function:

validate() [10/10]

bool sysio::vm::validator::validate ( const table_type & tt )

inline

Definition at line 23 of file validation.hpp.

                                                    {
            static constexpr uint64_t max_limit = (uint64_t)2 << 32;
            bool max_not_exceeded = tt.flags ? tt.limits.maximum <= max_limit : true;
            return tt.limits.initial <= max_limit && max_not_exceeded && validate(tt.limits);
         }

Here is the call graph for this function:

---

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

• libraries/sys-vm/include/sysio/sysio/vm/validation.hpp
• libraries/sys-vm/include/sysio/vm/validation.hpp