ATSLIB/contrib/json-c/mybasis

Sint8

Synopsis

typedef Sint8 = int8

Sint16

Synopsis

typedef Sint16 = int16

Sint32

Synopsis

typedef Sint32 = int32

Uint8

Synopsis

typedef Uint8 = uint8

overload Uint8 with Uint8_of_int

overload Uint8 with Uint8_of_uint

Uint16

Synopsis

typedef Uint16 = uint16

Uint32

Synopsis

typedef Uint32 = uint32

overload Uint32 with Uint32_of_int

overload Uint32 with Uint32_of_uint

SDL_Event

Synopsis

typedef SDL_Event =
$extype_struct"SDL_Event" of
{
//
  type= SDL_EventType
//
, SDL_Event_rest= undefined_t0ype
} // end of [SDL_Event]

SDL_EventType

Synopsis

abst@ype
SDL_EventType = $extype"SDL_EventType"

SDL_Window_ptr

Synopsis

absvtype
SDL_Window_ptr(l:addr) = ptr(l) // SDL_Window* or null

SDL_Window_ptr0

Synopsis

vtypedef
SDL_Window_ptr0 = [l:addr] SDL_Window_ptr (l)

SDL_Window_ptr1

Synopsis

vtypedef
SDL_Window_ptr1 = [l:addr | l > null] SDL_Window_ptr (l)

SDL_Surface_ptr

Synopsis

absvtype
SDL_Surface_ptr(l:addr) = ptr(l) // SDL_Surface* or null

SDL_Surface_ptr0

Synopsis

vtypedef
SDL_Surface_ptr0 = [l:addr] SDL_Surface_ptr (l)

SDL_Surface_ptr1

Synopsis

vtypedef
SDL_Surface_ptr1 = [l:addr | l > null] SDL_Surface_ptr (l)

SDL_Renderer_ptr

Synopsis

absvtype
SDL_Renderer_ptr(l:addr) = ptr(l) // SDL_Renderer* or null

SDL_Renderer_ptr0

Synopsis

vtypedef
SDL_Renderer_ptr0 = [l:addr] SDL_Renderer_ptr (l)

SDL_Renderer_ptr1

Synopsis

vtypedef
SDL_Renderer_ptr1 = [l:addr | l > null] SDL_Renderer_ptr (l)

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.