TerminatesProgramAttribute Class

Note: This API is now obsolete.

Indicates that the marked method unconditionally terminates control flow execution. For example, it could unconditionally throw exception.

Inheritance Hierarchy

SystemObject
SystemAttribute
Resto.Front.Api.Attributes.JetBrainsTerminatesProgramAttribute

Namespace: Resto.Front.Api.Attributes.JetBrains
Assembly: Resto.Front.Api.V7 (in Resto.Front.Api.V7.dll)

Syntax

[ObsoleteAttribute("Use [ContractAnnotation('=> halt')] instead")]
public sealed class TerminatesProgramAttribute : Attribute

The TerminatesProgramAttribute type exposes the following members.

Constructors

	Name	Description
	TerminatesProgramAttribute	Initializes a new instance of the TerminatesProgramAttribute class

Properties

	Name	Description
	TypeId	When implemented in a derived class, gets a unique identifier for this Attribute. (Inherited from Attribute.)

Methods

	Name	Description
	Equals	Returns a value that indicates whether this instance is equal to a specified object. (Inherited from Attribute.)
	GetHashCode	Returns the hash code for this instance. (Inherited from Attribute.)
	GetType	Gets the Type of the current instance. (Inherited from Object.)
	IsDefaultAttribute	When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class. (Inherited from Attribute.)
	Match	When overridden in a derived class, returns a value that indicates whether this instance equals a specified object. (Inherited from Attribute.)
	ToString	Returns a string that represents the current object. (Inherited from Object.)