Package system.diagnostics.contracts

Class ContractFailureKind

java.lang.Object

org.mases.jcobridge.netreflection.NetObject

system.diagnostics.contracts.ContractFailureKind

All Implemented Interfaces:

IJCOBridgeReflected

public class ContractFailureKind
extends NetObject

The base .NET class managing System.Diagnostics.Contracts.ContractFailureKind, System.Private.CoreLib, Version=8.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e.

.NET documentation at https://docs.microsoft.com/en-us/dotnet/api/System.Diagnostics.Contracts.ContractFailureKind

Powered by JCOBridge: more info at https://www.jcobridge.com

Author:

MASES s.r.l https://masesgroup.com

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	assemblyFullName	Fully assembly qualified name: System.Private.CoreLib, Version=8.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e
static java.lang.String	assemblyShortName	Assembly name: System.Private.CoreLib
static ContractFailureKind	Assert
static ContractFailureKind	Assume
static java.lang.String	className	Qualified class name: System.Diagnostics.Contracts.ContractFailureKind
static JCType	classType	The type managed from JCOBridge.
static ContractFailureKind	Invariant
static ContractFailureKind	Postcondition
static ContractFailureKind	PostconditionOnException
static ContractFailureKind	Precondition

Fields inherited from class org.mases.jcobridge.netreflection.NetObject

Null

Constructor Summary

Constructors

Constructor	Description
ContractFailureKind()
ContractFailureKind(java.lang.Object instance)	Internal constructor.

Method Summary

Modifier and Type	Method	Description
java.lang.String	getJCOAssemblyName()	Returns the reflected Assembly name
java.lang.String	getJCOClassName()	Returns the reflected Class name
java.lang.Object	getJCOInstance()	Returns the instantiated class
java.lang.String	getJCOObjectName()	Returns the reflected Class name used to build the object
JCType	getJCOType()	Returns the instantiated class Type

Methods inherited from class org.mases.jcobridge.netreflection.NetObject

cast, Equals, Equals, GetHashCode, GetType, hashCode, setJCOInstance, toString, ToString

Methods inherited from class java.lang.Object

equals, getClass, notify, notifyAll, wait, wait, wait

Field Detail

assemblyFullName

public static final java.lang.String assemblyFullName

Fully assembly qualified name: System.Private.CoreLib, Version=8.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e

See Also:

Constant Field Values

assemblyShortName

public static final java.lang.String assemblyShortName

Assembly name: System.Private.CoreLib

See Also:

Constant Field Values

className

public static final java.lang.String className

Qualified class name: System.Diagnostics.Contracts.ContractFailureKind

See Also:

Constant Field Values

classType

public static JCType classType

The type managed from JCOBridge. See JCType

Precondition

public static ContractFailureKind Precondition

Postcondition

public static ContractFailureKind Postcondition

PostconditionOnException

public static ContractFailureKind PostconditionOnException

Invariant

public static ContractFailureKind Invariant

Assert

public static ContractFailureKind Assert

Assume

public static ContractFailureKind Assume

Constructor Detail

ContractFailureKind

public ContractFailureKind(java.lang.Object instance)

Internal constructor. Use with caution

ContractFailureKind

public ContractFailureKind()

Method Detail

getJCOAssemblyName

public java.lang.String getJCOAssemblyName()

Description copied from interface: IJCOBridgeReflected

Returns the reflected Assembly name

Specified by:

getJCOAssemblyName in interface IJCOBridgeReflected

Overrides:

getJCOAssemblyName in class NetObject

Returns:

A String representing the Fullname of reflected Assembly

getJCOClassName

public java.lang.String getJCOClassName()

Description copied from interface: IJCOBridgeReflected

Returns the reflected Class name

Specified by:

getJCOClassName in interface IJCOBridgeReflected

Overrides:

getJCOClassName in class NetObject

Returns:

A String representing the Fullname of reflected Class

getJCOObjectName

public java.lang.String getJCOObjectName()

Description copied from interface: IJCOBridgeReflected

Returns the reflected Class name used to build the object

Specified by:

getJCOObjectName in interface IJCOBridgeReflected

Overrides:

getJCOObjectName in class NetObject

Returns:

A String representing the name used to allocated the object in CLR context

getJCOInstance

public java.lang.Object getJCOInstance()

Description copied from interface: IJCOBridgeReflected

Returns the instantiated class

Specified by:

getJCOInstance in interface IJCOBridgeReflected

Overrides:

getJCOInstance in class NetObject

Returns:

An Object representing the CLR instance of the instantiated Class

getJCOType

public JCType getJCOType()

Description copied from interface: IJCOBridgeReflected

Returns the instantiated class Type

Specified by:

getJCOType in interface IJCOBridgeReflected

Overrides:

getJCOType in class NetObject

Returns:

A JCType representing the CLR Type of the instantiated Class