Table of contents
TOC
Collapse the table of content
Expand the table of content

Core.NoDynamicInvocationAttribute Class (F#)

Den Delimarsky|Last Updated: 7/4/2016
|
1 Contributor

This attribute is used to tag values that may not be dynamically invoked at runtime. This is typically added to inline functions whose implementations include unverifiable code. It causes the method body emitted for the inline function to raise an exception if dynamically invoked, rather than including the unverifiable code in the generated assembly.

Namespace/Module Path: Microsoft.FSharp.Core

Assembly: FSharp.Core (in FSharp.Core.dll)

Syntax

[<AttributeUsage(AttributeTargets.Method ||| AttributeTargets.Property, AllowMultiple = false)>]
[<Sealed>]
type NoDynamicInvocationAttribute =
class
new NoDynamicInvocationAttribute : unit -> NoDynamicInvocationAttribute
end

Remarks

You can also use the short form of the name, NoDynamicInvocation.

Constructors

MemberDescription
newCreates an instance of the attribute

Platforms

Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2

Version Information

F# Core Library Versions

Supported in: 2.0, 4.0, Portable

See Also

Microsoft.FSharp.Core Namespace (F#)

© 2017 Microsoft