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=8.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	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 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 Description

Contract()

Contract(java.lang.Object instance)
Internal constructor.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	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=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.Contract
  
  See Also:
  
  Constant Field Values
- classType
```
public static JCType classType
```
  The type managed from JCOBridge. See JCType

Constructor Detail

Contract

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

Internal constructor. Use with caution

Throws:: java.lang.Throwable

Contract

public Contract()
         throws java.lang.Throwable

Throws:: java.lang.Throwable

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

setJCOInstance
```
public void setJCOInstance(JCObject instance)
```
Overrides:

setJCOInstance in class NetObject

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

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

Assert

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

Throws:: java.lang.Throwable; ArgumentException; ArgumentOutOfRangeException; ArgumentNullException; InvalidOperationException; PlatformNotSupportedException; ArrayTypeMismatchException; NotSupportedException; CultureNotFoundException; ObjectDisposedException; OutOfMemoryException; ContractException; IndexOutOfRangeException; FormatException

Assert

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

Throws:: java.lang.Throwable; ArgumentException; ArgumentOutOfRangeException; ArgumentNullException; InvalidOperationException; PlatformNotSupportedException; ArrayTypeMismatchException; NotSupportedException; CultureNotFoundException; ObjectDisposedException; OutOfMemoryException; ContractException; IndexOutOfRangeException; FormatException

Assume

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

Throws:: java.lang.Throwable; ArgumentException; ArgumentOutOfRangeException; ArgumentNullException; InvalidOperationException; PlatformNotSupportedException; ArrayTypeMismatchException; NotSupportedException; CultureNotFoundException; ObjectDisposedException; OutOfMemoryException; ContractException; IndexOutOfRangeException; FormatException

Assume

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

Throws:: java.lang.Throwable; ArgumentException; ArgumentOutOfRangeException; ArgumentNullException; InvalidOperationException; PlatformNotSupportedException; ArrayTypeMismatchException; NotSupportedException; CultureNotFoundException; ObjectDisposedException; OutOfMemoryException; ContractException; IndexOutOfRangeException; FormatException

EndContractBlock

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

Throws:: java.lang.Throwable

Ensures

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

Throws:: java.lang.Throwable; PlatformNotSupportedException; TypeLoadException; NotSupportedException; ArgumentException; MissingMethodException; TargetInvocationException; CultureNotFoundException; ContractException; OutOfMemoryException; InvalidOperationException; ArgumentOutOfRangeException; IndexOutOfRangeException; FormatException; ArgumentNullException

Ensures

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

Throws:: java.lang.Throwable; PlatformNotSupportedException; TypeLoadException; NotSupportedException; ArgumentException; MissingMethodException; TargetInvocationException; CultureNotFoundException; ContractException; OutOfMemoryException; InvalidOperationException; ArgumentOutOfRangeException; IndexOutOfRangeException; FormatException; ArgumentNullException

Invariant

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

Throws:: java.lang.Throwable; PlatformNotSupportedException; TypeLoadException; NotSupportedException; ArgumentException; MissingMethodException; TargetInvocationException; CultureNotFoundException; ContractException; OutOfMemoryException; InvalidOperationException; ArgumentOutOfRangeException; IndexOutOfRangeException; FormatException; ArgumentNullException

Invariant

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

Throws:: java.lang.Throwable; PlatformNotSupportedException; TypeLoadException; NotSupportedException; ArgumentException; MissingMethodException; TargetInvocationException; CultureNotFoundException; ContractException; OutOfMemoryException; InvalidOperationException; ArgumentOutOfRangeException; IndexOutOfRangeException; FormatException; ArgumentNullException

Requires

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

Throws:: java.lang.Throwable; PlatformNotSupportedException; TypeLoadException; NotSupportedException; ArgumentException; MissingMethodException; TargetInvocationException; CultureNotFoundException; ContractException; OutOfMemoryException; InvalidOperationException; ArgumentOutOfRangeException; IndexOutOfRangeException; FormatException; ArgumentNullException

Requires

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

Throws:: java.lang.Throwable; PlatformNotSupportedException; TypeLoadException; NotSupportedException; ArgumentException; MissingMethodException; TargetInvocationException; CultureNotFoundException; ContractException; OutOfMemoryException; InvalidOperationException; ArgumentOutOfRangeException; IndexOutOfRangeException; FormatException; ArgumentNullException

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

Class Contract

Field Summary

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

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Field Detail

assemblyFullName

assemblyShortName

className

classType

Constructor Detail

Contract

Contract

Method Detail

getJCOAssemblyName

getJCOClassName

getJCOObjectName

getJCOInstance

setJCOInstance

getJCOType

cast

Assert

Assert

Assume

Assume

EndContractBlock

Ensures

Ensures

Invariant

Invariant

Requires

Requires