Compartilhar via


Core.NoDynamicInvocationAttribute Class (F#)

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)

[<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

Member

Description

new

Creates 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

Reference

Microsoft.FSharp.Core Namespace (F#)