solidity_mapping.c File Reference

#include <stddef.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include <string.h>
#include "solidity_types.h"

Include dependency graph for solidity_mapping.c:

Classes
struct	_ESBMC_Mapping
struct	mapping_t
struct	_ESBMC_Mapping_fast
struct	mapping_t_fast

Functions
struct _ESBMC_Mapping	__attribute__ ((packed))
void *	map_get_raw (struct _ESBMC_Mapping a[], address_t addr, uint256_t key)
void	map_set_raw (struct _ESBMC_Mapping a[], address_t addr, uint256_t key, void *val)
void	map_uint_set (struct mapping_t *m, uint256_t k, uint256_t v)
uint256_t	map_uint_get (struct mapping_t *m, uint256_t k)
void	map_int_set (struct mapping_t *m, uint256_t k, int256_t v)
int256_t	map_int_get (struct mapping_t *m, uint256_t k)
void	map_string_set (struct mapping_t *m, uint256_t k, char *v)
char *	map_string_get (struct mapping_t *m, uint256_t k)
void	map_bool_set (struct mapping_t *m, uint256_t k, bool v)
bool	map_bool_get (struct mapping_t *m, uint256_t k)
void	map_generic_set (struct mapping_t *m, uint256_t k, const void *v, size_t sz)
void *	map_generic_get (struct mapping_t *m, uint256_t k)
void *	map_get_raw_fast (struct _ESBMC_Mapping_fast a[], uint256_t key)
void	map_set_raw_fast (struct _ESBMC_Mapping_fast a[], uint256_t key, void *val)
void	map_uint_set_fast (struct mapping_t_fast *m, uint256_t k, uint256_t v)
uint256_t	map_uint_get_fast (struct mapping_t_fast *m, uint256_t k)
void	map_int_set_fast (struct mapping_t_fast *m, uint256_t k, int256_t v)
int256_t	map_int_get_fast (struct mapping_t_fast *m, uint256_t k)
void	map_string_set_fast (struct mapping_t_fast *m, uint256_t k, char *v)
char *	map_string_get_fast (struct mapping_t_fast *m, uint256_t k)
void	map_bool_set_fast (struct mapping_t_fast *m, uint256_t k, bool v)
bool	map_bool_get_fast (struct mapping_t_fast *m, uint256_t k)
void	map_generic_set_fast (struct mapping_t_fast *m, uint256_t k, const void *v, size_t sz)
void *	map_generic_get_fast (struct mapping_t_fast *m, uint256_t k)

Variables
address_t	addr
uint256_t	key
void *	value
struct _ESBMC_Mapping *	next
struct _ESBMC_Mapping *	base
struct mapping_t_fast	__attribute__

Function Documentation

__attribute__()

struct _ESBMC_Mapping __attribute__

(

(packed)

)

map_bool_get()

bool map_bool_get	(	struct mapping_t *	m,
		uint256_t	k )

map_bool_get_fast()

bool map_bool_get_fast	(	struct mapping_t_fast *	m,
		uint256_t	k )

map_bool_set()

void map_bool_set	(	struct mapping_t *	m,
		uint256_t	k,
		bool	v )

map_bool_set_fast()

void map_bool_set_fast	(	struct mapping_t_fast *	m,
		uint256_t	k,
		bool	v )

map_generic_get()

void * map_generic_get	(	struct mapping_t *	m,
		uint256_t	k )

map_generic_get_fast()

void * map_generic_get_fast	(	struct mapping_t_fast *	m,
		uint256_t	k )

map_generic_set()

void map_generic_set	(	struct mapping_t *	m,
		uint256_t	k,
		const void *	v,
		size_t	sz )

map_generic_set_fast()

void map_generic_set_fast	(	struct mapping_t_fast *	m,
		uint256_t	k,
		const void *	v,
		size_t	sz )

map_get_raw()

void * map_get_raw	(	struct _ESBMC_Mapping	a[],
		address_t	addr,
		uint256_t	key )

map_get_raw_fast()

void * map_get_raw_fast	(	struct _ESBMC_Mapping_fast	a[],
		uint256_t	key )

map_int_get()

int256_t map_int_get	(	struct mapping_t *	m,
		uint256_t	k )

map_int_get_fast()

int256_t map_int_get_fast	(	struct mapping_t_fast *	m,
		uint256_t	k )

map_int_set()

void map_int_set	(	struct mapping_t *	m,
		uint256_t	k,
		int256_t	v )

map_int_set_fast()

void map_int_set_fast	(	struct mapping_t_fast *	m,
		uint256_t	k,
		int256_t	v )

map_set_raw()

void map_set_raw	(	struct _ESBMC_Mapping	a[],
		address_t	addr,
		uint256_t	key,
		void *	val )

map_set_raw_fast()

void map_set_raw_fast	(	struct _ESBMC_Mapping_fast	a[],
		uint256_t	key,
		void *	val )

map_string_get()

char * map_string_get	(	struct mapping_t *	m,
		uint256_t	k )

map_string_get_fast()

char * map_string_get_fast	(	struct mapping_t_fast *	m,
		uint256_t	k )

map_string_set()

void map_string_set	(	struct mapping_t *	m,
		uint256_t	k,
		char *	v )

map_string_set_fast()

void map_string_set_fast	(	struct mapping_t_fast *	m,
		uint256_t	k,
		char *	v )

map_uint_get()

uint256_t map_uint_get	(	struct mapping_t *	m,
		uint256_t	k )

map_uint_get_fast()

uint256_t map_uint_get_fast	(	struct mapping_t_fast *	m,
		uint256_t	k )

map_uint_set()

void map_uint_set	(	struct mapping_t *	m,
		uint256_t	k,
		uint256_t	v )

map_uint_set_fast()

void map_uint_set_fast	(	struct mapping_t_fast *	m,
		uint256_t	k,
		uint256_t	v )

Variable Documentation

__attribute__

__attribute__

addr

address_t addr

base

struct _ESBMC_Mapping* base

key

uint256_t key

next

struct _ESBMC_Mapping_fast * next

value

void * value