U
|
L ±dßj ã @ sH d dl Z d dlZd dlZddlmZ ddlmZ G dd deZdZ dS )é Né )Úmodel©ÚVerificationErrorc @ 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 )`ÚVGenericEngineÚgFc C s || _ |j| _g | _i | _d S ©N)ÚverifierÚffiÚexport_symbolsÚ _struct_pending_verification)Úselfr © r úGd:\z\workplace\vscode\pyvenv\venv\Lib\site-packages\cffi/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 )ÚsysÚpathÚosÚjoinÚisfile)r Ú module_namer Z so_suffixesZ so_suffixÚbasenameÚdirnameÚfilenamer 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_fÚwrite)r Úwhatr r r Ú_prnt( s zVGenericEngine._prntc C s` | j }|t || jj | d¡ tjdkr\tjdkr>d}nd}| j ¡ }|d||f d S )NÚdeclÚwin32©é ZPyInit_Úinitzvoid %s%s(void) { }
|
) r$ Úcffimod_headerr ÚpreambleÚ _generater ÚplatformÚ version_infoZget_module_name)r ÚprntÚprefixÚmodnamer r r Úwrite_source_to_f+ s
|
|
|
|
z VGenericEngine.write_source_to_fr c sj j j}tj tjjj¡}| ||¡ 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_ffir3 r5 r ©r4 Úmoduler r r r4 P s r4 r Zloaded©Úlibrary) r
|
Ú_backendr r r Úcurdirr ZmodulefilenameÚ load_libraryÚ_loadÚtypesÚ
|
ModuleType)r ÚflagsÚbackendr r< r r9 r r? A s zVGenericEngine.load_libraryc C s$ dd | j jj ¡ D }| ¡ |S )Nc S s g | ]\}\}}||fqS r r )Ú.0ÚkeyÚtpZqualr r r Ú
|
<listcomp>^ s
|
z4VGenericEngine._get_declarations.<locals>.<listcomp>)r
|
Ú_parserZ _declarationsÚitemsÚsort)r Úlstr 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)rM ÚsplitÚgetattrÚAttributeErrorr Ú Exceptionr Úattach_exception_info)r Ú step_nameÚnamerG ÚkindÚrealnameÚmethodÚer 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 )NrN r z
|
_%s_gen_%s)rM rO rP rR r rS )
|
r r: rT r rU rG rV rW rX rY r r r r@ r s zVGenericEngine._loadc C s d S r r ©r rG rU r r r Ú_generate_nothing| s z VGenericEngine._generate_nothingc K s d S r r ©r rG rU r: 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
|
| ¡pÐd } 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)rE ÚtypeÚarg©Úcontextr r rH s ÿz>VGenericEngine._generate_gen_function_decl.<locals>.<listcomp>r z *rz, Zvoidú
|
_cffi_f_%srN z %s%s(%s)z result of %sÚ{z*r = zreturn z %s%s(%s);Ú})Ú
|
isinstancer ÚFunctionPtrTypeÚAssertionErrorÚellipsisÚ_generate_gen_constr$ ÚlenÚargsÚ enumerateÚ StructOrUnionÚappendÚzipÚresultÚinsertr_ Ú void_typer r ÚabiZVoidType)r rG rU r/ ZnumargsÚargnamesÚir` Z indirectionZarglistZtpresultÚ wrappernameru ZfuncdeclZ result_coder rb 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 krÊtd| ¡ f t | ¡} | d| ¡ | dd| f¡ tj} t t|| |j¡}| j |¡} d| } | | | ¡}|D ]\} }
|
| || |
|
|¡}q.t||| t|j |¡ d S )NFc s s | ]}t |tjV qd S r )rg r ro )rE Útypr r r Ú <genexpr>Â s z6VGenericEngine._loaded_gen_function.<locals>.<genexpr>z*'%s' is used as result type, but is opaquer rr rd )rg r rh ri rj Ú_load_constantÚanyrm rr ro rn Ú PointerTyperp ZfldtypesÚ TypeErrorÚ _get_c_namers rt Útupler
|
Ú_get_cached_btypeÚ load_functionÚ_make_struct_wrapperÚsetattrr` r3 )r rG rU r: r< Z newfunctionZ indirectionsÚbase_tpZ indirect_argsrw rz Zindirect_resultÚBFuncrx r r r Ú_loaded_gen_function» sL ÿ
|
|
ÿÿ
|
|
ÿ
|
ÿ z#VGenericEngine._loaded_gen_functionc sP | j j| j |¡ dkr4| j fdd}n fdd}||_|S )Nrr c s ¡}|f| |d S ©Nr )Únew)rm Úres)ÚBTyper
|
Úoldfuncr r Únewfuncä s
|
z4VGenericEngine._make_struct_wrapper.<locals>.newfuncc s6 | d
| ¡f | d d
} | S )Nr )Únewp)rm )r rD rw r r r r é s .)r
|
r= r Z_cffi_base_type)r r rw rG r r r )r rD r
|
rw r r r ß s z#VGenericEngine._make_struct_wrapperc C s ||j kst| |d|¡ d S ©NÚstruct©rU ri Ú _generate_struct_or_union_declrZ r r r Ú_generate_gen_struct_declò s z(VGenericEngine._generate_gen_struct_declc C s | |d||¡ d S r ©Ú_loading_struct_or_union©r rG rU r: r r r Ú_loading_gen_structö s z"VGenericEngine._loading_gen_structc K s | |¡ d S r ©Ú_loaded_struct_or_unionr\ r r r Ú_loaded_gen_structù s z!VGenericEngine._loaded_gen_structc C s ||j kst| |d|¡ d S ©NÚunionr rZ 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 r\ 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)re 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 */rf 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);)ÚfldnamesÚstripr$ Ú
|
enumfieldsrg r Ú PrimitiveTypeÚis_integer_typer_ r Ústrr rp Ú ArrayTypeÚlengthr ) r rG r0 rU Z checkfuncnameÚlayoutfuncnameÚcnamer/ ÚfnameÚftypeÚfbitsizeÚfqualrY r r r r s\
|
ÿÿþ $
|
z-VGenericEngine._generate_struct_or_union_declc C s |j d krd S d||f }| j d¡d }| ||¡}g }d} || }
|
|
|
dk rPqd| |
|
¡ | d7 } q>t|tjrâ|jrâ|d } |d } |dd d
} |dd d
}| ¡ t
|
| t
|
| krÌt
|
|j ksÒn t | || | f|_ n d||f ¡ }||f| j|< d S )Nr¡ zintptr_t(*)(intptr_t)r r é r( r¢ )r£ r
|
Ú_typeof_lockedr rp rg r ro ÚpartialZ force_flattenrl ri Z fixedlayoutr¤ r )r rG r0 rU r: r« r ÚfunctionÚlayoutÚnumÚxZ 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 expectedvalueÚmsgr 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
|
r r ÚpopÚsizeofZalignofr¥ Zoffsetofrl ri ) r rG r¹ r
|
ZBStructrµ r¬ rw 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 )rg r ÚEnumTypeÚ_generate_gen_enum_declr rZ r r r Ú _generate_gen_anonymous_declu s z+VGenericEngine._generate_gen_anonymous_declc C s2 t |tjr | |||d¡ n| |d||¡ d S r¼ )rg 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 )rg r r½ Ú_loaded_gen_enumr r\ r r r Ú_loaded_gen_anonymous s z$VGenericEngine._loaded_gen_anonymousNÚconstc
|
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 sÂt|d ksÎt|d
|
krÜd }nd }d } |dkrt|tjrd } d }|| d| |f |¡ |d |d||f |d | d S )Nz _cffi_%s_%srÄ úint %s(char *out_error)re ú return 0;rf 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 rp ri Ú_check_int_constant_valuerg r ro r_ )
|
r Úis_intrU rG ÚcategoryÚ check_valuer/ ÚfuncnameZ ampersandÚextrar r r rk s@
|
|
z"VGenericEngine._generate_gen_constc C s& t |tjo| ¡ }| |||¡ d S r )rg r r¦ r§ rk )r rG rU rÊ r r r Ú_generate_gen_constant_decl¯ s z*VGenericEngine._generate_gen_constant_declc C s d| }|d k r*|st | ||¡ |}nê|r°| j d¡d }| j d¡d } | | |¡}
|
| j |¡} |
|
| } t| d }|dk r®| s®| j d¡d } |dd| j | ¡ > 7 }nd|d ks¼t d}t|t j
|
rÔd | }| j | ||¡¡d } | | |¡}
|
|
|
}t|t j
|
r|d }|S )
|
Nz_cffi_const_%sz
|
long long*r zint(*)(long long*)z long longr é z (*)(void)r^ ) ri Ú_load_known_int_constantr
|
r² r r Úintr» rg r ro r_ )r rÊ rG rU r: rÌ rÍ Úvaluer r r´ ÚpÚnegativeZ BLongLongZ fntypeextrar r r r| µ s2 z VGenericEngine._load_constantc C sD t |tjo| ¡ }| ||||¡}t||| t|j |¡ d S r ) rg r r¦ r§ r| r
r` r3 rp )r rG rU r: r< 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 rU rÓ r/ r r r rÉ Ú s. ÿ
|
ÿ ÿz(VGenericEngine._check_int_constant_valuec C sr | j d¡d }| j d¡d }| ||¡}| j |d¡}||dk rn| j |¡}tjdkrft|d}t|d S )Nzchar[]r z int(*)(char*)é r' zutf-8) r
|
r² r r Ústringr r. r¨ r )r r: 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 r0 rU r r r Ú_enum_funcnameø s z VGenericEngine._enum_funcnameÚenumc C s |j r"|jD ]}| d|¡ q d S | ||¡}| j |¡ | j}|d| |d t|j|jD ]\}}| ||¡ qb|d |d | d S )NTrÅ re rÆ rf )
|
r³ Ú enumeratorsrk rÝ r rp r$ rq Ú
|
enumvaluesrÉ )r rG rU r0 Ú
|
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)r| )rE rá ©r: r rG r r rH s ÿz4VGenericEngine._loading_gen_enum.<locals>.<listcomp>T)r³ rß r rà Zpartial_resolvedrÝ rÑ )r rG rU r: r0 rà rÍ r rã r rÀ s ÿ
|
z VGenericEngine._loading_gen_enumc C s8 t |j|jD ]$\}}t||| t|j |¡ qd S r )rq rß rà r
r` r3 rp )r rG rU r: r< rá râ r r r r s z VGenericEngine._loaded_gen_enumc C s& |dkrd }n|}| j d||d d S ©Nz...T)rÌ )rk )r rG rU 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ä )r| r
r` r3 rp )r rG rU r: r< rÌ rÓ r r r Ú_loaded_gen_macro) s ÿ z VGenericEngine._loaded_gen_macroc C s t |tjrv| ¡ rZ| j}d|f }| j |¡ |d| |d |d|f |d t |j¡}| d||¡ n t |¡}| j d||dd d S ) Nú_cffi_sizeof_%szsize_t %s(void)re z return sizeof(%s);rf FrÇ )rË )
|
rg r r© Úlength_is_unknownr$ r rp r~ Úitemrk )r rG rU r/ rÍ Útp_ptrr r r Ú_generate_gen_variable_decl6 s
|
|
z*VGenericEngine._generate_gen_variable_declc s\ t |tjrè| ¡ rd|f }| j d¡d }| ||¡}| }| j |j¡} t || j
|
| ¡\}
|
} | dkr~t d||jf | |
|
¡}t |j¡} | d| ||¡} |jd k rÈ| j |¡}| j || ¡} t||| t|j |¡ d S d| }| j | d|¡¡d }| ||¡}| fdd } fd
|
d }tt||t|| t|j |¡ d S ) Nrç 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 r; ©Úptrr r Úgetterg s z3VGenericEngine._loaded_gen_variable.<locals>.getterc s | d< d S r r )r< rÓ rì r r Úsetteri s z3VGenericEngine._loaded_gen_variable.<locals>.setter)rg r r© rè r
|
r² r r ré Údivmodr» r Zresolve_lengthr~ r| rª Úcastr
r` r3 rp r_ Úproperty)r rG rU r: r< 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Þ )5r6 r7 r8 Z
|
_class_keyZ_gen_python_moduler r r r r$ r2 r? rM r, r@ r[ r] Z_generate_gen_typedef_declZ_loading_gen_typedefZ_loaded_gen_typedefry Z_loading_gen_functionr r r r r r r r r r r r¿ rÁ rà rk rÏ Z_loading_gen_constantr| 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 rA r r rÚ r Úobjectr r* r r r r Ú<module> s g
|
