+
+
+
+
+ addILTypeDef arg1 arg2
+
+
+ Signature: ILTypeDef -> ILTypeDefs -> ILTypeDefs
+
+ |
+
+
+ 
+ 
+
+
+ |
+
+
+
+
+
+ andTailness arg1 arg2
+
+
+ Signature: ILTailcall -> bool -> ILTailcall
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ buildILCode arg1 lab2pc instrs arg4 arg5
+
+
+ Signature: string -> lab2pc:Dictionary<ILCodeLabel,int> -> instrs:ILInstr [] -> ILExceptionSpec list -> ILLocalDebugInfo list -> ILCode
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ compareILVersions arg1 arg2
+
+
+ Signature: ILVersionInfo -> ILVersionInfo -> int
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ computeILEnumInfo (arg1, arg2)
+
+
+ Signature: (string * ILFieldDefs) -> ILEnumInfo
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ computeILRefs arg1
+
+
+ Signature: ILModuleDef -> ILReferences
+
+ |
+
+
+
+
+
+ Find the full set of assemblies referenced by a module.
+
+
+ |
+
+
+
+
+
+ decodeILAttribData arg1 arg2
+
+
+ Signature: ILGlobals -> ILAttribute -> ILAttribElem list * ILAttributeNamedArg list
+
+ |
+
+
+
+
+
+ Not all custom attribute data can be decoded without binding types. In particular
+enums must be bound in order to discover the size of the underlying integer.
+The following assumes enums have size int32.
+
+
+ |
+
+
+
+
+
+ destILArrTy arg1
+
+
+ Signature: ILType -> ILArrayShape * ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ destTypeDefsWithGlobalFunctionsFirst (...)
+
+
+ Signature: ILGlobals -> ILTypeDefs -> ILTypeDef list
+
+ |
+
+
+
+
+
+ When writing a binary the fake "toplevel" type definition (called )
+must come first. This function puts it first, and creates it in the returned
+list as an empty typedef if it doesn't already exist.
+
+
+ |
+
+
+
+
+
+ EcmaMscorlibILGlobals
+
+
+ Signature: ILGlobals
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ ecmaPublicKey
+
+
+ Signature: PublicKey
+
+ |
+
+
+
+
+
+ This is a 'vendor neutral' way of referencing mscorlib.
+
+
+ |
+
+
+
+
+
+ emptyILCustomAttrs
+
+
+ Signature: ILAttributes
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILEvents
+
+
+ Signature: ILEventDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILFields
+
+
+ Signature: ILFieldDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILMethodImpls
+
+
+ Signature: ILMethodImplDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILMethods
+
+
+ Signature: ILMethodDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILProperties
+
+
+ Signature: ILPropertyDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILRefs
+
+
+ Signature: ILReferences
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILSecurityDecls
+
+
+ Signature: ILPermissions
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ emptyILTypeDefs
+
+
+ Signature: ILTypeDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ formatCodeLabel arg1
+
+
+ Signature: ILCodeLabel -> string
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ formatILVersion arg1
+
+
+ Signature: ILVersionInfo -> string
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ generateCodeLabel ()
+
+
+ Signature: unit -> ILCodeLabel
+
+ |
+
+
+
+
+
+ Making code.
+
+
+ |
+
+
+
+
+
+ getTyOfILEnumInfo arg1
+
+
+ Signature: ILEnumInfo -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ instILType arg1 arg2
+
+
+ Signature: ILGenericArgs -> ILType -> ILType
+
+ |
+
+
+
+
+
+ Instantiate type variables that occur within types and other items.
+
+
+ |
+
+
+
+
+
+ instILTypeAux arg1 arg2 arg3
+
+
+ Signature: int -> ILGenericArgs -> ILType -> ILType
+
+ |
+
+
+
+
+
+ Instantiate type variables that occur within types and other items.
+
+
+ |
+
+
+
+
+
+ isILArrTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILBoolTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILByteTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILCharTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILDoubleTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILInt16Ty arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILInt32Ty arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILInt64Ty arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILIntPtrTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILObjectTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+ Discriminating different important built-in types.
+
+
+ |
+
+
+
+
+
+ isILSByteTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILSingleTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILStringTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILTypedReferenceTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILUInt16Ty arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILUInt32Ty arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILUInt64Ty arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isILUIntPtrTy arg1
+
+
+ Signature: ILType -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ isTypeNameForGlobalFunctions arg1
+
+
+ Signature: string -> bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkCallBaseConstructor (arg1, arg2)
+
+
+ Signature: (ILType * ILType list) -> ILInstr list
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkCtorMethSpecForDelegate (...)
+
+
+ Signature: ILGlobals -> (ILType * bool) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Given a delegate type definition which lies in a particular scope,
+make a reference to its constructor.
+
+
+ |
+
+
+
+
+
+ mkILArr1DTy arg1
+
+
+ Signature: ILType -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILArrTy (arg1, arg2)
+
+
+ Signature: (ILType * ILArrayShape) -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILBoxedTy arg1 arg2
+
+
+ Signature: ILTypeRef -> ILGenericArgsList -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILBoxedType arg1
+
+
+ Signature: ILTypeSpec -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILCallSig (arg1, arg2, arg3)
+
+
+ Signature: (ILCallingConv * ILType list * ILType) -> ILCallingSignature
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILClassCtor arg1
+
+
+ Signature: MethodBody -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILComputedCustomAttrs arg1
+
+
+ Signature: (unit -> ILAttribute []) -> ILAttributes
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILCtor (arg1, arg2, arg3)
+
+
+ Signature: (ILMemberAccess * ILParameter list * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILCtorMethSpecForTy (arg1, arg2)
+
+
+ Signature: (ILType * ILType list) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Construct references to constructors.
+
+
+ |
+
+
+
+
+
+ mkILCustomAttribMethRef (...)
+
+
+ Signature: ILGlobals -> (ILMethodSpec * ILAttribElem list * ILAttributeNamedArg list) -> ILAttribute
+
+ |
+
+
+
+
+
+ Make custom attributes.
+
+
+ |
+
+
+
+
+
+ mkILCustomAttribute (...)
+
+
+ Signature: ILGlobals -> (ILTypeRef * ILType list * ILAttribElem list * ILAttributeNamedArg list) -> ILAttribute
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILCustomAttrs arg1
+
+
+ Signature: ILAttribute list -> ILAttributes
+
+ |
+
+
+
+
+
+ Making tables of custom attributes, etc.
+
+
+ |
+
+
+
+
+
+ mkILCustomAttrsFromArray arg1
+
+
+ Signature: ILAttribute [] -> ILAttributes
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILDelegateMethods (...)
+
+
+ Signature: ILGlobals -> (ILType * ILType) -> (ILParameter list * ILReturn) -> ILMethodDef list
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILEmptyGenericParams
+
+
+ Signature: ILGenericParameterDefs
+
+ |
+
+
+
+
+
+ Make a formal generic parameters.
+
+
+ |
+
+
+
+
+
+ mkILEvents arg1
+
+
+ Signature: ILEventDef list -> ILEventDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILEventsLazy arg1
+
+
+ Signature: Lazy<ILEventDef list> -> ILEventDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILExportedTypes arg1
+
+
+ Signature: ILExportedTypeOrForwarder list -> ILExportedTypesAndForwarders
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILExportedTypesLazy arg1
+
+
+ Signature: Lazy<ILExportedTypeOrForwarder list> -> ILExportedTypesAndForwarders
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFieldRef (arg1, arg2, arg3)
+
+
+ Signature: (ILTypeRef * string * ILType) -> ILFieldRef
+
+ |
+
+
+
+
+
+ Construct references to fields.
+
+
+ |
+
+
+
+
+
+ mkILFields arg1
+
+
+ Signature: ILFieldDef list -> ILFieldDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFieldsLazy arg1
+
+
+ Signature: Lazy<ILFieldDef list> -> ILFieldDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFieldSpec (arg1, arg2)
+
+
+ Signature: (ILFieldRef * ILType) -> ILFieldSpec
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFieldSpecInTy (arg1, arg2, arg3)
+
+
+ Signature: (ILType * string * ILType) -> ILFieldSpec
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFormalBoxedTy arg1 arg2
+
+
+ Signature: ILTypeRef -> ILGenericParameterDef list -> ILType
+
+ |
+
+
+
+
+
+ Make generalized versions of possibly-generic types,
+e.g. Given the ILTypeDef for List, return the type "List".
+
+
+ |
+
+
+
+
+
+ mkILFormalGenericArgs arg1 arg2
+
+
+ Signature: int -> ILGenericParameterDefs -> ILGenericArgsList
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFormalNamedTy arg1 arg2 arg3
+
+
+ Signature: ILBoxity -> ILTypeRef -> ILGenericParameterDef list -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILFormalTypars arg1
+
+
+ Signature: ILType list -> ILGenericParameterDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILGenericClass (...)
+
+
+ Signature: (string * ILTypeDefAccess * ILGenericParameterDefs * ILType * ILType list * ILMethodDefs * ILFieldDefs * ILTypeDefs * ILPropertyDefs * ILEventDefs * ILAttributes * ILTypeInit) -> ILTypeDef
+
+ |
+
+
+
+
+
+ Make a type definition.
+
+
+ |
+
+
+
+
+
+ mkILGenericNonVirtualMethod (...)
+
+
+ Signature: (string * ILMemberAccess * ILGenericParameterDefs * ILParameter list * ILReturn * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILGenericVirtualMethod (...)
+
+
+ Signature: (string * ILMemberAccess * ILGenericParameterDefs * ILParameter list * ILReturn * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILGlobals arg1
+
+
+ Signature: ILScopeRef -> ILGlobals
+
+ |
+
+
+
+
+
+ Build the table of commonly used references given functions to find types in system assemblies
+
+
+ |
+
+
+
+
+
+ mkILInstanceField (...)
+
+
+ Signature: (string * ILType * ILFieldInit option * ILMemberAccess) -> ILFieldDef
+
+ |
+
+
+
+
+
+ Make field definitions.
+
+
+ |
+
+
+
+
+
+ mkILInstanceMethSpecInTy (...)
+
+
+ Signature: (ILType * string * ILType list * ILType * ILGenericArgsList) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Construct references to instance methods.
+
+
+ |
+
+
+
+
+
+ mkILLazySecurityDecls arg1
+
+
+ Signature: Lazy<ILPermission list> -> ILPermissions
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILLiteralField (...)
+
+
+ Signature: (string * ILType * ILFieldInit * byte [] option * ILMemberAccess) -> ILFieldDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILLocal arg1 arg2
+
+
+ Signature: ILType -> (string * int * int) option -> ILLocal
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethodBody (...)
+
+
+ Signature: (initlocals:bool * ILLocals * int * ILCode * ILSourceMarker option) -> ILMethodBody
+
+ |
+
+
+
+
+
+ Make method definitions.
+
+
+ |
+
+
+
+
+
+ mkILMethodImpls arg1
+
+
+ Signature: ILMethodImplDef list -> ILMethodImplDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethodImplsLazy arg1
+
+
+ Signature: Lazy<ILMethodImplDef list> -> ILMethodImplDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethods arg1
+
+
+ Signature: ILMethodDef list -> ILMethodDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethodsComputed arg1
+
+
+ Signature: (unit -> ILMethodDef []) -> ILMethodDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethodsFromArray arg1
+
+
+ Signature: ILMethodDef [] -> ILMethodDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethRef (...)
+
+
+ Signature: (ILTypeRef * ILCallingConv * string * int * ILType list * ILType) -> ILMethodRef
+
+ |
+
+
+
+
+
+ Make method references and specs.
+
+
+ |
+
+
+
+
+
+ mkILMethSpec (arg1, arg2, arg3, arg4)
+
+
+ Signature: (ILMethodRef * ILBoxity * ILGenericArgsList * ILGenericArgsList) -> ILMethodSpec
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethSpecForMethRefInTy (...)
+
+
+ Signature: (ILMethodRef * ILType * ILGenericArgsList) -> ILMethodSpec
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILMethSpecInTy (...)
+
+
+ Signature: (ILType * ILCallingConv * string * ILType list * ILType * ILGenericArgsList) -> ILMethodSpec
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNamedTy arg1 arg2 arg3
+
+
+ Signature: ILBoxity -> ILTypeRef -> ILGenericArgsList -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNestedExportedTypes arg1
+
+
+ Signature: ILNestedExportedType list -> ILNestedExportedTypes
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNestedExportedTypesLazy arg1
+
+
+ Signature: Lazy<ILNestedExportedType list> -> ILNestedExportedTypes
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNestedTyRef (arg1, arg2, arg3)
+
+
+ Signature: (ILScopeRef * string list * string) -> ILTypeRef
+
+ |
+
+
+
+
+
+ Make type refs.
+
+
+ |
+
+
+
+
+
+ mkILNonGenericBoxedTy arg1
+
+
+ Signature: ILTypeRef -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNonGenericEmptyCtor arg1 arg2
+
+
+ Signature: ILSourceMarker option -> ILType -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNonGenericInstanceMethod (...)
+
+
+ Signature: (string * ILMemberAccess * ILParameter list * ILReturn * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNonGenericInstanceMethSpecInTy (...)
+
+
+ Signature: (ILType * string * ILType list * ILType) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Construct references to instance methods.
+
+
+ |
+
+
+
+
+
+ mkILNonGenericMethSpecInTy (...)
+
+
+ Signature: (ILType * ILCallingConv * string * ILType list * ILType) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Construct references to methods on a given type .
+
+
+ |
+
+
+
+
+
+ mkILNonGenericStaticMethod (...)
+
+
+ Signature: (string * ILMemberAccess * ILParameter list * ILReturn * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNonGenericStaticMethSpecInTy (...)
+
+
+ Signature: (ILType * string * ILType list * ILType) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Construct references to static, non-generic methods.
+
+
+ |
+
+
+
+
+
+ mkILNonGenericTySpec arg1
+
+
+ Signature: ILTypeRef -> ILTypeSpec
+
+ |
+
+
+
+
+
+ Make type specs.
+
+
+ |
+
+
+
+
+
+ mkILNonGenericValueTy arg1
+
+
+ Signature: ILTypeRef -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILNonGenericVirtualMethod (...)
+
+
+ Signature: (string * ILMemberAccess * ILParameter list * ILReturn * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILParam (arg1, arg2)
+
+
+ Signature: (string option * ILType) -> ILParameter
+
+ |
+
+
+
+
+
+ Derived functions for making return, parameter and local variable
+objects for use in method definitions.
+
+
+ |
+
+
+
+
+
+ mkILParamAnon arg1
+
+
+ Signature: ILType -> ILParameter
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILParamNamed (arg1, arg2)
+
+
+ Signature: (string * ILType) -> ILParameter
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILProperties arg1
+
+
+ Signature: ILPropertyDef list -> ILPropertyDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILPropertiesLazy arg1
+
+
+ Signature: Lazy<ILPropertyDef list> -> ILPropertyDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILResources arg1
+
+
+ Signature: ILResource list -> ILResources
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILResourcesLazy arg1
+
+
+ Signature: Lazy<ILResource list> -> ILResources
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILReturn arg1
+
+
+ Signature: ILType -> ILReturn
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILSecurityDecls arg1
+
+
+ Signature: ILPermission list -> ILPermissions
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILSimpleClass (...)
+
+
+ Signature: ILGlobals -> (string * ILTypeDefAccess * ILMethodDefs * ILFieldDefs * ILTypeDefs * ILPropertyDefs * ILEventDefs * ILAttributes * ILTypeInit) -> ILTypeDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILSimpleModule (...)
+
+
+ Signature: assemblyName:string -> moduleName:string -> dll:bool -> subsystemVersion:(int * int) -> useHighEntropyVA:bool -> ILTypeDefs -> int32 option -> string option -> int -> ILExportedTypesAndForwarders -> string -> ILModuleDef
+
+ |
+
+
+
+
+
+ Making modules.
+
+
+ |
+
+
+
+
+
+ mkILSimpleStorageCtor (...)
+
+
+ Signature: (ILSourceMarker option * ILTypeSpec option * ILType * ILParameter list * (string * ILType) list * ILMemberAccess) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILSimpleStorageCtorWithParamNames (...)
+
+
+ Signature: (ILSourceMarker option * ILTypeSpec option * ILType * ILParameter list * (string * string * ILType) list * ILMemberAccess) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILSimpleTypar arg1
+
+
+ Signature: string -> ILGenericParameterDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILStaticField (...)
+
+
+ Signature: (string * ILType * ILFieldInit option * byte [] option * ILMemberAccess) -> ILFieldDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILStaticMethod (...)
+
+
+ Signature: (ILGenericParameterDefs * string * ILMemberAccess * ILParameter list * ILReturn * MethodBody) -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILStaticMethSpecInTy (...)
+
+
+ Signature: (ILType * string * ILType list * ILType * ILGenericArgsList) -> ILMethodSpec
+
+ |
+
+
+
+
+
+ Construct references to static methods.
+
+
+ |
+
+
+
+
+
+ mkILStorageCtor (...)
+
+
+ Signature: (ILSourceMarker option * ILInstr list * ILType * (string * ILType) list * ILMemberAccess) -> ILMethodDef
+
+ |
+
+
+
+
+
+ Derived functions for making some simple constructors
+
+
+ |
+
+
+
+
+
+ mkILTy arg1 arg2
+
+
+ Signature: ILBoxity -> ILTypeSpec -> ILType
+
+ |
+
+
+
+
+
+ Make types.
+
+
+ |
+
+
+
+
+
+ mkILTypeDefForGlobalFunctions (...)
+
+
+ Signature: ILGlobals -> (ILMethodDefs * ILFieldDefs) -> ILTypeDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILTypeDefs arg1
+
+
+ Signature: ILTypeDef list -> ILTypeDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILTypeDefsComputed arg1
+
+
+ Signature: (unit -> (string list * string * ILAttributes * Lazy<ILTypeDef>) array) -> ILTypeDefs
+
+ |
+
+
+
+
+
+ Create table of types which is loaded/computed on-demand, and whose individual
+elements are also loaded/computed on-demand. Any call to tdefs.AsList will
+result in the laziness being forced. Operations can examine the
+custom attributes and name of each type in order to decide whether
+to proceed with examining the other details of the type.
+Note that individual type definitions may contain further delays
+in their method, field and other tables.
+
+
+ |
+
+
+
+
+
+ mkILTypeDefsFromArray arg1
+
+
+ Signature: ILTypeDef [] -> ILTypeDefs
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILTypeForGlobalFunctions arg1
+
+
+ Signature: ILScopeRef -> ILType
+
+ |
+
+
+
+
+
+ The toplevel "class" for a module or assembly.
+
+
+ |
+
+
+
+
+
+ mkILTyRef (arg1, arg2)
+
+
+ Signature: (ILScopeRef * string) -> ILTypeRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILTyRefInTyRef (arg1, arg2)
+
+
+ Signature: (ILTypeRef * string) -> ILTypeRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILTySpec (arg1, arg2)
+
+
+ Signature: (ILTypeRef * ILGenericArgsList) -> ILTypeSpec
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILTyvarTy arg1
+
+
+ Signature: uint16 -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkILValueTy arg1 arg2
+
+
+ Signature: ILTypeRef -> ILGenericArgsList -> ILType
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkLdarg arg1
+
+
+ Signature: uint16 -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkLdarg0
+
+
+ Signature: ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkLdcInt32 arg1
+
+
+ Signature: int32 -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkLdloc arg1
+
+
+ Signature: uint16 -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkMethBodyAux arg1
+
+
+ Signature: MethodBody -> ILLazyMethodBody
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkMethBodyLazyAux arg1
+
+
+ Signature: Lazy<MethodBody> -> ILLazyMethodBody
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkMethodBody (...)
+
+
+ Signature: (bool * ILLocals * int * ILCode * ILSourceMarker option) -> MethodBody
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalCall arg1
+
+
+ Signature: ILMethodSpec -> ILInstr
+
+ |
+
+
+
+
+
+ Derived functions for making some common patterns of instructions.
+
+
+ |
+
+
+
+
+
+ mkNormalCallconstraint (arg1, arg2)
+
+
+ Signature: (ILType * ILMethodSpec) -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalCallvirt arg1
+
+
+ Signature: ILMethodSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalLdfld arg1
+
+
+ Signature: ILFieldSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalLdflda arg1
+
+
+ Signature: ILFieldSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalLdobj arg1
+
+
+ Signature: ILType -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalLdsfld arg1
+
+
+ Signature: ILFieldSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalNewobj arg1
+
+
+ Signature: ILMethodSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalStfld arg1
+
+
+ Signature: ILFieldSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalStobj arg1
+
+
+ Signature: ILType -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkNormalStsfld arg1
+
+
+ Signature: ILFieldSpec -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkPermissionSet arg1 (arg2, arg3)
+
+
+ Signature: ILGlobals -> (ILSecurityAction * (ILTypeRef * (string * ILType * ILAttribElem) list) list) -> ILPermission
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkRawDataValueTypeDef (...)
+
+
+ Signature: ILType -> (string * size:int32 * pack:uint16) -> ILTypeDef
+
+ |
+
+
+
+
+
+ Make a type definition for a value type used to point to raw data.
+These are useful when generating array initialization code
+according to the
+ldtoken field valuetype ''/'\[struct0x6000127-1' '<PrivateImplementationDetails>'::'\]method0x6000127-1'
+call void System.Runtime.CompilerServices.RuntimeHelpers::InitializeArray(class System.Array,valuetype System.RuntimeFieldHandle)
+idiom.
+
+
+ |
+
+
+
+
+
+ mkRefForILField arg1 (arg2, arg3) arg4
+
+
+ Signature: ILScopeRef -> (ILTypeDef list * ILTypeDef) -> ILFieldDef -> ILFieldRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkRefForILMethod arg1 (arg2, arg3) arg4
+
+
+ Signature: ILScopeRef -> (ILTypeDef list * ILTypeDef) -> ILMethodDef -> ILMethodRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkRefForNestedILTypeDef (...)
+
+
+ Signature: ILScopeRef -> (ILTypeDef list * ILTypeDef) -> ILTypeRef
+
+ |
+
+
+
+
+
+ Generate references to existing type definitions, method definitions
+etc. Useful for generating references, e.g. to a class we're processing
+Also used to reference type definitions that we've generated. ILScopeRef
+is normally ILScopeRef.Local, unless we've generated the ILTypeDef in
+an auxiliary module or are generating multiple assemblies at
+once.
+
+
+ |
+
+
+
+
+
+ mkRefToILAssembly arg1
+
+
+ Signature: ILAssemblyManifest -> ILAssemblyRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkRefToILField (arg1, arg2)
+
+
+ Signature: (ILTypeRef * ILFieldDef) -> ILFieldRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkRefToILMethod (arg1, arg2)
+
+
+ Signature: (ILTypeRef * ILMethodDef) -> ILMethodRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkRefToILModule arg1
+
+
+ Signature: ILModuleDef -> ILModuleRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkSimpleAssRef arg1
+
+
+ Signature: string -> ILAssemblyRef
+
+ |
+
+
+
+
+
+ Generate simple references to assemblies and modules.
+
+
+ |
+
+
+
+
+
+ mkSimpleModRef arg1
+
+
+ Signature: string -> ILModuleRef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ mkStloc arg1
+
+
+ Signature: uint16 -> ILInstr
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ nonBranchingInstrsToCode arg1
+
+
+ Signature: ILInstr list -> ILCode
+
+ |
+
+
+
+
+
+ Make some code that is a straight line sequence of instructions.
+The function will add a "return" if the last instruction is not an exiting instruction.
+
+
+ |
+
+
+
+
+
+ parseILVersion arg1
+
+
+ Signature: string -> ILVersionInfo
+
+ |
+
+
+
+
+
+ Get a version number from a CLR version string, e.g. 1.0.3705.0
+
+
+ |
+
+
+
+
+
+ prependInstrsToClassCtor arg1 arg2 arg3
+
+
+ Signature: ILInstr list -> ILSourceMarker option -> ILTypeDef -> ILTypeDef
+
+ |
+
+
+
+
+
+ Injecting initialization code into a class.
+Add some code to the end of the .cctor for a type. Create a .cctor
+if one doesn't exist already.
+
+
+ |
+
+
+
+
+
+ prependInstrsToCode arg1 arg2
+
+
+ Signature: ILInstr list -> ILCode -> ILCode
+
+ |
+
+
+
+
+
+ Injecting code into existing code blocks. A branch will
+be added from the given instructions to the (unique) entry of
+the code, and the first instruction will be the new entry
+of the method. The instructions should be non-branching.
+
+
+ |
+
+
+
+
+
+ prependInstrsToMethod arg1 arg2
+
+
+ Signature: ILInstr list -> ILMethodDef -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ rescopeILFieldRef arg1 arg2
+
+
+ Signature: ILScopeRef -> ILFieldRef -> ILFieldRef
+
+ |
+
+
+
+
+
+ Rescoping. The first argument tells the function how to reference the original scope from
+the new scope.
+
+
+ |
+
+
+
+
+
+ rescopeILMethodRef arg1 arg2
+
+
+ Signature: ILScopeRef -> ILMethodRef -> ILMethodRef
+
+ |
+
+
+
+
+
+ Rescoping. The first argument tells the function how to reference the original scope from
+the new scope.
+
+
+ |
+
+
+
+
+
+ rescopeILScopeRef arg1 arg2
+
+
+ Signature: ILScopeRef -> ILScopeRef -> ILScopeRef
+
+ |
+
+
+
+
+
+ Rescoping. The first argument tells the function how to reference the original scope from
+the new scope.
+
+
+ |
+
+
+
+
+
+ rescopeILType arg1 arg2
+
+
+ Signature: ILScopeRef -> ILType -> ILType
+
+ |
+
+
+
+
+
+ Rescoping. The first argument tells the function how to reference the original scope from
+the new scope.
+
+
+ |
+
+
+
+
+
+ rescopeILTypeSpec arg1 arg2
+
+
+ Signature: ILScopeRef -> ILTypeSpec -> ILTypeSpec
+
+ |
+
+
+
+
+
+ Rescoping. The first argument tells the function how to reference the original scope from
+the new scope.
+
+
+ |
+
+
+
+
+
+ resolveILMethodRef arg1 arg2
+
+
+ Signature: ILTypeDef -> ILMethodRef -> ILMethodDef
+
+ |
+
+
+
+
+
+ Find the method definition corresponding to the given property or
+event operation. These are always in the same class as the property
+or event. This is useful especially if your code is not using the Ilbind
+API to bind references.
+
+
+ |
+
+
+
+
+
+ resolveILMethodRefWithRescope (...)
+
+
+ Signature: (ILType -> ILType) -> ILTypeDef -> ILMethodRef -> ILMethodDef
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ runningOnMono
+
+
+ Signature: bool
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ sha1HashBytes arg1
+
+
+ Signature: byte [] -> byte []
+
+ |
+
+
+
+
+
+ Get a public key token from a public key.
+
+
+ |
+
+
+
+
+
+ splitILTypeName arg1
+
+
+ Signature: string -> string list * string
+
+ |
+
+
+
+
+
+ The splitILTypeName utility helps you split a string representing
+a type name into the leading namespace elements (if any), the
+names of any nested types and the type name itself. This function
+memoizes and interns the splitting of the namespace portion of
+the type name.
+
+
+ |
+
+
+
+
+
+ splitILTypeNameWithPossibleStaticArguments (...)
+
+
+ Signature: string -> string [] * string
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ splitNamespace arg1
+
+
+ Signature: string -> string list
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ splitNamespaceToArray arg1
+
+
+ Signature: string -> string []
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ splitTypeNameRight arg1
+
+
+ Signature: string -> string option * string
+
+ |
+
+
+
+
+
+ splitTypeNameRight is like splitILTypeName except the
+ namespace is kept as a whole string, rather than split at dots.
+
+ |
+
+
+
+
+
+ typeNameForGlobalFunctions
+
+
+ Signature: string
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ typesOfILParams arg1
+
+
+ Signature: ILParameters -> ILType list
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ ungenericizeTypeName arg1
+
+
+ Signature: string -> string
+
+ |
+
+
+
+
+
+
+ |
+
+
+
+
+
+ unscopeILType arg1
+
+
+ Signature: ILType -> ILType
+
+ |
+
+
+
+
+
+ Unscoping. Clears every scope information, use for looking up IL method references only.
+
+
+ |
+
+
+ 
+ 
+ 
