system.diagnostics.contracts

Class ContractException

java.lang.Object

java.lang.Throwable

org.mases.jcobridge.netreflection.NetException

system.diagnostics.contracts.ContractException

All Implemented Interfaces:

java.io.Serializable, IJCOBridgeReflected

public class ContractException
extends NetException

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

.NET documentation at https://learn.microsoft.com/dotnet/api/System.Diagnostics.Contracts.ContractException

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

Author:

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and 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.ContractException
static JCType	classType The type managed from JCOBridge.

Constructor Summary

Constructors

Constructor and Description
ContractException()
ContractException(ContractFailureKind kind, java.lang.String failure, java.lang.String userMessage, java.lang.String condition, NetException innerException) Initializes a new instance by invoking the .NET constructor.
ContractException(NetException cause)
ContractException(java.lang.Object instance) Internal constructor.
ContractException(java.lang.String message)
ContractException(java.lang.String message, NetException cause)

Method Summary

Modifier and Type	Method and Description
static ContractException	cast(IJCOBridgeReflected from) Try to cast the IJCOBridgeReflected instance into ContractException, a cast assert is made to check if types are compatible.
java.lang.String	getCondition() Gets the value of the .NET property Condition.
java.lang.String	getFailure() Gets the value of the .NET property Failure.
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
ContractFailureKind	getKind() Gets the value of the .NET property Kind.
void	GetObjectData(SerializationInfo info, StreamingContext context) Invokes the .NET member GetObjectData.
java.lang.String	getUserMessage() Gets the value of the .NET property UserMessage.
void	setJCOInstance(JCObject instance)

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

Equals, Equals, GetHashCode, getMessage, getStackTrace, GetType, hashCode, toString, ToString

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

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.ContractException

See Also:

Constant Field Values

classType

public static JCType classType

The type managed from JCOBridge. See JCType

Constructor Detail

ContractException

public ContractException()

ContractException

public ContractException(ContractFailureKind kind,
                         java.lang.String failure,
                         java.lang.String userMessage,
                         java.lang.String condition,
                         NetException innerException)
                  throws java.lang.Throwable

Initializes a new instance by invoking the .NET constructor.

Parameters:

kind - the argument of type ContractFailureKind

failure - the argument of type java.lang.String

userMessage - the argument of type java.lang.String

condition - the argument of type java.lang.String

innerException - the argument of type NetException

Throws:

java.lang.Throwable - if the .NET constructor fails

See Also:

.NET documentation

ContractException

public ContractException(NetException cause)

ContractException

public ContractException(java.lang.Object instance)

Internal constructor. Use with caution

Parameters:

instance - the underlying bridge object: it must be a JCObject

ContractException

public ContractException(java.lang.String message)

ContractException

public ContractException(java.lang.String message,
                         NetException cause)

Method Detail

cast

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

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

Parameters:

from - IJCOBridgeReflected instance to be casted

Returns:

ContractException instance

Throws:

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

getCondition

public java.lang.String getCondition()
                              throws java.lang.Throwable

Gets the value of the .NET property Condition.

Returns:

the value of the property

Throws:

java.lang.Throwable - if the call fails in the bridge or in the CLR

See Also:

.NET documentation

getFailure

public java.lang.String getFailure()
                            throws java.lang.Throwable,
                                   ArgumentException,
                                   ArgumentOutOfRangeException,
                                   ArgumentNullException,
                                   InvalidOperationException,
                                   PlatformNotSupportedException,
                                   ArrayTypeMismatchException,
                                   NotSupportedException,
                                   CultureNotFoundException,
                                   ObjectDisposedException

Gets the value of the .NET property Failure.

Returns:

the value of the property

Throws:

java.lang.Throwable - if the call fails in the bridge or in the CLR

ArgumentException - if the .NET member raises it

ArgumentOutOfRangeException - if the .NET member raises it

ArgumentNullException - if the .NET member raises it

InvalidOperationException - if the .NET member raises it

PlatformNotSupportedException - if the .NET member raises it

ArrayTypeMismatchException - if the .NET member raises it

NotSupportedException - if the .NET member raises it

CultureNotFoundException - if the .NET member raises it

ObjectDisposedException - if the .NET member raises it

See Also:

.NET documentation

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 NetException

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 NetException

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 NetException

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 NetException

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 NetException

Returns:

A JCType representing the CLR Type of the instantiated Class

getKind

public ContractFailureKind getKind()
                            throws java.lang.Throwable

Gets the value of the .NET property Kind.

Returns:

the value of the property

Throws:

java.lang.Throwable - if the call fails in the bridge or in the CLR

See Also:

.NET documentation

GetObjectData

public void GetObjectData(SerializationInfo info,
                          StreamingContext context)
                   throws java.lang.Throwable,
                          ArgumentException,
                          NotSupportedException,
                          InvalidOperationException,
                          ArgumentOutOfRangeException,
                          ArgumentNullException,
                          PlatformNotSupportedException,
                          IndexOutOfRangeException,
                          SerializationException,
                          FormatException

Invokes the .NET member GetObjectData.

Parameters:

info - the argument of type SerializationInfo

context - the argument of type StreamingContext

Throws:

java.lang.Throwable - if the call fails in the bridge or in the CLR

ArgumentException - if the .NET member raises it

NotSupportedException - if the .NET member raises it

InvalidOperationException - if the .NET member raises it

ArgumentOutOfRangeException - if the .NET member raises it

ArgumentNullException - if the .NET member raises it

PlatformNotSupportedException - if the .NET member raises it

IndexOutOfRangeException - if the .NET member raises it

SerializationException - if the .NET member raises it

FormatException - if the .NET member raises it

See Also:

.NET documentation

getUserMessage

public java.lang.String getUserMessage()
                                throws java.lang.Throwable

Gets the value of the .NET property UserMessage.

Returns:

the value of the property

Throws:

java.lang.Throwable - if the call fails in the bridge or in the CLR

See Also:

.NET documentation

setJCOInstance

public void setJCOInstance(JCObject instance)

Overrides:

setJCOInstance in class NetException