io Programmo 40

home *** CD-ROM | disk | FTP | other *** search

/ io Programmo 40 / IOPROG_40.ISO / SOFT / NETFrameworkSDK.exe / comsdk.cab / asmparse.grammar < prev next >

Wrap

Text File | 2000-06-23 | 36.6 KB | 854 lines

Lexical tokens ID - C style alphaNumeric identifier (e.g. Hello_There2) QSTRING - C style quoted string (e.g. "hi\n") SQSTRING - C style singlely quoted string(e.g. 'hi') INT32 - C style 32 bit integer (e.g. 235, 03423, 0x34FFF) INT64 - C style 64 bit integer (e.g. -2353453636235234, 0x34FFFFFFFFFF) FLOAT64 - C style floating point number (e.g. -0.2323, 354.3423, 3435.34E-5) INSTR_* - IL instructions of a particular class (see opcode.def). ---------------------------------------------------------------------------------- START : decls ; decls : /* EMPTY */ | decls decl ; decl : classHead '{' classDecls '}' | nameSpaceHead '{' decls '}' | methodHead methodDecls '}' | fieldDecl | dataDecl | vtableDecl | vtfixupDecl | extSourceSpec | fileDecl | exelocDecl | assemblyHead '{' assemblyDecls '}' | assemblyRefHead '{' assemblyRefDecls '}' | comtypeHead '{' comtypeDecls '}' | manifestResHead '{' manifestResDecls '}' | moduleHead | secDecl | customAttrDecl ; customAttrDecl : '.custom' customType | '.custom' customType '=' QSTRING | customHead bytes ')' ; moduleHead : '.module' | '.module' name1 | '.module' 'extern' name1 ; vtfixupDecl : '.vtfixup' '[' int32 ']' vtfixupAttr 'at' id ; vtfixupAttr : /* EMPTY */ | vtfixupAttr 'int32' | vtfixupAttr 'int64' | vtfixupAttr 'fromunmanaged' | vtfixupAttr 'callmostderived' ; vtableDecl : vtableHead bytes ')' ; vtableHead : '.vtable' '=' '(' ; nameSpaceHead : '.namespace' name1 ; classHead : '.class' classAttr id extendsClause implClause ; classAttr : /* EMPTY */ | classAttr 'public' | classAttr 'value' | classAttr 'unmanaged' | classAttr 'not_in_gc_heap' | classAttr 'interface' | classAttr 'sealed' | classAttr 'abstract' | classAttr 'auto' | classAttr 'sequential' | classAttr 'explicit' | classAttr 'ansi' | classAttr 'unicode' | classAttr 'autochar' | classAttr 'import' | classAttr 'serializable' /* | classAttr 'enum' */ | classAttr 'nested' 'public' | classAttr 'nested' 'private' | classAttr 'nested' 'family' | classAttr 'nested' 'assembly' | classAttr 'nested' 'famandassem' | classAttr 'nested' 'famorassem' | classAttr 'lateinit' | classAttr 'specialname' | classAttr 'rtspecialname' ; extendsClause : /* EMPTY */ | 'extends' className ; implClause : /* EMPTY */ | 'implements' classNames ; classNames : classNames ',' className | className ; classDecls : /* EMPTY */ | classDecls classDecl ; classDecl : methodHead methodDecls '}' | classHead '{' classDecls '}' | eventHead '{' eventDecls '}' | propHead '{' propDecls '}' | fieldDecl | dataDecl | secDecl | extSourceSpec | customAttrDecl | '.size' int32 | '.pack' int32 | comtypeHead '{' comtypeDecls '}' | exportHead '{' comtypeDecls '}' | '.override' typeSpec '::' methodName 'with' callConv type typeSpec '::' methodName '(' sigArgs0 ')' ; fieldDecl : '.field' fieldAttr type id atOpt | '.field' fieldAttr type id '=' fieldInit | '.field' '[' int32 ']' fieldAttr type id | '.field' '[' int32 ']' fieldAttr type id '=' fieldInit ; atOpt : /* EMPTY */ | 'at' label ; customHead : '.custom' customType '=' '(' ; customType : typeSpec | callConv type typeSpec '::' methodName '(' sigArgs0 ')' | callConv type methodName '(' sigArgs0 ')' ; eventHead : '.event' eventAttr typeSpec id | '.event' eventAttr id ; eventAttr : /* EMPTY */ | eventAttr 'rtspecialname' /**/ | eventAttr 'specialname' ; eventDecls : /* EMPTY */ | eventDecls eventDecl ; eventDecl : '.addon' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.addon' callConv type methodName '(' sigArgs0 ')' | '.removeon' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.removeon' callConv type methodName '(' sigArgs0 ')' | '.fire' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.fire' callConv type methodName '(' sigArgs0 ')' | '.other' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.other' callConv type methodName '(' sigArgs0 ')' | extSourceSpec | customAttrDecl ; propHead : '.property' propAttr callConv type id '(' sigArgs0 ')' ; propAttr : /* EMPTY */ | propAttr 'rtspecialname' /**/ | propAttr 'specialname' ; propDecls : /* EMPTY */ | propDecls propDecl ; propDecl : '.set' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.set' callConv type methodName '(' sigArgs0 ')' | '.get' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.get' callConv type methodName '(' sigArgs0 ')' | '.other' callConv type typeSpec '::' methodName '(' sigArgs0 ')' | '.other' callConv type methodName '(' sigArgs0 ')' | '.backing' type id | customAttrDecl | extSourceSpec ; methodHeadPart1 : '.method' ; methodHead : methodHeadPart1 methAttr callConv paramAttr type methodName '(' sigArgs0 ')' implAttr '{' | methodHeadPart1 methAttr callConv paramAttr type 'marshal' '(' nativeType ')' methodName '(' sigArgs0 ')' implAttr '{' ; methAttr : /* EMPTY */ | methAttr 'static' | methAttr 'public' | methAttr 'private' | methAttr 'family' | methAttr 'final' | methAttr 'specialname' | methAttr 'virtual' | methAttr 'abstract' | methAttr 'assembly' | methAttr 'famandassem' | methAttr 'famorassem' | methAttr 'privatescope' | methAttr 'hidebysig' | methAttr 'newslot' | methAttr 'rtspecialname' /**/ | methAttr 'unmanagedexp' | methAttr 'pinvokeimpl' '(' QSTRING 'as' QSTRING pinvAttr ')' | methAttr 'pinvokeimpl' '(' QSTRING pinvAttr ')' | methAttr 'pinvokeimpl' '(' pinvAttr ')' ; pinvAttr : /* EMPTY */ | pinvAttr 'nomangle' | pinvAttr 'ansi' | pinvAttr 'unicode' | pinvAttr 'autochar' | pinvAttr 'ole' | pinvAttr 'lasterr' | pinvAttr 'winapi' | pinvAttr 'cdecl' | pinvAttr 'stdcall' | pinvAttr 'thiscall' | pinvAttr 'fastcall' ; methodName : '.ctor' | '.cctor' | name1 ; paramAttr : /* EMPTY */ | paramAttr '[' 'in' ']' | paramAttr '[' 'out' ']' | paramAttr '[' 'opt' ']' | paramAttr '[' 'lcid' ']' | paramAttr '[' 'retval' ']' | paramAttr '[' int32 ']' ; fieldAttr : /* EMPTY */ | fieldAttr 'static' | fieldAttr 'public' | fieldAttr 'private' | fieldAttr 'family' | fieldAttr 'initonly' | fieldAttr 'rtspecialname' /**/ | fieldAttr 'specialname' | fieldAttr 'pinvokeimpl' '(' QSTRING 'as' QSTRING pinvAttr ')' | fieldAttr 'pinvokeimpl' '(' QSTRING pinvAttr ')' | fieldAttr 'pinvokeimpl' '(' pinvAttr ')' | fieldAttr 'marshal' '(' nativeType ')' | fieldAttr 'assembly' | fieldAttr 'famandassem' | fieldAttr 'famorassem' | fieldAttr 'privatescope' | fieldAttr 'literal' | fieldAttr 'notserialized' ; implAttr : /* EMPTY */ | implAttr 'native' | implAttr 'il' | implAttr 'optil' | implAttr 'managed' | implAttr 'unmanaged' | implAttr 'forwardref' | implAttr 'ole' | implAttr 'runtime' | implAttr 'internalcall' | implAttr 'synchronized' | implAttr 'noinlining' ; localsHead : '.locals' ; methodDecl : '.emitbyte' int32 | sehBlock | '.maxstack' int32 | localsHead '(' sigArgs0 ')' | localsHead 'init' '(' sigArgs0 ')' | '.entrypoint' | '.zeroinit' | dataDecl | instr | label ':' | secDecl | extSourceSpec | customAttrDecl | '.vtentry' int32 ':' int32 | '.override' typeSpec '::' methodName | scopeBlock | '.param' '[' int32 ']' | '.param' '[' int32 ']' '=' fieldInit ; scopeBlock : scopeOpen methodDecls '}' ; scopeOpen : '{' ; sehBlock : tryBlock sehClauses ; sehClauses : sehClause sehClauses | sehClause ; tryBlock : tryHead scopeBlock | tryHead label 'to' label | tryHead int32 'to' int32 ; tryHead : '.try' ; sehClause : catchClause handlerBlock | filterClause handlerBlock | finallyClause handlerBlock | faultClause handlerBlock ; filterClause : filterHead scopeBlock | filterHead label | filterHead int32 ; filterHead : 'filter' ; catchClause : 'catch' className ; finallyClause : 'finally' ; faultClause : 'fault' ; handlerBlock : scopeBlock | 'handler' label 'to' label | 'handler' int32 'to' int32 ; methodDecls : /* EMPTY */ | methodDecls methodDecl ; dataDecl : ddHead ddBody ; ddHead : '.data' tls id '=' | '.data' tls ; tls : /* EMPTY */ | 'tls' ; ddBody : '{' ddItemList '}' | ddItem ; ddItemList : ddItem ',' ddItemList | ddItem ; ddItemCount : /* EMPTY */ | '[' int32 ']' ; ddItem : 'char' '*' '(' QSTRING ')' | 'wchar' '*' '(' QSTRING ')' | '&' '(' id ')' | bytearrayhead bytes ')' | 'float32' '(' float64 ')' ddItemCount | 'float64' '(' float64 ')' ddItemCount | 'int64' '(' int64 ')' ddItemCount | 'int32' '(' int32 ')' ddItemCount | 'int16' '(' int32 ')' ddItemCount | 'int8' '(' int32 ')' ddItemCount | 'float32' ddItemCount | 'float64' ddItemCount | 'int64' ddItemCount | 'int32' ddItemCount | 'int16' ddItemCount | 'int8' ddItemCount ; fieldInit : 'float32' '(' float64 ')' | 'float64' '(' float64 ')' | 'float32' '(' int64 ')' | 'float64' '(' int64 ')' | 'int64' '(' int64 ')' | 'int32' '(' int64 ')' | 'int16' '(' int64 ')' | 'int8' '(' int64 ')' | QSTRING | 'wchar' '*' '(' QSTRING ')' | bytearrayhead bytes ')' ; bytearrayhead : 'bytearray' '(' ; bytes : HEXBYTE | bytes HEXBYTE ; instr_r_head : INSTR_R '(' ; methodSpec : 'method' ; instr : INSTR_NONE | INSTR_VAR int32 | INSTR_VAR id | INSTR_I int32 | INSTR_I8 int64 | INSTR_R float64 | INSTR_R int64 | instr_r_head bytes ')' | INSTR_BRTARGET int32 | INSTR_BRTARGET label | INSTR_METHOD callConv type typeSpec '::' methodName '(' sigArgs0 ')' | INSTR_METHOD callConv type methodName '(' sigArgs0 ')' | INSTR_FIELD type typeSpec '::' id | INSTR_FIELD type id | INSTR_TYPE typeSpec | INSTR_STRING QSTRING | INSTR_STRING bytearrayhead bytes ')' | INSTR_SIG callConv type '(' sigArgs0 ')' | INSTR_RVA label | INSTR_RVA int32 | INSTR_TOK methodSpec callConv type typeSpec '::' methodName '(' sigArgs0 ')' | INSTR_TOK methodSpec callConv type methodName '(' sigArgs0 ')' | INSTR_TOK 'field' type typeSpec '::' id | INSTR_TOK 'field' type id | INSTR_TOK typeSpec | INSTR_SWITCH '(' labels ')' | INSTR_PHI int16s ; sigArgs0 : /* EMPTY */ | sigArgs1 ; sigArgs1 : sigArg | sigArgs1 ',' sigArg ; sigArg : '...' | paramAttr type | paramAttr type id | paramAttr type 'marshal' '(' nativeType ')' | paramAttr type 'marshal' '(' nativeType ')' id ; name1 : id | name1 '.' id ; className : '[' name1 ']' slashedName | '[' '.module' name1 ']' slashedName | slashedName ; slashedName : name1 | slashedName '/' name1 ; typeSpec : className | '[' name1 ']' | '[' '.module' name1 ']' | type ; callConv : 'instance' callConv | 'explicit' callConv | callKind ; callKind : /* EMPTY */ | 'default' | 'vararg' | 'unmanaged' 'cdecl' | 'unmanaged' 'stdcall' | 'unmanaged' 'thiscall' | 'unmanaged' 'fastcall' ; nativeType : /* EMPTY */ | 'custom' '(' QSTRING ',' QSTRING ',' QSTRING ',' QSTRING ')' | 'fixed' 'sysstring' '[' int32 ']' | 'fixed' 'array' '[' int32 ']' | 'variant' | 'currency' | 'syschar' | 'void' | 'bool' | 'int8' | 'int16' | 'int32' | 'int64' | 'float32' | 'float64' | 'unsigned' 'int8' | 'unsigned' 'int16' | 'unsigned' 'int32' | 'unsigned' 'int64' | nativeType '*' | nativeType '[' ']' | nativeType '[' int32 ']' | nativeType '[' '.size' '.param' '=' int32 ']' | nativeType '[' '.size' '.param' '=' int32 '*' int32 ']' | 'decimal' | 'date' | 'bstr' | 'lpstr' | 'lpwstr' | 'lptstr' | 'objectref' | 'iunknown' | 'idispatch' | 'struct' | 'interface' | 'safearray' variantType | 'int' | 'unsigned' 'int' | 'nested' 'struct' | 'byvalstr' | 'ansi' 'bstr' | 'tbstr' | 'variant' 'bool' | methodSpec | 'lpvoid' | 'as' 'any' | 'float' | 'lpstruct' ; variantType : /* EMPTY */ | 'null' | 'variant' | 'currency' | 'void' | 'bool' | 'int8' | 'int16' | 'int32' | 'int64' | 'float32' | 'float64' | 'unsigned' 'int8' | 'unsigned' 'int16' | 'unsigned' 'int32' | 'unsigned' 'int64' | '*' | variantType '[' ']' | variantType 'vector' | variantType '&' | 'decimal' | 'date' | 'bstr' | 'lpstr' | 'lpwstr' | 'iunknown' | 'idispatch' | 'safearray' | 'int' | 'unsigned' 'int' | 'error' | 'hresult' | 'carray' | 'userdefined' | 'record' | 'filetime' | 'blob' | 'stream' | 'storage' | 'streamed_object' | 'stored_object' | 'blob_object' | 'cf' | 'clsid' ; type : 'class' className | 'value' 'class' className | type '[' '?' ']' | type '[' ']' | type '[' bounds1 ']' | type 'value' '[' int32 ']' | type '&' | type '*' | type '%' | type 'pinned' | type 'modreq' '(' className ')' | type 'modopt' '(' className ')' | '!' int32 | methodSpec callConv type '*' '(' sigArgs0 ')' | 'typedref' | 'wchar' | 'char' | 'void' | 'bool' | 'int8' | 'int16' | 'int32' | 'int64' | 'float32' | 'float64' | 'unsigned' 'int8' | 'unsigned' 'int16' | 'unsigned' 'int32' | 'unsigned' 'int64' | 'native' 'int' | 'native' 'unsigned' 'int' | 'native' 'float' ; bounds1 : bound | bounds1 ',' bound ; bound : /* EMPTY */ | '...' | int32 | int32 '...' int32 | int32 '...' ; labels : /* empty */ | label ',' labels | int32 ',' labels | label | int32 ; label : ID ; id : ID | SQSTRING ; int16s : /* EMPTY */ | int16s int32 ; int32 : INT64 ; int64 : INT64 ; float64 : FLOAT64 | 'float32' '(' int32 ')' | 'float64' '(' int64 ')' ; secDecl : '.permission' secAction className '(' nameValPairs ')' | '.capability' secAction SQSTRING | capHead bytes ')' ; capHead : '.capability' secAction '=' '(' ; nameValPairs : nameValPair | nameValPair ',' nameValPairs ; nameValPair : SQSTRING '=' SQSTRING ; secAction : 'request' | 'demand' | 'assert' | 'deny' | 'permitonly' | 'linkcheck' | 'inheritcheck' | 'reqmin' | 'reqopt' | 'reqrefuse' | 'prejitgrant' | 'prejitdeny' | 'noncasdemand' | 'noncaslinkdemand' | 'noncasinheritance' ; extSourceSpec : '.line' int32 SQSTRING | '.line' int32 | P_LINE int32 QSTRING ; fileDecl : '.file' fileAttr name1 hashHead bytes ')' | '.file' fileAttr name1 ; fileAttr : /* EMPTY */ | fileAttr 'readonly' | fileAttr 'nometadata' ; hashHead : '.hash' '=' '(' ; exelocDecl : '.exeloc' name1 '(' QSTRING ')' 'at' QSTRING | '.exeloc' name1 'at' QSTRING ; assemblyHead : '.assembly' asmAttr name1 'as' QSTRING | '.assembly' asmAttr name1 ; asmAttr : /* EMPTY */ | asmAttr 'implicitcom' | asmAttr 'implicitres' | asmAttr 'noappdomain' | asmAttr 'noprocess' | asmAttr 'nomachine' ; assemblyDecls : /* EMPTY */ | assemblyDecls assemblyDecl ; assemblyDecl : '.title' QSTRING '(' QSTRING ')' | '.title' QSTRING | '.hash' 'algorithm' int32 | secDecl | asmOrRefDecl ; asmOrRefDecl : originatorHead bytes ')' | '.ver' int32 ':' int32 ':' int32 ':' int32 | '.locale' QSTRING | localeHead bytes ')' | '.processor' int32 | '.os' int32 '.ver' int32 ':' int32 | '.config' QSTRING | configHead bytes ')' | customAttrDecl ; originatorHead : '.originator' '=' '(' ; localeHead : '.locale' '=' '(' ; configHead : '.config' '=' '(' ; assemblyRefHead : '.assembly' 'extern' asmRefAttr name1 'as' QSTRING | '.assembly' 'extern' asmRefAttr name1 ; asmRefAttr : /* EMPTY */ | asmRefAttr 'fullorigin' ; assemblyRefDecls : /* EMPTY */ | assemblyRefDecls assemblyRefDecl ; assemblyRefDecl : hashHead bytes ')' | '.exeloc' name1 | asmOrRefDecl ; comtypeHead : '.comtype' comtAttr name1 '(' QSTRING ')' | '.comtype' comtAttr name1 ; exportHead : '.export' comtAttr name1 '(' QSTRING ')' | '.export' comtAttr name1 ; comtAttr : /* EMPTY */ | comtAttr 'private' | comtAttr 'public' | comtAttr 'nested' 'public' | comtAttr 'nested' 'private' | comtAttr 'nested' 'family' | comtAttr 'nested' 'assembly' | comtAttr 'nested' 'famandassem' | comtAttr 'nested' 'famorassem' ; comtypeDecls : /* EMPTY */ | comtypeDecls comtypeDecl ; comtypeDecl : '.file' name1 | '.assembly' 'extern' name1 | '.comtype' name1 | '.class' int32 | '.exeloc' name1 | customAttrDecl ; manifestResHead : '.manifestres' manresAttr name1 '(' QSTRING ')' | '.manifestres' manresAttr name1 ; manresAttr : /* EMPTY */ | manresAttr 'public' | manresAttr 'private' ; manifestResDecls : /* EMPTY */ | manifestResDecls manifestResDecl ; manifestResDecl : '.mime' QSTRING | mimeHead bytes ')' | '.file' name1 'at' int32 | '.assembly' 'extern' name1 | '.locale' QSTRING | localeHead bytes ')' | customAttrDecl ; mimeHead : '.mime' '=' '(' ;