2 // Mono::ILASM::ILParser
\r
4 // (C) Sergey Chaban (serge@wildwestsoftware.com)
\r
8 using System.Collections;
\r
10 namespace Mono.ILASM {
\r
12 public class ILParser {
\r
14 private CodeGen codegen;
\r
16 public ILParser (CodeGen codegen) {
\r
17 this.codegen = codegen;
\r
20 public CodeGen CodeGen {
\r
21 get { return codegen; }
\r
28 /* ID - alpha-numeric identifier */
\r
31 /* QSTRING - quoted string */
\r
34 /* SQSTRING - single quoted string */
\r
37 /* INT32 - 32 bit integer */
\r
40 /* INT64 - 64 bit integer */
\r
43 /* FLOAT64 - floating point number */
\r
50 %token OPEN_BRACE "{"
\r
51 %token CLOSE_BRACE "}"
\r
52 %token OPEN_BRACKET "["
\r
53 %token CLOSE_BRACKET "]"
\r
54 %token OPEN_PARENS "("
\r
55 %token CLOSE_PARENS ")"
\r
58 %token DOUBLE_COLON "::"
\r
59 %token SEMICOLON ";"
\r
62 %token AMPERSAND "&"
\r
66 %token ELLIPSIS "..."
\r
75 /* INSTR_* instruction types */
\r
81 %token INSTR_BRTARGET
\r
99 /* Mechanically generated - DO NOT EDIT! */
\r
108 %token D_CAPABILITY
\r
118 %token D_ENTRYPOINT
\r
127 %token D_IMPLICITCOM
\r
133 %token D_MANIFESTRES
\r
140 %token D_ORIGINATOR
\r
146 %token D_PERMISSION
\r
147 %token D_PERMISSIONSET
\r
151 %token D_PUBLICKEYTOKEN
\r
168 %token K_IMPLICITCOM
\r
169 %token K_IMPLICITRES
\r
170 %token K_NOAPPDOMAIN
\r
194 %token K_RTSPECIALNAME
\r
195 %token K_SPECIALNAME
\r
197 %token K_FAMANDASSEM
\r
198 %token K_FAMORASSEM
\r
199 %token K_PRIVATESCOPE
\r
201 %token K_NOTSERIALIZED
\r
203 %token K_NOT_IN_GC_HEAP
\r
208 %token K_SEQUENTIAL
\r
213 %token K_SERIALIZABLE
\r
217 %token K_IMPLEMENTS
\r
222 %token K_UNMANAGEDEXP
\r
223 %token K_PINVOKEIMPL
\r
233 %token K_FORWARDREF
\r
235 %token K_INTERNALCALL
\r
236 %token K_SYNCHRONIZED
\r
237 %token K_NOINLINING
\r
278 %token K_USERDEFINED
\r
284 %token K_STREAMED_OBJECT
\r
285 %token K_STORED_OBJECT
\r
286 %token K_BLOB_OBJECT
\r
297 %token K_FROMUNMANAGED
\r
298 %token K_CALLMOSTDERIVED
\r
314 %token K_PERMITONLY
\r
316 %token K_INHERITCHECK
\r
320 %token K_PREJITGRANT
\r
321 %token K_PREJITDENY
\r
322 %token K_NONCASDEMAND
\r
323 %token K_NONCASLINKDEMAND
\r
324 %token K_NONCASINHERITANCE
\r
326 %token K_NOMETADATA
\r
328 %token K_FULLORIGIN
\r
332 %token K_ENABLEJITTRACKING
\r
333 %token K_DISABLEJITOPTIMIZER
\r
334 %token K_PRESERVESIG
\r
335 %token K_BEFOREFIELDINIT
\r
339 %token K_COMPILERCONTROLLED
\r
347 /* end generated */
\r
360 decls : /* EMPTY */
\r
365 | nameSpaceHead OPEN_BRACE decls CLOSE_BRACE { codegen.CurrentNameSpace = String.Empty; }
\r
373 | assemblyHead OPEN_BRACE assemblyDecls CLOSE_BRACE
\r
374 | assemblyRefHead OPEN_BRACE assemblyRefDecls CLOSE_BRACE
\r
375 | comtypeHead OPEN_BRACE comtypeDecls CLOSE_BRACE
\r
376 | manifestResHead OPEN_BRACE manifestResDecls CLOSE_BRACE
\r
380 | D_SUBSYSTEM int32
\r
381 | D_CORFLAGS int32
\r
382 | D_FILE K_ALIGNMENT int32
\r
386 compQstring : QSTRING
\r
387 | compQstring PLUS QSTRING {$$ = ($1 as string) + ($3 as string);}
\r
390 languageDecl : D_LANGUAGE SQSTRING
\r
391 | D_LANGUAGE SQSTRING COMMA SQSTRING
\r
392 | D_LANGUAGE SQSTRING COMMA SQSTRING COMMA SQSTRING
\r
395 customAttrDecl : D_CUSTOM customType
\r
396 | D_CUSTOM customType ASSIGN compQstring
\r
397 | customHead bytes CLOSE_PARENS
\r
398 | D_CUSTOM OPEN_PARENS customType CLOSE_PARENS customType
\r
399 | D_CUSTOM OPEN_PARENS customType CLOSE_PARENS customType ASSIGN compQstring
\r
400 | customHeadWithOwner bytes CLOSE_PARENS
\r
403 moduleHead : D_MODULE
\r
405 | D_MODULE K_EXTERN name1
\r
408 vtfixupDecl : D_VTFIXUP OPEN_BRACKET int32 CLOSE_BRACKET vtfixupAttr K_AT id
\r
411 vtfixupAttr : /* EMPTY */
\r
412 | vtfixupAttr K_INT32
\r
413 | vtfixupAttr K_INT64
\r
414 | vtfixupAttr K_FROMUNMANAGED
\r
415 | vtfixupAttr K_CALLMOSTDERIVED
\r
418 vtableDecl : vtableHead bytes CLOSE_PARENS
\r
421 vtableHead : D_VTABLE ASSIGN OPEN_PARENS
\r
424 nameSpaceHead : D_NAMESPACE name1
\r
426 codegen.CurrentNameSpace = (string) $2;
\r
430 classHead : D_CLASS type_attr id extendsClause implClause
\r
433 codegen.AddClass ((TypeAttr) $2, (string) $3,
\r
434 ((TypeRef)$4).Type as Class, null);
\r
436 codegen.AddClass ((TypeAttr)$2, (string) $3, null);
\r
439 ArrayList impl_list = (ArrayList) $5;
\r
440 if (impl_list != null) {
\r
441 foreach (TypeRef type_ref in impl_list)
\r
442 codegen.CurrentClass.AddImplementedInterface (type_ref.Type as Class);
\r
447 type_attr : /* EMPTY */ { $$ = new TypeAttr (); }
\r
448 | type_attr K_PUBLIC { $$ = (TypeAttr)$1 | TypeAttr.Public; }
\r
449 | type_attr K_PRIVATE { $$ = (TypeAttr)$1 | TypeAttr.Private; }
\r
450 | type_attr K_INTERFACE { $$ = (TypeAttr)$1 | TypeAttr.Interface; }
\r
451 | type_attr K_SEALED { $$ = (TypeAttr)$1 | TypeAttr.Sealed; }
\r
452 | type_attr K_ABSTRACT { $$ = (TypeAttr)$1 | TypeAttr.Abstract; }
\r
453 | type_attr K_AUTO { /* */ }
\r
454 | type_attr K_SEQUENTIAL { $$ = (TypeAttr)$1 | TypeAttr.SequentialLayout; }
\r
455 | type_attr K_EXPLICIT { $$ = (TypeAttr)$1 | TypeAttr.ExplicitLayout; }
\r
456 | type_attr K_ANSI { /* */ }
\r
457 | type_attr K_UNICODE { $$ = (TypeAttr)$1 | TypeAttr.UnicodeClass; }
\r
458 | type_attr K_AUTOCHAR { $$ = (TypeAttr)$1 | TypeAttr.AutoClass; }
\r
459 | type_attr K_IMPORT { $$ = (TypeAttr)$1 | TypeAttr.Import; }
\r
460 | type_attr K_SERIALIZABLE { $$ = (TypeAttr)$1 | TypeAttr.Serializable; }
\r
461 | type_attr K_NESTED K_PUBLIC { $$ = (TypeAttr)$1 | TypeAttr.NestedPublic; }
\r
462 | type_attr K_NESTED K_PRIVATE { $$ = (TypeAttr)$1 | TypeAttr.NestedPrivate; }
\r
463 | type_attr K_NESTED K_FAMILY { $$ = (TypeAttr)$1 | TypeAttr.NestedFamily; }
\r
464 | type_attr K_NESTED K_ASSEMBLY { $$ = (TypeAttr)$1 | TypeAttr.NestedAssembly; }
\r
465 | type_attr K_NESTED K_FAMANDASSEM { $$ = (TypeAttr)$1 | TypeAttr.NestedFamAndAssem; }
\r
466 | type_attr K_NESTED K_FAMORASSEM { $$ = (TypeAttr)$1 | TypeAttr.NestedFamOrAssem; }
\r
467 | type_attr K_BEFOREFIELDINIT { $$ = (TypeAttr)$1 | TypeAttr.BeforeFieldInit; }
\r
468 | type_attr K_SPECIALNAME { $$ = (TypeAttr)$1 | TypeAttr.SpecialName; }
\r
469 | type_attr K_RTSPECIALNAME { $$ = (TypeAttr)$1 | TypeAttr.RTSpecialName; }
\r
472 classAttr : /* EMPTY */
\r
473 | classAttr K_PUBLIC { /* currentTypeAttrs |= TypeAttributes.Public; */}
\r
474 | classAttr K_PRIVATE { /* currentTypeAttrs &= ~TypeAttributes.Public; */}
\r
475 | classAttr K_VALUE { /* FIXME */ }
\r
476 | classAttr K_ENUM { /* FIXME */ }
\r
477 | classAttr K_INTERFACE { /* currentTypeAttrs |= TypeAttributes.Interface; */ }
\r
478 | classAttr K_SEALED { /* currentTypeAttrs |= TypeAttributes.Sealed; */ }
\r
479 | classAttr K_ABSTRACT { /* currentTypeAttrs |= TypeAttributes.Abstract; */ }
\r
480 | classAttr K_AUTO { /* currentTypeAttrs |= TypeAttributes.AutoLayout; */ }
\r
481 | classAttr K_SEQUENTIAL { /* currentTypeAttrs |= TypeAttributes.SequentialLayout; */ }
\r
482 | classAttr K_EXPLICIT { /* currentTypeAttrs |= TypeAttributes.ExplicitLayout; */ }
\r
483 | classAttr K_ANSI { /* currentTypeAttrs |= TypeAttributes.AnsiClass; */ }
\r
484 | classAttr K_UNICODE { /* currentTypeAttrs |= TypeAttributes.UnicodeClass; */ }
\r
485 | classAttr K_AUTOCHAR { /* currentTypeAttrs |= TypeAttributes.AutoClass; */ }
\r
486 | classAttr K_IMPORT { /* currentTypeAttrs |= TypeAttributes.Import; */ }
\r
487 | classAttr K_SERIALIZABLE { /* currentTypeAttrs |= TypeAttributes.Serializable; */ }
\r
488 | classAttr K_NESTED K_PUBLIC { /* currentTypeAttrs |= TypeAttributes.NestedPublic; */ }
\r
489 | classAttr K_NESTED K_PRIVATE { /* currentTypeAttrs |= TypeAttributes.NestedPrivate; */ }
\r
490 | classAttr K_NESTED K_FAMILY { /* currentTypeAttrs |= TypeAttributes.NestedFamily; */ }
\r
491 | classAttr K_NESTED K_ASSEMBLY { /* currentTypeAttrs |= TypeAttributes.NestedAssembly; */ }
\r
492 | classAttr K_NESTED K_FAMANDASSEM { /* currentTypeAttrs |= TypeAttributes.NestedFamANDAssem; */ }
\r
493 | classAttr K_NESTED K_FAMORASSEM { /* currentTypeAttrs |= TypeAttributes.NestedFamORAssem; */ }
\r
494 | classAttr K_BEFOREFIELDINIT { /* currentTypeAttrs |= TypeAttributes.BeforeFieldInit; */ }
\r
495 | classAttr K_SPECIALNAME { /* currentTypeAttrs |= TypeAttributes.SpecialName; */ }
\r
496 | classAttr K_RTSPECIALNAME { /* currentTypeAttrs |= TypeAttributes.RTSpecialName; */ }
\r
499 extendsClause : /* EMPTY */
\r
500 | K_EXTENDS class_ref {$$ = $2;}
\r
503 implClause : /* EMPTY */
\r
504 | K_IMPLEMENTS classNames {$$ = $2; }
\r
507 classNames : classNames COMMA class_ref
\r
509 ArrayList class_list = (ArrayList) $1;
\r
510 class_list.Add ($3);
\r
514 ArrayList class_list = new ArrayList ();
\r
515 class_list.Add ($1);
\r
520 classDecls : /* EMPTY */
\r
521 | classDecls classDecl
\r
525 classAll : classHead OPEN_BRACE classDecls CLOSE_BRACE
\r
528 codegen.AddClass (currentClass);
\r
529 currentClass = null;
\r
535 classDecl : methodAll
\r
537 | eventHead OPEN_BRACE eventDecls CLOSE_BRACE
\r
538 | propHead OPEN_BRACE propDecls CLOSE_BRACE
\r
546 | exportHead OPEN_BRACE comtypeDecls CLOSE_BRACE
\r
547 | D_OVERRIDE typeSpec DOUBLE_COLON methodName K_WITH callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
551 fieldDecl : D_FIELD repeatOpt fieldAttr type_ref id atOpt initOpt
\r
553 codegen.CurrentClass.AddField ((FieldAttr) $3,
\r
554 (string) $5, ((TypeRef) $4).Type);
\r
558 type_ref : primative_type_ref
\r
559 | internal_type_ref
\r
560 | external_type_ref
\r
563 class_ref : internal_type_ref
\r
564 | external_type_ref
\r
567 primative_type_ref : K_CHAR
\r
568 {$$ = new TypeRef (PrimitiveType.Char, "System.Char"); }
\r
570 {$$ = new TypeRef (PrimitiveType.Void, "System.Void"); }
\r
572 {$$ = new TypeRef (PrimitiveType.Boolean, "System.Bool"); }
\r
574 {$$ = new TypeRef (PrimitiveType.Int8, "System.Int8"); }
\r
576 {$$ = new TypeRef (PrimitiveType.Int16, "System.Int16"); }
\r
578 {$$ = new TypeRef (PrimitiveType.Int32, "System.Int32"); }
\r
580 {$$ = new TypeRef (PrimitiveType.Int64, "System.Int64"); }
\r
582 {$$ = new TypeRef (PrimitiveType.Float32, "System.Float32"); }
\r
584 {$$ = new TypeRef (PrimitiveType.Float64, "System.Float64"); }
\r
585 | K_UNSIGNED K_INT8
\r
586 {$$ = new TypeRef (PrimitiveType.UInt8, "System.UInt8"); }
\r
587 | K_UNSIGNED K_INT16
\r
588 {$$ = new TypeRef (PrimitiveType.UInt16, "System.UInt16"); }
\r
589 | K_UNSIGNED K_INT32
\r
590 {$$ = new TypeRef (PrimitiveType.UInt32, "System.UInt32"); }
\r
591 | K_UNSIGNED K_INT64
\r
592 {$$ = new TypeRef (PrimitiveType.UInt64, "System.UInt64"); }
\r
594 {$$ = new TypeRef (PrimitiveType.String, "System.String"); }
\r
597 internal_type_ref : name1
\r
599 $$ = new TypeRef (codegen.ClassTable.GetReference ((string) $1, null),
\r
604 external_type_ref : assembly_name namespace_name DOT id
\r
606 $$ = new TypeRef (codegen.ExternTable.GetClass ($1 as string,
\r
607 $2 as string, $4 as string), String.Format ("{0}.{1}", $2, $4));
\r
611 namespace_name : /* EMPTY */
\r
613 | namespace_name DOT id {$$ = String.Format ("{0}.{1}", $1, $3); }
\r
616 atOpt : /* EMPTY */
\r
620 initOpt : /* EMPTY */
\r
621 | ASSIGN fieldInit
\r
624 repeatOpt : /* EMPTY */
\r
625 | OPEN_BRACKET int32 CLOSE_BRACKET
\r
628 customHead : D_CUSTOM customType ASSIGN OPEN_PARENS
\r
631 customHeadWithOwner : D_CUSTOM OPEN_PARENS customType CLOSE_PARENS customType ASSIGN OPEN_PARENS
\r
634 customType : typeSpec
\r
635 | callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
636 | callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
639 eventHead : D_EVENT eventAttr typeSpec id
\r
640 | D_EVENT eventAttr id
\r
644 eventAttr : /* EMPTY */
\r
645 | eventAttr K_RTSPECIALNAME /**/
\r
646 | eventAttr K_SPECIALNAME
\r
649 eventDecls : /* EMPTY */
\r
650 | eventDecls eventDecl
\r
653 eventDecl : D_ADDON callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
654 | D_ADDON callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
655 | D_REMOVEON callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
656 | D_REMOVEON callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
657 | D_FIRE callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
658 | D_FIRE callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
659 | D_OTHER callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
660 | D_OTHER callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
666 propHead : D_PROPERTY propAttr callConv type id OPEN_PARENS sigArgs0 CLOSE_PARENS initOpt
\r
669 propAttr : /* EMPTY */
\r
670 | propAttr K_RTSPECIALNAME /**/
\r
671 | propAttr K_SPECIALNAME
\r
674 propDecls : /* EMPTY */
\r
675 | propDecls propDecl
\r
679 propDecl : D_SET callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
680 | D_SET callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
681 | D_GET callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
682 | D_GET callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
683 | D_OTHER callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
684 | D_OTHER callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
691 methodHead : D_METHOD methAttr callConv type_ref methodName
\r
692 OPEN_PARENS arg_list CLOSE_PARENS implAttr OPEN_BRACE
\r
694 Param[] param_array;
\r
695 TypeRef[] typeref_array;
\r
697 ArrayList param_list = $7 as ArrayList;
\r
699 param_array = new Param[param_list.Count];
\r
700 typeref_array = new TypeRef[param_list.Count];
\r
701 foreach (DictionaryEntry entry in param_list) {
\r
702 param_array[index] = entry.Key as Param;
\r
703 typeref_array[index] = entry.Value as TypeRef;
\r
707 param_array = new Param[0];
\r
708 typeref_array = new TypeRef[0];
\r
711 codegen.AddMethod ((MethAttr) $2, (ImplAttr) $9, (CallConv) $3, (string) $5,
\r
712 (TypeRef) $4, param_array, typeref_array, null);
\r
714 | methodHeadPart1 methAttr callConv paramAttr type K_MARSHAL OPEN_PARENS nativeType CLOSE_PARENS methodName OPEN_PARENS sigArgs0 CLOSE_PARENS implAttr OPEN_BRACE
\r
718 methodAll : methodHead methodDecls CLOSE_BRACE
\r
721 // Console.WriteLine (method);
\r
722 currentClass.AddMethod (method);
\r
728 methAttr : /* EMPTY */ { $$ = MethAttr.Default; }
\r
729 | methAttr K_STATIC { $$ = (MethAttr) $1 | MethAttr.Static; }
\r
730 | methAttr K_PUBLIC { $$ = (MethAttr) $1 | MethAttr.Public; }
\r
731 | methAttr K_PRIVATE { $$ = (MethAttr) $1 | MethAttr.Private; }
\r
732 | methAttr K_FAMILY { $$ = (MethAttr) $1 | MethAttr.Family; }
\r
733 | methAttr K_FINAL { $$ = (MethAttr) $1 | MethAttr.Final; }
\r
734 | methAttr K_SPECIALNAME { $$ = (MethAttr) $1 | MethAttr.SpecialName; }
\r
735 | methAttr K_VIRTUAL { $$ = (MethAttr) $1 | MethAttr.Virtual; }
\r
736 | methAttr K_ABSTRACT { $$ = (MethAttr) $1 | MethAttr.Abstract; }
\r
737 | methAttr K_ASSEMBLY { $$ = (MethAttr) $1 | MethAttr.Assembly; }
\r
738 | methAttr K_FAMANDASSEM { $$ = (MethAttr) $1 | MethAttr.FamAndAssem; }
\r
739 | methAttr K_FAMORASSEM { $$ = (MethAttr) $1 | MethAttr.FamOrAssem; }
\r
740 | methAttr K_COMPILERCONTROLLED {/* FIXME */}
\r
741 | methAttr K_HIDEBYSIG { $$ = (MethAttr) $1 | MethAttr.HideBySig; }
\r
742 | methAttr K_NEWSLOT { $$ = (MethAttr) $1 | MethAttr.NewSlot; }
\r
743 | methAttr K_RTSPECIALNAME { $$ = (MethAttr) $1 | MethAttr.RTSpecialName; }
\r
744 | methAttr K_UNMANAGEDEXP {/* FIXME */}
\r
745 | methAttr K_REQSECOBJ { $$ = (MethAttr) $1 | MethAttr.RequireSecObject; }
\r
747 | methAttr K_PINVOKEIMPL OPEN_PARENS compQstring K_AS compQstring pinvAttr CLOSE_PARENS { }
\r
748 | methAttr K_PINVOKEIMPL OPEN_PARENS compQstring pinvAttr CLOSE_PARENS { }
\r
749 | methAttr K_PINVOKEIMPL OPEN_PARENS pinvAttr CLOSE_PARENS { }
\r
753 pinvAttr : /* EMPTY */
\r
754 | pinvAttr K_NOMANGLE
\r
756 | pinvAttr K_UNICODE
\r
757 | pinvAttr K_AUTOCHAR
\r
758 | pinvAttr K_LASTERR
\r
759 | pinvAttr K_WINAPI
\r
760 | pinvAttr K_CDECL
\r
761 | pinvAttr K_STDCALL
\r
762 | pinvAttr K_THISCALL
\r
763 | pinvAttr K_FASTCALL
\r
766 methodName : D_CTOR
\r
771 paramAttr : /* EMPTY */ {$$ = ParamAttr.Default; }
\r
772 | paramAttr OPEN_BRACKET K_IN CLOSE_BRACKET {$$ = (ParamAttr) $1 | ParamAttr.In; }
\r
773 | paramAttr OPEN_BRACKET K_OUT CLOSE_BRACKET {$$ = (ParamAttr) $1 | ParamAttr.Out; }
\r
774 | paramAttr OPEN_BRACKET K_OPT CLOSE_BRACKET {$$ = (ParamAttr) $1 | ParamAttr.Opt; }
\r
775 /* | paramAttr OPEN_BRACKET int32 CLOSE_BRACKET */
\r
778 fieldAttr : /* EMPTY */ {$$ = FieldAttr.Default; }
\r
779 | fieldAttr K_STATIC {$$ = FieldAttr.Static; }
\r
780 | fieldAttr K_PUBLIC {$$ = FieldAttr.Public; }
\r
781 | fieldAttr K_PRIVATE {$$ = FieldAttr.Private; }
\r
782 | fieldAttr K_FAMILY {$$ = FieldAttr.Family; }
\r
783 | fieldAttr K_INITONLY {$$ = FieldAttr.Initonly; }
\r
784 | fieldAttr K_RTSPECIALNAME {$$ = FieldAttr.RTSpecialName; }
\r
785 | fieldAttr K_SPECIALNAME {$$ = FieldAttr.SpecialName; }
\r
786 /* commented out because PInvoke for fields is not supported by EE
\r
787 | fieldAttr K_PINVOKEIMPL OPEN_PARENS compQstring K_AS compQstring pinvAttr CLOSE_PARENS
\r
788 | fieldAttr K_PINVOKEIMPL OPEN_PARENS compQstring pinvAttr CLOSE_PARENS
\r
789 | fieldAttr K_PINVOKEIMPL OPEN_PARENS pinvAttr CLOSE_PARENS
\r
791 | fieldAttr K_MARSHAL OPEN_PARENS nativeType CLOSE_PARENS
\r
793 | fieldAttr K_ASSEMBLY {$$ = FieldAttr.Assembly; }
\r
794 | fieldAttr K_FAMANDASSEM {$$ = FieldAttr.FamAndAssem; }
\r
795 | fieldAttr K_FAMORASSEM {$$ = FieldAttr.FamOrAssem; }
\r
796 /* | fieldAttr K_COMPILERCONTROLLED {$$ = FieldAttr. */
\r
797 | fieldAttr K_LITERAL {$$ = FieldAttr.Literal; }
\r
798 | fieldAttr K_NOTSERIALIZED {$$ = FieldAttr.Notserialized; }
\r
802 implAttr : /* empty */ {$$ = new ImplAttr (); }
\r
803 | implAttr K_NATIVE {$$ = (ImplAttr) $1 | ImplAttr.Native; }
\r
804 | implAttr K_IL {$$ = (ImplAttr) $1 | ImplAttr.IL; }
\r
805 | implAttr K_CIL { /* Do nothing */ }
\r
806 | implAttr K_OPTIL {$$ = (ImplAttr) $1 | ImplAttr.Optil; }
\r
807 | implAttr K_MANAGED { /* Do nothing */ }
\r
808 | implAttr K_UNMANAGED {$$ = (ImplAttr) $1 | ImplAttr.Unmanaged; }
\r
809 | implAttr K_FORWARDREF {$$ = (ImplAttr) $1 | ImplAttr.ForwardRef; }
\r
810 | implAttr K_PRESERVESIG {$$ = (ImplAttr) $1 | ImplAttr.PreserveSig; }
\r
811 | implAttr K_RUNTIME {$$ = (ImplAttr) $1 | ImplAttr.PreserveSig; }
\r
812 | implAttr K_INTERNALCALL {$$ = (ImplAttr) $1 | ImplAttr.InternalCall; }
\r
813 | implAttr K_SYNCHRONIZED {$$ = (ImplAttr) $1 | ImplAttr.Synchronized; }
\r
814 | implAttr K_NOINLINING {$$ = (ImplAttr) $1 | ImplAttr.NoInLining; }
\r
817 localsHead : D_LOCALS
\r
821 methodDecl : D_EMITBYTE int32
\r
823 | D_MAXSTACK int32
\r
824 | localsHead OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
825 | localsHead K_INIT OPEN_PARENS named_arg_list CLOSE_PARENS
\r
828 ArrayList arg_list = $4 as ArrayList;
\r
830 if (arg_list != null) {
\r
831 foreach (DictionaryEntry local in arg_list) {
\r
832 method.AddLocal (local);
\r
837 | D_ENTRYPOINT {/* method.IsEntryPoint = true; */}
\r
841 /* method.AddInstruction (currentInstr); */
\r
848 | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET
\r
849 | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET K_AS id
\r
850 | D_VTENTRY int32 COLON int32
\r
851 | D_OVERRIDE typeSpec DOUBLE_COLON methodName
\r
853 | D_PARAM OPEN_BRACKET int32 CLOSE_BRACKET initOpt
\r
856 scopeBlock : scopeOpen methodDecls CLOSE_BRACE
\r
859 scopeOpen : OPEN_BRACE
\r
862 sehBlock : tryBlock sehClauses
\r
865 sehClauses : sehClause sehClauses
\r
869 tryBlock : tryHead scopeBlock
\r
870 | tryHead id K_TO id
\r
871 | tryHead int32 K_TO int32
\r
878 sehClause : catchClause handlerBlock
\r
879 | filterClause handlerBlock
\r
880 | finallyClause handlerBlock
\r
881 | faultClause handlerBlock
\r
885 filterClause : filterHead scopeBlock
\r
887 | filterHead int32
\r
890 filterHead : K_FILTER
\r
893 catchClause : K_CATCH className
\r
896 finallyClause : K_FINALLY
\r
899 faultClause : K_FAULT
\r
902 handlerBlock : scopeBlock
\r
903 | K_HANDLER id K_TO id
\r
904 | K_HANDLER int32 K_TO int32
\r
908 methodDecls : /* EMPTY */
\r
909 | methodDecls methodDecl
\r
912 dataDecl : ddHead ddBody
\r
915 ddHead : D_DATA tls id ASSIGN
\r
923 ddBody : OPEN_BRACE ddItemList CLOSE_BRACE
\r
927 ddItemList : ddItem COMMA ddItemList
\r
931 ddItemCount : /* EMPTY */
\r
932 | OPEN_BRACKET int32 CLOSE_BRACKET
\r
935 ddItem : K_CHAR STAR OPEN_PARENS compQstring CLOSE_PARENS
\r
936 | AMPERSAND OPEN_PARENS id CLOSE_PARENS
\r
937 | bytearrayhead bytes CLOSE_PARENS
\r
938 | K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS ddItemCount
\r
939 | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS ddItemCount
\r
940 | K_INT64 OPEN_PARENS int64 CLOSE_PARENS ddItemCount
\r
941 | K_INT32 OPEN_PARENS int32 CLOSE_PARENS ddItemCount
\r
942 | K_INT16 OPEN_PARENS int32 CLOSE_PARENS ddItemCount
\r
943 | K_INT8 OPEN_PARENS int32 CLOSE_PARENS ddItemCount
\r
944 | K_FLOAT32 ddItemCount
\r
945 | K_FLOAT64 ddItemCount
\r
946 | K_INT64 ddItemCount
\r
947 | K_INT32 ddItemCount
\r
948 | K_INT16 ddItemCount
\r
949 | K_INT8 ddItemCount
\r
952 fieldInit : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS
\r
953 | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS
\r
954 | K_FLOAT32 OPEN_PARENS int64 CLOSE_PARENS
\r
955 | K_FLOAT64 OPEN_PARENS int64 CLOSE_PARENS
\r
956 | K_INT64 OPEN_PARENS int64 CLOSE_PARENS
\r
957 | K_INT32 OPEN_PARENS int64 CLOSE_PARENS
\r
958 | K_INT16 OPEN_PARENS int64 CLOSE_PARENS
\r
959 | K_CHAR OPEN_PARENS int64 CLOSE_PARENS
\r
960 | K_INT8 OPEN_PARENS int64 CLOSE_PARENS
\r
961 | K_BOOL OPEN_PARENS truefalse CLOSE_PARENS
\r
963 | bytearrayhead bytes CLOSE_PARENS
\r
967 bytearrayhead : K_BYTEARRAY OPEN_PARENS
\r
975 bytes : /* EMPTY */
\r
979 hexbytes : hexbyte
\r
980 | hexbytes hexbyte
\r
983 instr_r_head : INSTR_R OPEN_PARENS
\r
986 methodSpec : K_METHOD
\r
989 instr : INSTR_NONE {/* currentInstr = new InstrNone ((OpCode) $1);*/}
\r
990 | INSTR_VAR int32 {/* currentInstr = new InstrVar ((OpCode) $1, $2);*/}
\r
991 | INSTR_VAR id {/* currentInstr = new InstrVar ((OpCode) $1, $2); */}
\r
992 | INSTR_I int32 {/* currentInstr = new InstrI ((OpCode) $1, (Int32) $2);*/}
\r
993 | INSTR_I8 int64 {/* currentInstr = new InstrI8 ((OpCode) $1, (Int64) $2);*/}
\r
994 | INSTR_R float64 {/* currentInstr = new InstrR ((OpCode) $1, (Double) $2);*/}
\r
995 | INSTR_R int64 {/* currentInstr = new InstrR ((OpCode) $1, (Int64) $2);*/}
\r
996 | instr_r_head bytes CLOSE_PARENS
\r
997 | INSTR_BRTARGET int32
\r
998 | INSTR_BRTARGET id
\r
999 | INSTR_METHOD binding_flags type full_type DOUBLE_COLON call_name OPEN_PARENS arg_list CLOSE_PARENS
\r
1002 if (OpCodes.Call.Equals ((OpCode)$1) || OpCodes.Callvirt.Equals ((OpCode)$1)) {
\r
1003 currentInstr = new InstrCall ((OpCode) $1, (string)$2, (string)$3,
\r
1004 (string)$4, (string)$6, $8 as ArrayList);
\r
1005 } else if (OpCodes.Newobj.Equals ((OpCode)$1)) {
\r
1006 currentInstr = new InstrNewobj ((OpCode) $1, (string)$2, (string)$3,
\r
1007 (string)$4, (string)$6, $8 as ArrayList);
\r
1013 | INSTR_METHOD callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
1017 | INSTR_NEWOBJ callConv type assembly_name name1 DOUBLE_COLON call_name OPEN_PARENS signature_args CLOSE_PARENS
\r
1021 | INSTR_FIELD type typeSpec DOUBLE_COLON id
\r
1022 | INSTR_FIELD type id
\r
1023 | INSTR_TYPE typeSpec
\r
1024 | INSTR_STRING compQstring
\r
1026 /* currentInstr = new InstrString ((OpCode) $1, $2 as string); */
\r
1028 | INSTR_STRING bytearrayhead bytes CLOSE_PARENS
\r
1029 | INSTR_SIG callConv type OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
1031 | INSTR_RVA int32
\r
1032 | INSTR_TOK methodSpec callConv type typeSpec DOUBLE_COLON methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
1033 | INSTR_TOK methodSpec callConv type methodName OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
1034 | INSTR_TOK K_FIELD type typeSpec DOUBLE_COLON id
\r
1035 | INSTR_TOK K_FIELD type id
\r
1036 | INSTR_TOK typeSpec
\r
1037 | INSTR_SWITCH OPEN_PARENS labels CLOSE_PARENS
\r
1038 | INSTR_PHI int16s
\r
1041 param_name : /* EMPTY */
\r
1047 | paramAttr type_ref param_name
\r
1049 ArrayList arg_list = new ArrayList ();
\r
1050 Param param = new Param ((ParamAttr) $1, $3 as string, ((TypeRef) $2).Type);
\r
1051 DictionaryEntry entry = new DictionaryEntry (param, $2);
\r
1053 arg_list.Add (entry);
\r
1056 | arg_list COMMA paramAttr type_ref param_name
\r
1058 ArrayList arg_list = (ArrayList) $1;
\r
1059 Param param = new Param ((ParamAttr) $3, $5 as string, ((TypeRef) $4).Type);
\r
1060 DictionaryEntry entry = new DictionaryEntry (param, $4);
\r
1062 arg_list.Add (entry);
\r
1070 $$ = new DictionaryEntry ((string) $1, (string) $2);
\r
1078 ArrayList arg_list = new ArrayList ();
\r
1079 arg_list.Add ($1);
\r
1083 | named_arg_list COMMA named_arg
\r
1085 ArrayList arg_list = (ArrayList) $1;
\r
1086 arg_list.Add ($3);
\r
1093 signature_args : /* EMPTY */
\r
1095 | type COMMA signature_args
\r
1098 binding_flags : /* EMPTY */
\r
1102 sigArgs0 : /* EMPTY */
\r
1106 sigArgs1 : sigArg
\r
1107 | sigArgs1 COMMA sigArg { $$ = String.Format ("{0},{1}", $1, $2); }
\r
1110 sigArg : ELLIPSIS
\r
1111 | paramAttr type_ref
\r
1112 | paramAttr type id { $$ = String.Format ("{0} {1}", $2, $3); }
\r
1113 | paramAttr type K_MARSHAL OPEN_PARENS nativeType CLOSE_PARENS
\r
1114 | paramAttr type K_MARSHAL OPEN_PARENS nativeType CLOSE_PARENS id
\r
1118 dottedName : id DOT id {$$ = ($1 as string) + "." + ($3 as string);}
\r
1124 | name1 DOT name1 {$$ = String.Format ("{0}.{1}", $1, $3); }
\r
1134 | id DASH id {$$ = String.Format ("{0}-{1}", $1, $3);}
\r
1135 | id DASH assembly_ref {$$ = String.Format ("{0}-{1}", $1, $3);}
\r
1138 assembly_name : OPEN_BRACKET assembly_ref CLOSE_BRACKET {$$ = ($2 as string);}
\r
1141 className : OPEN_BRACKET name1 CLOSE_BRACKET slashedName
\r
1142 | OPEN_BRACKET D_MODULE name1 CLOSE_BRACKET slashedName
\r
1146 slashedName : name1
\r
1147 | slashedName SLASH name1 {$$ = ($1 as string) + "/" + ($3 as string);}
\r
1150 typeSpec : className
\r
1151 | OPEN_BRACKET name1 CLOSE_BRACKET
\r
1152 | OPEN_BRACKET D_MODULE name1 CLOSE_BRACKET
\r
1156 callConv : K_INSTANCE callConv { $$ = (CallConv) $1 | CallConv.Instance; }
\r
1157 | K_EXPLICIT callConv { $$ = (CallConv) $1 | CallConv.InstanceExplicit; }
\r
1161 callKind : /* EMPTY */ { $$ = CallConv.Default; }
\r
1162 | K_DEFAULT { $$ = (CallConv) $1 | CallConv.Default; }
\r
1163 | K_VARARG { $$ = (CallConv) $1 | CallConv.Vararg; }
\r
1164 | K_UNMANAGED K_CDECL { $$ = (CallConv) $1 | CallConv.Cdecl; }
\r
1165 | K_UNMANAGED K_STALL { }
\r
1166 | K_UNMANAGED K_THISCALL { $$ = (CallConv) $1 | CallConv.Thiscall; }
\r
1167 | K_UNMANAGED K_FASTCALL { $$ = (CallConv) $1 | CallConv.Fastcall; }
\r
1170 nativeType : /* EMPTY */
\r
1171 | K_CUSTOM OPEN_PARENS compQstring COMMA compQstring COMMA compQstring COMMA compQstring CLOSE_PARENS
\r
1172 | K_CUSTOM OPEN_PARENS compQstring COMMA compQstring CLOSE_PARENS
\r
1173 | K_FIXED K_SYSSTRING OPEN_BRACKET int32 CLOSE_BRACKET
\r
1174 | K_FIXED K_ARRAY OPEN_BRACKET int32 CLOSE_BRACKET
\r
1187 | K_UNSIGNED K_INT8
\r
1188 | K_UNSIGNED K_INT16
\r
1189 | K_UNSIGNED K_INT32
\r
1190 | K_UNSIGNED K_INT64
\r
1191 | nativeType STAR
\r
1192 | nativeType OPEN_BRACKET CLOSE_BRACKET
\r
1193 | nativeType OPEN_BRACKET int32 CLOSE_BRACKET
\r
1194 | nativeType OPEN_BRACKET int32 PLUS int32 CLOSE_BRACKET
\r
1195 | nativeType OPEN_BRACKET PLUS int32 CLOSE_BRACKET
\r
1207 | K_SAFEARRAY variantType
\r
1209 | K_UNSIGNED K_INT
\r
1210 | K_NESTED K_STRUCT
\r
1214 | K_VARIANT K_BOOL
\r
1220 variantType : /* EMPTY */
\r
1232 | K_UNSIGNED K_INT8
\r
1233 | K_UNSIGNED K_INT16
\r
1234 | K_UNSIGNED K_INT32
\r
1235 | K_UNSIGNED K_INT64
\r
1237 | variantType OPEN_BRACKET CLOSE_BRACKET
\r
1238 | variantType K_VECTOR
\r
1239 | variantType AMPERSAND
\r
1249 | K_UNSIGNED K_INT
\r
1259 | K_STREAMED_OBJECT
\r
1260 | K_STORED_OBJECT
\r
1266 type : K_CLASS className
\r
1269 | K_VALUE K_CLASS className
\r
1270 | K_VALUETYPE className
\r
1271 | type OPEN_BRACKET CLOSE_BRACKET
\r
1272 | type OPEN_BRACKET bounds1 CLOSE_BRACKET
\r
1273 /* uncomment when and if this type is supported by the Runtime
\r
1274 | type K_VALUE OPEN_BRACKET int32 CLOSE_BRACKET
\r
1279 | type K_MODREQ OPEN_PARENS className CLOSE_PARENS
\r
1280 | type K_MODOPT OPEN_PARENS className CLOSE_PARENS
\r
1282 | methodSpec callConv type STAR OPEN_PARENS sigArgs0 CLOSE_PARENS
\r
1293 | K_UNSIGNED K_INT8 {$$ = "uint8";}
\r
1294 | K_UNSIGNED K_INT16 {$$ = "uint16";}
\r
1295 | K_UNSIGNED K_INT32 {$$ = "uint32";}
\r
1296 | K_UNSIGNED K_INT64 {$$ = "uint64";}
\r
1298 | K_NATIVE K_UNSIGNED K_INT
\r
1299 | K_NATIVE K_FLOAT
\r
1303 | bounds1 COMMA bound
\r
1306 bound : /* EMPTY */
\r
1309 | int32 ELLIPSIS int32
\r
1313 labels : /* empty */
\r
1314 | id COMMA labels
\r
1315 | int32 COMMA labels
\r
1325 int16s : /* EMPTY */
\r
1329 int32 : INT32 /* NOTE: it's INT64 in docs */
\r
1335 float64 : FLOAT64
\r
1336 | K_FLOAT32 OPEN_PARENS int32 CLOSE_PARENS
\r
1337 | K_FLOAT64 OPEN_PARENS int64 CLOSE_PARENS
\r
1340 secDecl : D_PERMISSION secAction typeSpec OPEN_PARENS nameValPairs CLOSE_PARENS
\r
1341 | D_PERMISSION secAction typeSpec
\r
1342 | psetHead bytes CLOSE_PARENS
\r
1345 psetHead : D_PERMISSIONSET secAction ASSIGN OPEN_PARENS
\r
1348 nameValPairs : nameValPair
\r
1349 | nameValPair COMMA nameValPairs
\r
1352 nameValPair : compQstring ASSIGN caValue
\r
1355 truefalse : K_TRUE
\r
1359 caValue : truefalse
\r
1361 | K_INT32 OPEN_PARENS int32 CLOSE_PARENS
\r
1363 | className OPEN_PARENS K_INT8 COLON int32 CLOSE_PARENS
\r
1364 | className OPEN_PARENS K_INT16 COLON int32 CLOSE_PARENS
\r
1365 | className OPEN_PARENS K_INT32 COLON int32 CLOSE_PARENS
\r
1366 | className OPEN_PARENS int32 CLOSE_PARENS
\r
1369 secAction : K_REQUEST
\r
1382 | K_NONCASLINKDEMAND
\r
1383 | K_NONCASINHERITANCE
\r
1386 extSourceSpec : D_LINE int32 SQSTRING
\r
1388 | D_XLINE int32 QSTRING
\r
1391 fileDecl : D_FILE fileAttr name1 fileEntry hashHead bytes CLOSE_PARENS fileEntry
\r
1392 | D_FILE fileAttr name1 fileEntry
\r
1395 fileAttr : /* EMPTY */
\r
1396 | fileAttr K_NOMETADATA
\r
1399 fileEntry : /* EMPTY */
\r
1403 hashHead : D_HASH ASSIGN OPEN_PARENS
\r
1406 assemblyHead : D_ASSEMBLY asmAttr name1
\r
1409 // TODO: set assembly attrs
\r
1410 codegen.SetName ($3 as string);
\r
1415 asmAttr : /* EMPTY */
\r
1416 | asmAttr K_NOAPPDOMAIN
\r
1417 | asmAttr K_NOPROCESS
\r
1418 | asmAttr K_NOMACHINE
\r
1421 assemblyDecls : /* EMPTY */
\r
1422 | assemblyDecls assemblyDecl
\r
1425 assemblyDecl : D_HASH K_ALGORITHM int32
\r
1430 asmOrRefDecl : publicKeyHead bytes CLOSE_PARENS
\r
1431 | D_VER int32 COLON int32 COLON int32 COLON int32
\r
1432 | D_LOCALE compQstring
\r
1433 | localeHead bytes CLOSE_PARENS
\r
1434 | D_PROCESSOR int32
\r
1435 | D_OS int32 D_VER int32 COLON int32
\r
1439 publicKeyHead : D_PUBLICKEY ASSIGN OPEN_PARENS
\r
1442 publicKeyTokenHead : D_PUBLICKEYTOKEN ASSIGN OPEN_PARENS
\r
1445 localeHead : D_LOCALE ASSIGN OPEN_PARENS
\r
1448 assemblyRefHead : D_ASSEMBLY K_EXTERN name1
\r
1450 System.Reflection.AssemblyName asmb_name =
\r
1451 new System.Reflection.AssemblyName ();
\r
1452 asmb_name.Name = (string) $3;
\r
1453 codegen.ExternTable.AddAssembly ((string) $3, asmb_name);
\r
1457 assemblyRefDecls : /* EMPTY */
\r
1458 | assemblyRefDecls assemblyRefDecl
\r
1461 assemblyRefDecl : hashHead bytes CLOSE_PARENS
\r
1463 | publicKeyTokenHead bytes CLOSE_PARENS
\r
1466 comtypeHead : D_CLASS K_EXTERN comtAttr name1
\r
1469 exportHead : D_EXPORT comtAttr name1
\r
1472 comtAttr : /* EMPTY */
\r
1473 | comtAttr K_PRIVATE
\r
1474 | comtAttr K_PUBLIC
\r
1475 | comtAttr K_NESTED K_PUBLIC
\r
1476 | comtAttr K_NESTED K_PRIVATE
\r
1477 | comtAttr K_NESTED K_FAMILY
\r
1478 | comtAttr K_NESTED K_ASSEMBLY
\r
1479 | comtAttr K_NESTED K_FAMANDASSEM
\r
1480 | comtAttr K_NESTED K_FAMORASSEM
\r
1483 comtypeDecls : /* EMPTY */
\r
1484 | comtypeDecls comtypeDecl
\r
1487 comtypeDecl : D_FILE name1
\r
1488 | D_CLASS K_EXTERN name1
\r
1493 manifestResHead : D_MRESOURCE manresAttr name1
\r
1496 manresAttr : /* EMPTY */
\r
1497 | manresAttr K_PUBLIC
\r
1498 | manresAttr K_PRIVATE
\r
1501 manifestResDecls : /* EMPTY */
\r
1502 | manifestResDecls manifestResDecl
\r
1505 manifestResDecl : D_FILE name1 K_AT int32
\r
1506 | D_ASSEMBLY K_EXTERN name1
\r
1514 } // namespace Mono.ILASM
\r