-PhH UdZddlmZddlZddlmZerddlmZmZej dZ ej dej Z ej dZ ej d ejZej d ejZehd Zd ed <ej dejZdZdZded<ddddddddddd Zdddddd d!Zid"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3d4d5d6d7d8d9d:d;dd?d@dAdBdCidDdEdFdGdHdIdJdKdLdMdNdOdPdQdRdSdTdUdVdWdXdYdZd[d\d]d^d_d`dadbdcdddedfdgdhdidjdkdldmdnZidoddpddqddrdsdtdudvdwdxdydzd{d|d}d~dddddddddddddddidddddddddddddddd dd ddddddddddddddddiddddddddddddddddddddddddddddddddddddiZid"dd$dd&dd(dd*dddd,dd.dd0d“d2dÓd4dēd6dœddœd8dǓddǓd:dɓddɓidd̓d@d͓dBdΓdDdϓdFdГdHdѓddѓdJdӓddӓdLdՓddՓdNdדdPdؓdRdٓdTdړdVdۓidXdܓddܓdZdޓd\dߓd^dd`ddddbddddddddddddddddddddddddddZddddddddddd Zddd{dydwdZded<gdZded<gdZded<gdZ ded<ddd d d Z!dS( a'Important note on ids ---------------------------------------------------------------------------- Multiple id generation schemes are used due to backwards compatibility. - v1: 1.2.3 <= version < 1.3 The style used before the rewrite. It is not the actual old code, but a replication of the behaviour. - v2: 1.3 <= version < now Standardised mangling scheme from https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangling though not completely implemented. All versions are generated and attached to elements. The newest is used for the index. All of the versions should work as permalinks. Signature Nodes and Tagnames ---------------------------------------------------------------------------- Each signature is in a desc_signature node, where all children are desc_signature_line nodes. Each of these lines will have the attribute 'sphinx_line_type' set to one of the following (prioritized): - 'declarator', if the line contains the name of the declared object. - 'templateParams', if the line starts a template parameter list, - 'templateParams', if the line has template parameters Note: such lines might get a new tag in the future. - 'templateIntroduction, if the line is on the form 'conceptName{...}' No other desc_signature nodes should exist (so far). Grammar ---------------------------------------------------------------------------- See https://www.nongnu.org/hcb/ for the grammar, and https://github.com/cplusplus/draft/blob/master/source/grammar.tex, and https://github.com/cplusplus/concepts-ts for the newest grammar. common grammar things: template-declaration -> "template" "<" template-parameter-list ">" declaration template-parameter-list -> template-parameter | template-parameter-list "," template-parameter template-parameter -> type-parameter | parameter-declaration # i.e., same as a function argument type-parameter -> "class" "..."[opt] identifier[opt] | "class" identifier[opt] "=" type-id | "typename" "..."[opt] identifier[opt] | "typename" identifier[opt] "=" type-id | "template" "<" template-parameter-list ">" "class" "..."[opt] identifier[opt] | "template" "<" template-parameter-list ">" "class" identifier[opt] "=" id-expression # also, from C++17 we can have "typename" in template templates templateDeclPrefix -> "template" "<" template-parameter-list ">" simple-declaration -> attribute-specifier-seq[opt] decl-specifier-seq[opt] init-declarator-list[opt] ; # Make the semicolon optional. # For now: drop the attributes (TODO). # Use at most 1 init-declarator. -> decl-specifier-seq init-declarator -> decl-specifier-seq declarator initializer decl-specifier -> storage-class-specifier -> ( "static" (only for member_object and function_object) | "extern" (only for member_object and function_object) | "register" ) thread_local[opt] (only for member_object) (it can also appear before the others) | type-specifier -> trailing-type-specifier | function-specifier -> "inline" | "virtual" | "explicit" (only for function_object) | "friend" (only for function_object) | "constexpr" (only for member_object and function_object) trailing-type-specifier -> simple-type-specifier | elaborated-type-specifier | typename-specifier | cv-qualifier -> "const" | "volatile" stricter grammar for decl-specifier-seq (with everything, each object uses a subset): visibility storage-class-specifier function-specifier "friend" "constexpr" "volatile" "const" trailing-type-specifier # where trailing-type-specifier can no be cv-qualifier # Inside e.g., template parameters a strict subset is used # (see type-specifier-seq) trailing-type-specifier -> simple-type-specifier -> ::[opt] nested-name-specifier[opt] type-name | ::[opt] nested-name-specifier "template" simple-template-id | "char" | "bool" | etc. | decltype-specifier | elaborated-type-specifier -> class-key attribute-specifier-seq[opt] ::[opt] nested-name-specifier[opt] identifier | class-key ::[opt] nested-name-specifier[opt] template[opt] simple-template-id | "enum" ::[opt] nested-name-specifier[opt] identifier | typename-specifier -> "typename" ::[opt] nested-name-specifier identifier | "typename" ::[opt] nested-name-specifier template[opt] simple-template-id class-key -> "class" | "struct" | "union" type-name ->* identifier | simple-template-id # ignoring attributes and decltype, and then some left-factoring trailing-type-specifier -> rest-of-trailing ("class" | "struct" | "union" | "typename") rest-of-trailing built-in -> "char" | "bool" | etc. decltype-specifier rest-of-trailing -> (with some simplification) "::"[opt] list-of-elements-separated-by-:: element -> "template"[opt] identifier ("<" template-argument-list ">")[opt] template-argument-list -> template-argument "..."[opt] | template-argument-list "," template-argument "..."[opt] template-argument -> constant-expression | type-specifier-seq abstract-declarator | id-expression declarator -> ptr-declarator | noptr-declarator parameters-and-qualifiers trailing-return-type ptr-declarator -> noptr-declarator | ptr-operator ptr-declarator noptr-declarator -> declarator-id attribute-specifier-seq[opt] -> "..."[opt] id-expression | rest-of-trailing | noptr-declarator parameters-and-qualifiers | noptr-declarator "[" constant-expression[opt] "]" attribute-specifier-seq[opt] | "(" ptr-declarator ")" ptr-operator -> "*" attribute-specifier-seq[opt] cv-qualifier-seq[opt] | "& attribute-specifier-seq[opt] | "&&" attribute-specifier-seq[opt] | "::"[opt] nested-name-specifier "*" attribute-specifier-seq[opt] cv-qualifier-seq[opt] # function_object must use a parameters-and-qualifiers, the others may # use it (e.g., function pointers) parameters-and-qualifiers -> "(" parameter-clause ")" attribute-specifier-seq[opt] cv-qualifier-seq[opt] ref-qualifier[opt] exception-specification[opt] ref-qualifier -> "&" | "&&" exception-specification -> "noexcept" ("(" constant-expression ")")[opt] "throw" ("(" type-id-list ")")[opt] # TODO: we don't implement attributes # member functions can have initializers, but we fold them into here memberFunctionInit -> "=" "0" # (note: only "0" is allowed as the value, according to the standard, # right?) enum-head -> enum-key attribute-specifier-seq[opt] nested-name-specifier[opt] identifier enum-base[opt] enum-key -> "enum" | "enum struct" | "enum class" enum-base -> ":" type enumerator-definition -> identifier | identifier "=" constant-expression We additionally add the possibility for specifying the visibility as the first thing. concept_object: goal: just a declaration of the name (for now) grammar: only a single template parameter list, and the nested name may not have any template argument lists "template" "<" template-parameter-list ">" nested-name-specifier type_object: goal: either a single type (e.g., "MyClass:Something_T" or a typedef-like thing (e.g. "Something Something_T" or "int I_arr[]" grammar, single type: based on a type in a function parameter, but without a name: parameter-declaration -> attribute-specifier-seq[opt] decl-specifier-seq abstract-declarator[opt] # Drop the attributes -> decl-specifier-seq abstract-declarator[opt] grammar, typedef-like: no initializer decl-specifier-seq declarator Can start with a templateDeclPrefix. member_object: goal: as a type_object which must have a declarator, and optionally with a initializer grammar: decl-specifier-seq declarator initializer Can start with a templateDeclPrefix. function_object: goal: a function declaration, TODO: what about templates? for now: skip grammar: no initializer decl-specifier-seq declarator Can start with a templateDeclPrefix. class_object: goal: a class declaration, but with specification of a base class grammar: attribute-specifier-seq[opt] nested-name "final"[opt] (":" base-specifier-list)[opt] base-specifier-list -> base-specifier "..."[opt] | base-specifier-list, base-specifier "..."[opt] base-specifier -> base-type-specifier | "virtual" access-spe"cifier[opt] base-type-specifier | access-specifier[opt] "virtual"[opt] base-type-specifier Can start with a templateDeclPrefix. enum_object: goal: an unscoped enum or a scoped enum, optionally with the underlying type specified grammar: ("class" | "struct")[opt] visibility[opt] attribute-specifier-seq[opt] nested-name (":" type)[opt] enumerator_object: goal: an element in a scoped or unscoped enum. The name should be injected according to the scopedness. grammar: nested-name ("=" constant-expression) namespace_object: goal: a directive to put all following declarations in a specific scope grammar: nested-name ) annotationsN) TYPE_CHECKING)SequenceSetz[a-zA-Z_][a-zA-Z0-9_]*\bz>[LuU8]?('([^'\\]*(?:\\.[^'\\]*)*)'|"([^"\\]*(?:\\.[^"\\]*)*)")z\b(public|private|protected)\bz \[\s*\] | \(\s*\) | \+\+ | -- | ->\*? | \, | (<<|>>)=? | && | \|\| | <=> | [!<>=/*%+|&^~-]=? | (\b(and|and_eq|bitand|bitor|compl|not|not_eq|or|or_eq|xor|xor_eq)\b) zx ->\* | \.\* | \, | (<<|>>)=? | && | \|\| | != | [<>=/*%+|&^~-]=? >Ydoiforandasmforintnewnottryxorautoboolcasecharelseenumgotolongthistruevoidbitorbreakcatchclasscomplconstfalsefloator_eqshortthrowunionusingwhileand_eqbitanddeletedoubleexportexternfriendinlinenot_eqpublicreturnsignedsizeofstaticstructswitchtypeidxor_eqalignasalignofchar8_tconceptdefaultmutablenullptrprivatetypedefvirtualwchar_tchar16_tchar32_tcontinuedecltypeexplicitnoexceptoperatorregisterrequirestemplatetypenameunsignedvolatile consteval constexpr constinit namespace protected const_cast static_cast dynamic_cast thread_local static_assertreinterpret_castzSet[str] _keywordsa  \b( auto|void|bool |signed|unsigned |short|long |char|wchar_t|char(8|16|32)_t |int |__int(64|128) # extension |float|double |__float80|_Float64x|__float128|_Float128 # extension |_Complex|_Imaginary # extension )\b )rb_CPPv2_CPPv3_CPPv4z Sequence[str] _id_prefixcCiUlLb) r signed char unsigned charr signed int unsigned intr signed long unsigned longrssosisiosvm)z std::stringz std::ostreamz std::istreamz std::iostreamz std::vectorzstd::maprz new-operatorznew[]znew-array-operatorr-zdelete-operatorzdelete[]zdelete-array-operator~z inv-operator+z add-operator-z sub-operator*z mul-operator/z div-operator%z mod-operator&z and-operator|z or-operator^z xor-operator=zassign-operator+=zadd-assign-operator-=zsub-assign-operator*=zmul-assign-operator/=zdiv-assign-operator%=zmod-assign-operator&=zand-assign-operator|=zor-assign-operator^=zxor-assign-operator<>zrshift-operator<<=zlshift-assign-operator>>=zrshift-assign-operator==z eq-operator!=z neq-operatorz gt-operator<=z lte-operator>=z gte-operator!z not-operator&&z sand-operatorz sor-operatorz inc-operatorz dec-operatorzcomma-operatorzpointer-by-pointer-operatorzpointer-operatorz call-operatorzsubscript-operator)||++--,->*->()[]rrrrnarohrGwrIDirHDsr?Dur&sz short intz signed shortzsigned short intzunsigned shorttzunsigned short intr r6rprSjrqrzlong intrrzsigned long intrszunsigned long intz long longxz long long intzsigned long longzsigned long long int__int64zunsigned long longyzunsigned long long int__int128nzsigned __int128zunsigned __int128or$fr.dz long doublee __float80 _Float64x __float128g _Float128z_Complex floatCfz_Complex doubleCdz_Complex long doubleCez_Imaginary floatz_Imaginary doublez_Imaginary long doublerDazdecltype(auto)Dczstd::nullptr_tDnnwnadldacor!plmimldvrmanr,r reoraSpLmImLdVrMaNr+oRr%eOr<lsrslSrSeqner3ltgtlege<=>ntraar roorpprmmrcmrpmptclixdsqu)rrr.*?pp_mm_deadpsng) rrr}rr{r|rrrzr!)Nu8urjrlzdict[str | None, str]_id_char_from_prefix) )rr )rr )rr)rr)rr,)rrr3)rrrrr)rr)r{r|)r}r~r)rrzSequence[tuple[str, ...]]_expression_bin_ops_expression_unary_ops)rrrrrrrrrr+rrr<r%_expression_assignment_opsdcscccrc)r\r[rZr_)"__doc__ __future__rretypingrcollections.abcrrcompileudl_identifier_reDOTALL _string_re_visibility_reVERBOSE _operator_re_fold_operator_re frozensetr`__annotations___simple_type_specifiers_re_max_idrf_id_fundamental_v1_id_shorthands_v1_id_operator_v1_id_fundamental_v2_id_operator_v2_id_operator_unary_v2rrrr_id_explicit_castW/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/sphinx/domains/cpp/_ids.pyrs! yyyv#""""" .--------BJRZ$I =>>rz J   BJ J i!!! 8(RZ J" B BBBB       0 >0 !0 0' 0000000 !0"#0$%0& '0( )0* +0, -00. /00 102 304 506 708 90: ;0< #=0> #?0@ -A0B .C0DE0FG0H .I0J .K0LM0N /O00P     (   _000l6 C6 C6 C 6 3 6 S 6s666t6 S66C66c6 #!6" 3#6$ c%66&#'6()6*C+6, C-6./603162s364S56676896:S;6<=6>C?6@sA6B#C6DcE6FG666HsI6JK6L SM6N cO6P3Q6RS6TU6V#W6XY6Zd[6\t]6^D_6`a6bc6dce6f Dg6hdi66jdk66n? 4? T? d? ?? T???? !?"#?$%?& d'?()?* T+?,-?. 4/??01?2 $3?4 $5?6 $7?8 $9?: $;?< $=?> d??@ $A?B TC?D $E?F dG?H $I?J $K?L 4M?N 4O?P $Q???R $S?T dU?VW?XY?Z $[?\ $]?^ 4_?`a?b 4c?d $e?f 4g?h $i?j $k?l $m?n $o?pq?r 4s??t     }???B        // 2 2 2     ( ( (    ---" r