system.diagnostics.contracts

Class Contract

java.lang.Object

org.mases.jcobridge.netreflection.NetObject

system.diagnostics.contracts.Contract

All Implemented Interfaces:

IJCOBridgeReflected

public class Contract
extends NetObject

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

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

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 and Description
static java.lang.String	assemblyFullName Fully assembly qualified name: System.Private.CoreLib, Version=10.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e
static java.lang.String	assemblyShortName Assembly name: System.Private.CoreLib
static java.lang.String	className Qualified class name: System.Diagnostics.Contracts.Contract
static JCType	classType The type managed from JCOBridge.

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

Null

Constructor Summary

Constructors

Constructor and Description
Contract()
Contract(java.lang.Object instance) Internal constructor.

Method Summary

Modifier and Type	Method and Description
static void	Assert(boolean condition)
static void	Assert(boolean condition, java.lang.String userMessage)
static void	Assume(boolean condition)
static void	Assume(boolean condition, java.lang.String userMessage)
static Contract	cast(IJCOBridgeReflected from) Try to cast the IJCOBridgeReflected instance into Contract, a cast assert is made to check if types are compatible.
static void	EndContractBlock()
static void	Ensures(boolean condition)
static void	Ensures(boolean condition, java.lang.String userMessage)
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
static void	Invariant(boolean condition)
static void	Invariant(boolean condition, java.lang.String userMessage)
static void	Requires(boolean condition)
static void	Requires(boolean condition, java.lang.String userMessage)
void	setJCOInstance(JCObject instance)

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

Equals, Equals, GetHashCode, GetType, hashCode, 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=10.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.Contract

See Also:

Constant Field Values

classType

public static JCType classType

The type managed from JCOBridge. See JCType

Constructor Detail

Contract

public Contract()
         throws java.lang.Throwable

Throws:

java.lang.Throwable

Contract

public Contract(java.lang.Object instance)
         throws java.lang.Throwable

Internal constructor. Use with caution

Throws:

java.lang.Throwable

Method Detail

Assert

public static void Assert(boolean condition)
                   throws java.lang.Throwable,
                          ArgumentException,
                          ArgumentNullException,
                          PlatformNotSupportedException,
                          ArgumentOutOfRangeException,
                          InvalidOperationException,
                          NotSupportedException,
                          ArrayTypeMismatchException,
                          CultureNotFoundException,
                          ObjectDisposedException,
                          OutOfMemoryException,
                          ContractException,
                          IndexOutOfRangeException,
                          FormatException

Throws:

java.lang.Throwable

ArgumentException

ArgumentNullException

PlatformNotSupportedException

ArgumentOutOfRangeException

InvalidOperationException

NotSupportedException

ArrayTypeMismatchException

CultureNotFoundException

ObjectDisposedException

OutOfMemoryException

ContractException

IndexOutOfRangeException

FormatException

Assert

public static void Assert(boolean condition,
                          java.lang.String userMessage)
                   throws java.lang.Throwable,
                          ArgumentException,
                          ArgumentNullException,
                          PlatformNotSupportedException,
                          ArgumentOutOfRangeException,
                          InvalidOperationException,
                          NotSupportedException,
                          ArrayTypeMismatchException,
                          CultureNotFoundException,
                          ObjectDisposedException,
                          OutOfMemoryException,
                          ContractException,
                          IndexOutOfRangeException,
                          FormatException

Throws:

java.lang.Throwable

ArgumentException

ArgumentNullException

PlatformNotSupportedException

ArgumentOutOfRangeException

InvalidOperationException

NotSupportedException

ArrayTypeMismatchException

CultureNotFoundException

ObjectDisposedException

OutOfMemoryException

ContractException

IndexOutOfRangeException

FormatException

Assume

public static void Assume(boolean condition)
                   throws java.lang.Throwable,
                          ArgumentException,
                          ArgumentNullException,
                          PlatformNotSupportedException,
                          ArgumentOutOfRangeException,
                          InvalidOperationException,
                          NotSupportedException,
                          ArrayTypeMismatchException,
                          CultureNotFoundException,
                          ObjectDisposedException,
                          OutOfMemoryException,
                          ContractException,
                          IndexOutOfRangeException,
                          FormatException

Throws:

java.lang.Throwable

ArgumentException

ArgumentNullException

PlatformNotSupportedException

ArgumentOutOfRangeException

InvalidOperationException

NotSupportedException

ArrayTypeMismatchException

CultureNotFoundException

ObjectDisposedException

OutOfMemoryException

ContractException

IndexOutOfRangeException

FormatException

Assume

public static void Assume(boolean condition,
                          java.lang.String userMessage)
                   throws java.lang.Throwable,
                          ArgumentException,
                          ArgumentNullException,
                          PlatformNotSupportedException,
                          ArgumentOutOfRangeException,
                          InvalidOperationException,
                          NotSupportedException,
                          ArrayTypeMismatchException,
                          CultureNotFoundException,
                          ObjectDisposedException,
                          OutOfMemoryException,
                          ContractException,
                          IndexOutOfRangeException,
                          FormatException

Throws:

java.lang.Throwable

ArgumentException

ArgumentNullException

PlatformNotSupportedException

ArgumentOutOfRangeException

InvalidOperationException

NotSupportedException

ArrayTypeMismatchException

CultureNotFoundException

ObjectDisposedException

OutOfMemoryException

ContractException

IndexOutOfRangeException

FormatException

cast

public static Contract cast(IJCOBridgeReflected from)
                     throws java.lang.Throwable

Try to cast the IJCOBridgeReflected instance into Contract, a cast assert is made to check if types are compatible.

Parameters:

from - IJCOBridgeReflected instance to be casted

Returns:

Contract instance

Throws:

java.lang.Throwable - in case of error during cast operation

EndContractBlock

public static void EndContractBlock()
                             throws java.lang.Throwable

Throws:

java.lang.Throwable

Ensures

public static void Ensures(boolean condition)
                    throws java.lang.Throwable,
                           PlatformNotSupportedException,
                           NullReferenceException,
                           ArgumentException,
                           NotSupportedException,
                           CultureNotFoundException,
                           IndexOutOfRangeException,
                           ArgumentOutOfRangeException,
                           FormatException,
                           ContractException,
                           OutOfMemoryException,
                           InvalidOperationException,
                           ArgumentNullException

Throws:

java.lang.Throwable

PlatformNotSupportedException

NullReferenceException

ArgumentException

NotSupportedException

CultureNotFoundException

IndexOutOfRangeException

ArgumentOutOfRangeException

FormatException

ContractException

OutOfMemoryException

InvalidOperationException

ArgumentNullException

Ensures

public static void Ensures(boolean condition,
                           java.lang.String userMessage)
                    throws java.lang.Throwable,
                           PlatformNotSupportedException,
                           NullReferenceException,
                           ArgumentException,
                           NotSupportedException,
                           CultureNotFoundException,
                           IndexOutOfRangeException,
                           ArgumentOutOfRangeException,
                           FormatException,
                           ContractException,
                           OutOfMemoryException,
                           InvalidOperationException,
                           ArgumentNullException

Throws:

java.lang.Throwable

PlatformNotSupportedException

NullReferenceException

ArgumentException

NotSupportedException

CultureNotFoundException

IndexOutOfRangeException

ArgumentOutOfRangeException

FormatException

ContractException

OutOfMemoryException

InvalidOperationException

ArgumentNullException

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

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

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

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

Invariant

public static void Invariant(boolean condition)
                      throws java.lang.Throwable,
                             PlatformNotSupportedException,
                             NullReferenceException,
                             ArgumentException,
                             NotSupportedException,
                             CultureNotFoundException,
                             IndexOutOfRangeException,
                             ArgumentOutOfRangeException,
                             FormatException,
                             ContractException,
                             OutOfMemoryException,
                             InvalidOperationException,
                             ArgumentNullException

Throws:

java.lang.Throwable

PlatformNotSupportedException

NullReferenceException

ArgumentException

NotSupportedException

CultureNotFoundException

IndexOutOfRangeException

ArgumentOutOfRangeException

FormatException

ContractException

OutOfMemoryException

InvalidOperationException

ArgumentNullException

Invariant

public static void Invariant(boolean condition,
                             java.lang.String userMessage)
                      throws java.lang.Throwable,
                             PlatformNotSupportedException,
                             NullReferenceException,
                             ArgumentException,
                             NotSupportedException,
                             CultureNotFoundException,
                             IndexOutOfRangeException,
                             ArgumentOutOfRangeException,
                             FormatException,
                             ContractException,
                             OutOfMemoryException,
                             InvalidOperationException,
                             ArgumentNullException

Throws:

java.lang.Throwable

PlatformNotSupportedException

NullReferenceException

ArgumentException

NotSupportedException

CultureNotFoundException

IndexOutOfRangeException

ArgumentOutOfRangeException

FormatException

ContractException

OutOfMemoryException

InvalidOperationException

ArgumentNullException

Requires

public static void Requires(boolean condition)
                     throws java.lang.Throwable,
                            PlatformNotSupportedException,
                            NullReferenceException,
                            ArgumentException,
                            NotSupportedException,
                            CultureNotFoundException,
                            IndexOutOfRangeException,
                            ArgumentOutOfRangeException,
                            FormatException,
                            ContractException,
                            OutOfMemoryException,
                            InvalidOperationException,
                            ArgumentNullException

Throws:

java.lang.Throwable

PlatformNotSupportedException

NullReferenceException

ArgumentException

NotSupportedException

CultureNotFoundException

IndexOutOfRangeException

ArgumentOutOfRangeException

FormatException

ContractException

OutOfMemoryException

InvalidOperationException

ArgumentNullException

Requires

public static void Requires(boolean condition,
                            java.lang.String userMessage)
                     throws java.lang.Throwable,
                            PlatformNotSupportedException,
                            NullReferenceException,
                            ArgumentException,
                            NotSupportedException,
                            CultureNotFoundException,
                            IndexOutOfRangeException,
                            ArgumentOutOfRangeException,
                            FormatException,
                            ContractException,
                            OutOfMemoryException,
                            InvalidOperationException,
                            ArgumentNullException

Throws:

java.lang.Throwable

PlatformNotSupportedException

NullReferenceException

ArgumentException

NotSupportedException

CultureNotFoundException

IndexOutOfRangeException

ArgumentOutOfRangeException

FormatException

ContractException

OutOfMemoryException

InvalidOperationException

ArgumentNullException

setJCOInstance

public void setJCOInstance(JCObject instance)

Overrides:

setJCOInstance in class NetObject