U
ل=^4h @ sH d dl Z d dlZd dlZddlmZ ddlmZ G dd deZdZ dS ) N )modelVerificationErrorc @ s e Zd ZdZdZdd Zdd Zdd Zd d
ZdZd d
Z dd Z
d[ddZ dd Z dd Z
dd Zdd Zdd ZeZeZeZd d ZeZd d Zd!d" Zd#d$ Zd%d& Zd'd( Zd)d* Zd+d, Z d-d. Z d/d0 Z d1d2 Z d3d4 Z d5d6 Z!d7d8 Z"d9d: Z#d\d=d>Z$d?d@ Z%eZ&d]dAdBZ'dCdD Z(dEdF Z)dGdH Z*dIdJ Z+d^dLdMZ,d_dNdOZ-dPdQ Z.dRdS Z/eZ0dTdU Z1dVdW Z2eZ3dXdY Z4d;S )`VGenericEnginegFc C s || _ |j| _g | _i | _d S N)verifierffiexport_symbols _struct_pending_verification)selfr r /vengine_gen.py__init__ s zVGenericEngine.__init__c C s | d| j d S )Nr )
setdefaultr )r
kwdsr r r patch_extension_kwds s z#VGenericEngine.patch_extension_kwdsc C sT |D ]J}|| }|d kr t j}|D ]*}tj||}tj|r"| S q"qd S r )syspathosjoinisfile)r
Z module_namer Z so_suffixesZ so_suffixbasenamedirnamefilenamer r r find_module s zVGenericEngine.find_modulec C s d S r r r
r r r
collect_types% s z VGenericEngine.collect_types c C s | j |d d S )N
)Z_fwrite)r
Zwhatr r r _prnt( s zVGenericEngine._prntc C s` | j }|t || jj | d tjdkr\tjdkr>d}nd}| j }|d||f d S )NZdeclZwin32 ZPyInit_Zinitzvoid %s%s(void) { }
) r" cffimod_headerr Zpreamble _generater platform version_infoZget_module_name)r
prntprefixmodnamer r r write_source_to_f+ s
z VGenericEngine.write_source_to_fr c sj j j}tjtjjj}||| d G fdddt
j d}j d|d |S )NZloadingc s& e Zd ZZjZg Z fddZdS )z/VGenericEngine.load_library.<locals>.FFILibraryc s j S r ) _cffi_dirr )
FFILibraryr r __dir__T s z7VGenericEngine.load_library.<locals>.FFILibrary.__dir__N)__name__
__module__ __qualname__Z_cffi_generic_moduler
Z _cffi_ffir- r/ r r. moduler
r r r. P s r. r Zloadedlibrary) r
_backendr r r curdirr Zmodulefilename load_library_loadtypes
ModuleType)r
flagsbackendr r6 r r3 r r9 A s zVGenericEngine.load_libraryc C s$ dd | j jj D }| |S )Nc S s g | ]\}\}}||fqS r r ).0keytpZqualr r r
<listcomp>^ s
z4VGenericEngine._get_declarations.<locals>.<listcomp>)r
Z_parserZ
_declarationsitemssort)r
Zlstr r r _get_declarations] s
z VGenericEngine._get_declarationsc C s | D ]\}}|dd\}}zt| d||f }W n tk
rV td| Y nX z||| W q tk
r } zt|| W 5 d }~X Y qX qd S )N r z_generate_gen_%s_%sz not implemented in verify(): %r)rE splitgetattrAttributeErrorr Exceptionr attach_exception_info)r
step_namenamerA kindrealnamemethoder r r r& c s
zVGenericEngine._generatec
K s~ | D ]p\}}|dd\}}t| d||f }z||||f| W q tk
rv } zt| | W 5 d } ~ X Y qX qd S )NrF r z
_%s_gen_%s)rE rG rH rJ r rK )
r
r4 rL r rM rA rN rO rP rQ r r r r: r s zVGenericEngine._loadc C s d S r r r
rA rM r r r _generate_nothing| s z VGenericEngine._generate_nothingc K s d S r r r
rA rM r4 r r r r _loaded_noop s zVGenericEngine._loaded_noopc s t |tjst|jr(| d|| d S | j}t|j}g }t |jD ].\}}d}t |tj
rbd}| d||f qFd| fddt |j|D } |j
}
t |
tj
r| d|
d tj}
d
| pd } d | } | j | |jr|jd
} nd} d| | | f }
d| ||
|
|d t |j
tj
r@d}nt |j
tjsVd}nd}|d||d
|f |d | d S )NFr *z%sx%dzargument of %sc s g | ]\}}| d | qS )z %s)
get_c_name)r? typeargcontextr r rB s z>VGenericEngine._generate_gen_function_decl.<locals>.<listcomp>r z *rz, Zvoid
_cffi_f_%srF z %s%s(%s)z result of %s{z*r = zreturn z %s%s(%s);})
isinstancer FunctionPtrTypeAssertionErrorellipsis_generate_gen_constr" lenargs enumerate
StructOrUnionappendzipresultinsertrW void_typer r abiZVoidType)r
rA rM r) ZnumargsZargnamesirX Z indirectionZarglistZtpresult wrappernamerm ZfuncdeclZ result_coder rZ r _generate_gen_function_decl sL
z*VGenericEngine._generate_gen_function_declc C sj t |tjst|jr*| d|||}n g }|}tdd |jD sVt |jtj r
g }t
|jD ]6\} }
t |
tj rt |
}
| | |
f | |
qd|j} t | tj r| j
d krtd| f t | } |d| |dd| f tj} tt|| |j}| j|} d| }
|| |
}|D ]\} }
| || |
|}q.t||| t|j | d S )NFc s s | ]}t |tjV qd S r )r_ r rg )r? typr r r <genexpr> s z6VGenericEngine._loaded_gen_function.<locals>.<genexpr>z*'%s' is used as result type, but is opaquer rj r\ )r_ r r` ra rb _load_constantanyre rj rg rf PointerTyperh Zfldtypes TypeError _get_c_namerk rl tupler
_get_cached_btype
load_function_make_struct_wrappersetattrrX r- )r
rA rM r4 r6 Z newfunctionZ indirectionsbase_tpZ
indirect_argsrn rq Zindirect_resultBFuncro r r r _loaded_gen_function sL
z#VGenericEngine._loaded_gen_functionc sP | j j| j | dkr4| j fdd}n fdd}||_|S )Nrj c s }|f| |d S Nr )new)re res)BTyper
oldfuncr r newfunc s
z4VGenericEngine._make_struct_wrapper.<locals>.newfuncc s6 | d | f | d d } | S )Nr )Znewp)re )r r> rn r r r r s .)r
r7 ry Z_cffi_base_type)r
r rn rA r} r r )r r> r
rn r r r{ s z#VGenericEngine._make_struct_wrapperc C s ||j kst| |d| d S NstructrM ra _generate_struct_or_union_declrR r r r _generate_gen_struct_decl s z(VGenericEngine._generate_gen_struct_declc C s | |d|| d S r _loading_struct_or_unionr
rA rM r4 r r r _loading_gen_struct s z"VGenericEngine._loading_gen_structc K s | | d S r _loaded_struct_or_unionrT r r r _loaded_gen_struct s z!VGenericEngine._loaded_gen_structc C s ||j kst| |d| d S Nunionr rR r r r _generate_gen_union_decl s z'VGenericEngine._generate_gen_union_declc C s | |d|| d S r r r r r r _loading_gen_union s z!VGenericEngine._loading_gen_unionc K s | | d S r r rT r r r _loaded_gen_union s z VGenericEngine._loaded_gen_unionc
C s |j d krd S d||f }d||f }d||f }| j}|d||f |d |d |d | D ]\}} }
} t| tjr| s|
dkr|d | qlz$|d
| jd d | | d
|f W ql t k
r } z|dt
| W 5 d } ~ X Y qlX ql|d | j | |d|f |d |d| |d |d| |d | D ]h\}} }
} |
dkrpqV|d||f t| tj
r| jd kr|d| n|d||f qV|d |d |d |d |d |f |d | d S ) Nz_cffi_check_%s_%s_cffi_layout_%s_%s%s %szstatic void %s(%s *p)r] z8 /* only to generate compile-time warnings or errors */z
(void)p;r z (void)((p->%s) << 1);z { %s = &p->%s; (void)tmp; }z*tmpzfield %r)Zqualsz
/* %s */r^ zintptr_t %s(intptr_t i)z, struct _cffi_aligncheck { char x; %s y; };z static intptr_t nums[] = {z sizeof(%s),z) offsetof(struct _cffi_aligncheck, y),z offsetof(%s, %s),z 0, /* %s */z sizeof(((%s *)0)->%s),z -1z };z return nums[i];z3 /* the next line is not executed, but compiled */z %s(0);)fldnamesstripr"
enumfieldsr_ r
PrimitiveTypeis_integer_typerW r strr rh ArrayTypelengthrw )
r
rA r* rM Z
checkfuncnamelayoutfuncnamecnamer) fnameftypefbitsizefqualrQ r r r r s\
$
z-VGenericEngine._generate_struct_or_union_declc C s |j d krd S d||f }| jdd }|||}g }d} || }
|
dk rPqd||
| d7 } q>t|tjr|jr|d } |d } |dd d }
|dd d }| t
|
t
| krt
|j ksn t |
|| | f|_ n d||f
}||f| j|< d S )Nr zintptr_t(*)(intptr_t)r r r$ r )r r
_typeof_lockedrz rh r_ r rg partialZ
force_flattenrd ra Z fixedlayoutr r )r
rA r* rM r4 r r~ functionlayoutZnumxZ totalsizeZtotalalignmentZfieldofsZ fieldsizer r r r r 7 s,
(z'VGenericEngine._loading_struct_or_unionc
C s |j d krd S | j| || jkrdd }| j}||}| j|\}}||d ||d ||d ||d d}| D ]v\}} }
} |
dkrq||| |||d|f ||d dkr|| } |||d || d |f |d7 }q|t |kst
d S )
Nc S s | |krt d||| f d S )Nz'%s (we have %d, but C compiler says %d)r )Z realvalueZ
expectedvaluemsgr r r checkZ s z5VGenericEngine._loaded_struct_or_union.<locals>.checkr zwrong total sizer zwrong total alignmentr zwrong offset for field %rzwrong size for field %r) r r
ry r popsizeofZalignofr Zoffsetofrd ra )
r
rA r r
ZBStructr r rn r r r r ZBFieldr r r r S s0
z&VGenericEngine._loaded_struct_or_unionc C s. t |tjr | ||d n| |d| d S Nr )r_ r EnumType_generate_gen_enum_declr rR r r r _generate_gen_anonymous_declu s z+VGenericEngine._generate_gen_anonymous_declc C s2 t |tjr | |||d n| |d|| d S r )r_ r r _loading_gen_enumr r r r r _loading_gen_anonymous{ s z%VGenericEngine._loading_gen_anonymousc K s. t |tjr | j|||f| n
| | d S r )r_ r r _loaded_gen_enumr rT r r r _loaded_gen_anonymous s z$VGenericEngine._loaded_gen_anonymousNconstc
C sF | j }d||f }| j| |d k rl|s.t|dks:t|d| |d | || |d |d n|r|dks|t|d| |d |d|f |d |f |d n|d k st|d kst|d
krd }nd }d } |dkrt|tjrd
} d }||d| |f | |d |d||f |d | d S )Nz _cffi_%s_%sr int %s(char *out_error)r] return 0;r^ z int %s(long long *out_value)z *out_value = (long long)(%s);z return (%s) <= 0;var&r zconst *z %s%s(void)z return (%s%s);) r" r rh ra _check_int_constant_valuer_ r rg rW )
r
is_intrM rA category check_valuer) funcnameZ ampersandZextrar r r rc s@
z"VGenericEngine._generate_gen_constc C s& t |tjo| }| ||| d S r )r_ r r r rc )r
rA rM r r r r _generate_gen_constant_decl s z*VGenericEngine._generate_gen_constant_declc C s d| }|d k r*|st | || |}n|r| jdd }| jdd } || |}
| j|} |
| } t| d }|dk r| s| jdd }
|dd| j|
> 7 }nd|d kst d}t|t j
rd | }| j| ||d } || |}
|
}t|t j
r|d }|S )
Nz_cffi_const_%sz
long long*r zint(*)(long long*)z long longr z (*)(void)rV ) ra _load_known_int_constantr
r rz r intr r_ r rg rW )r
r rA rM r4 r r valuer r~ r pnegativeZ BLongLongZ fntypeextrar r r rs s2 z VGenericEngine._load_constantc C sD t |tjo| }| ||||}t||| t|j| d S r ) r_ r r r rs r| rX r- rh )r
rA rM r4 r6 r r r r r _loaded_gen_constant s z#VGenericEngine._loaded_gen_constantc C s | j }|dkr"|d|||f n|d|||f |d |d| |d| |d |d| |d |d
|d d |f |d |d
d S )Nr z& if ((%s) > 0 || (long)(%s) != %dL) {z1 if ((%s) <= 0 || (unsigned long)(%s) != %dUL) {z char buf[64];z if ((%s) <= 0)z) sprintf(buf, "%%ld", (long)(%s));z elsez2 sprintf(buf, "%%lu", (unsigned long)(%s));z: sprintf(out_error, "%s has the real value %s, not %s",z "%s", buf, "%d");d z return -1;z })r" )r
rM r r) r r r r s.
z(VGenericEngine._check_int_constant_valuec C sr | j dd }| j dd }|||}| j |d}||dk rn| j |}tjdkrft|d}t|d S )Nzchar[]r z
int(*)(char*) r# zutf-8) r
r rz r stringr r( r r )r
r4 r r r~ r r errorr r r r s
z'VGenericEngine._load_known_int_constantc C s | dd}d||f S )N$Z___D_z
_cffi_e_%s_%s)replace)r
r* rM r r r _enum_funcname s z VGenericEngine._enum_funcnameenumc C s |j r"|jD ]}| d| q d S | ||}| j| | j}|d| |d t|j|jD ]\}}| || qb|d |d | d S )NTr r] r r^ )
r enumeratorsrc r r rh r" ri
enumvaluesr )r
rA rM r*
enumeratorr r) enumvaluer r r r s
z&VGenericEngine._generate_gen_enum_declc sL j r0 fddjD }t|_d_n||} | d S )Nc s g | ]} d | qS )T)rs )r? r r4 r
rA r r rB s z4VGenericEngine._loading_gen_enum.<locals>.<listcomp>T)r r rx r Zpartial_resolvedr r )r
rA rM r4 r* r r r r r r s
z VGenericEngine._loading_gen_enumc C s8 t |j|jD ]$\}}t||| t|j| qd S r )ri r r r| rX r- rh )r
rA rM r4 r6 r r r r r r s z VGenericEngine._loaded_gen_enumc C s& |dkrd }n|}| j d||d d S N...T)r )rc )r
rA rM r r r r _generate_gen_macro_decl s z'VGenericEngine._generate_gen_macro_declc C sF |dkrd }n|}| j d||||d}t||| t|j| d S r )rs r| rX r- rh )r
rA rM r4 r6 r r r r r _loaded_gen_macro) s z VGenericEngine._loaded_gen_macroc C s t |tjrx|jdkr\| j}d|f }| j| |d| |d |d|f |d t|j}| d|| n t|}| j d||dd d S )
Nr _cffi_sizeof_%szsize_t %s(void)r] z return sizeof(%s);r^ Fr )r )
r_ r r r r" r rh ru itemrc )r
rA rM r) r tp_ptrr r r _generate_gen_variable_decl6 s
z*VGenericEngine._generate_gen_variable_declc s^ t |tjr|jdkrd|f }| jdd }|||}| }| j|j} t || j
| \}
} | dkrt d||jf | |
}t
|j} | d| ||}
|jd k r| j|}| j||
}
t|||
t|j| d S d| }| j|d|d }|||}| fd d
} fd d }tt||t|| t|j| d S )
Nr r zsize_t(*)(void)r z/bad size: %r does not seem to be an array of %sFz _cffi_var_%sz
*(*)(void)c s d S r r r5 Zptrr r getterg s z3VGenericEngine._loaded_gen_variable.<locals>.getterc s | d< d S r r )r6 r r r r setteri s z3VGenericEngine._loaded_gen_variable.<locals>.setter)r_ r r r r
r rz ry r divmodr r Zresolve_lengthru rs castr| rX r- rh rW property)r
rA rM r4 r6 r r~ r sizeZ BItemTyper restr r ZBArrayr r r r r _loaded_gen_variableH s>
z#VGenericEngine._loaded_gen_variable)r )r )Nr N)N)r )r )5r0 r1 r2 Z
_class_keyZ_gen_python_moduler r r r r" r, r9 rE r& r: rS rU Z_generate_gen_typedef_declZ_loading_gen_typedefZ_loaded_gen_typedefrp Z_loading_gen_functionr r{ r r r r r r r r r r r r rc r Z_loading_gen_constantrs r r r r r r r r Z_loading_gen_macror r Z_loading_gen_variabler r r r r r sh
-$1 "
%
r ad
#include <stdio.h>
#include <stddef.h>
#include <stdarg.h>
#include <errno.h>
#include <sys/types.h> /* XXX for ssize_t on some platforms */
/* this block of #ifs should be kept exactly identical between
c/_cffi_backend.c, cffi/vengine_cpy.py, cffi/vengine_gen.py
and cffi/_cffi_include.h */
#if defined(_MSC_VER)
# include <malloc.h> /* for alloca() */
# if _MSC_VER < 1600 /* MSVC < 2010 */
typedef __int8 int8_t;
typedef __int16 int16_t;
typedef __int32 int32_t;
typedef __int64 int64_t;
typedef unsigned __int8 uint8_t;
typedef unsigned __int16 uint16_t;
typedef unsigned __int32 uint32_t;
typedef unsigned __int64 uint64_t;
typedef __int8 int_least8_t;
typedef __int16 int_least16_t;
typedef __int32 int_least32_t;
typedef __int64 int_least64_t;
typedef unsigned __int8 uint_least8_t;
typedef unsigned __int16 uint_least16_t;
typedef unsigned __int32 uint_least32_t;
typedef unsigned __int64 uint_least64_t;
typedef __int8 int_fast8_t;
typedef __int16 int_fast16_t;
typedef __int32 int_fast32_t;
typedef __int64 int_fast64_t;
typedef unsigned __int8 uint_fast8_t;
typedef unsigned __int16 uint_fast16_t;
typedef unsigned __int32 uint_fast32_t;
typedef unsigned __int64 uint_fast64_t;
typedef __int64 intmax_t;
typedef unsigned __int64 uintmax_t;
# else
# include <stdint.h>
# endif
# if _MSC_VER < 1800 /* MSVC < 2013 */
# ifndef __cplusplus
typedef unsigned char _Bool;
# endif
# endif
#else
# include <stdint.h>
# if (defined (__SVR4) && defined (__sun)) || defined(_AIX) || defined(__hpux)
# include <alloca.h>
# endif
#endif
)
r r r; r r r r objectr r% r r r r <module> s g