system.diagnostics.contracts

Class ContractFailedEventArgs

java.lang.Object

org.mases.jcobridge.netreflection.NetObject

system.EventArgs

system.diagnostics.contracts.ContractFailedEventArgs

All Implemented Interfaces:

IJCOBridgeReflected

public class ContractFailedEventArgs
extends EventArgs

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

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

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=9.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.ContractFailedEventArgs
static JCType	classType The type managed from JCOBridge.

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

Null

Constructor Summary

Constructors

Constructor and Description
ContractFailedEventArgs()
ContractFailedEventArgs(ContractFailureKind failureKind, java.lang.String message, java.lang.String condition, NetException originalException) Initializes a new instance by invoking the .NET constructor.
ContractFailedEventArgs(java.lang.Object instance) Internal constructor.

Method Summary

Modifier and Type	Method and Description
static ContractFailedEventArgs	cast(IJCOBridgeReflected from) Try to cast the IJCOBridgeReflected instance into ContractFailedEventArgs, a cast assert is made to check if types are compatible.
java.lang.String	getCondition() Gets the value of the .NET property Condition.
ContractFailureKind	getFailureKind() Gets the value of the .NET property FailureKind.
boolean	getHandled() Gets the value of the .NET property Handled.
java.lang.String	getJCOAssemblyName() Returns the full name of the assembly of the .NET type.
java.lang.String	getJCOClassName() Returns the full name of the .NET type.
java.lang.Object	getJCOInstance() Returns the underlying object managed by the bridge.
java.lang.String	getJCOObjectName() Returns the name of the .NET type qualified with its assembly.
JCType	getJCOType() Returns the JCType of the .NET type.
java.lang.String	getMessage() Gets the value of the .NET property Message.
NetException	getOriginalException() Gets the value of the .NET property OriginalException.
boolean	getUnwind() Gets the value of the .NET property Unwind.
void	SetHandled() Invokes the .NET member SetHandled.
void	setJCOInstance(JCObject instance) Sets the underlying object managed by the bridge.
void	SetUnwind() Invokes the .NET member SetUnwind.

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=9.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.ContractFailedEventArgs

See Also:

Constant Field Values

classType

public static JCType classType

The type managed from JCOBridge. See JCType

Constructor Detail

ContractFailedEventArgs

public ContractFailedEventArgs()
                        throws java.lang.Throwable

Throws:

java.lang.Throwable

ContractFailedEventArgs

public ContractFailedEventArgs(ContractFailureKind failureKind,
                               java.lang.String message,
                               java.lang.String condition,
                               NetException originalException)
                        throws java.lang.Throwable

Initializes a new instance by invoking the .NET constructor.

Parameters:

failureKind - the argument of type ContractFailureKind

message - the argument of type java.lang.String

condition - the argument of type java.lang.String

originalException - the argument of type NetException

Throws:

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

See Also:

.NET documentation

ContractFailedEventArgs

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

Internal constructor. Use with caution

Parameters:

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

Throws:

java.lang.Throwable - if instance is not a JCObject

Method Detail

cast

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

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

Parameters:

from - IJCOBridgeReflected instance to be casted

Returns:

ContractFailedEventArgs 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

getFailureKind

public ContractFailureKind getFailureKind()
                                   throws java.lang.Throwable

Gets the value of the .NET property FailureKind.

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

getHandled

public boolean getHandled()
                   throws java.lang.Throwable

Gets the value of the .NET property Handled.

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

getJCOAssemblyName

public java.lang.String getJCOAssemblyName()

Description copied from class: NetObject

Returns the full name of the assembly of the .NET type.

Specified by:

getJCOAssemblyName in interface IJCOBridgeReflected

Overrides:

getJCOAssemblyName in class EventArgs

Returns:

the full assembly name

getJCOClassName

public java.lang.String getJCOClassName()

Description copied from class: NetObject

Returns the full name of the .NET type.

Specified by:

getJCOClassName in interface IJCOBridgeReflected

Overrides:

getJCOClassName in class EventArgs

Returns:

the full class name

getJCOInstance

public java.lang.Object getJCOInstance()

Description copied from class: NetObject

Returns the underlying object managed by the bridge.

Specified by:

getJCOInstance in interface IJCOBridgeReflected

Overrides:

getJCOInstance in class EventArgs

Returns:

the underlying object, or null if there is none

getJCOObjectName

public java.lang.String getJCOObjectName()

Description copied from class: NetObject

Returns the name of the .NET type qualified with its assembly.

Specified by:

getJCOObjectName in interface IJCOBridgeReflected

Overrides:

getJCOObjectName in class EventArgs

Returns:

the assembly qualified name

getJCOType

public JCType getJCOType()

Description copied from class: NetObject

Returns the JCType of the .NET type.

Specified by:

getJCOType in interface IJCOBridgeReflected

Overrides:

getJCOType in class EventArgs

Returns:

the type of the .NET class

getMessage

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

Gets the value of the .NET property Message.

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

getOriginalException

public NetException getOriginalException()
                                  throws java.lang.Throwable

Gets the value of the .NET property OriginalException.

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

getUnwind

public boolean getUnwind()
                  throws java.lang.Throwable

Gets the value of the .NET property Unwind.

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

SetHandled

public void SetHandled()
                throws java.lang.Throwable

Invokes the .NET member SetHandled.

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)

Description copied from class: NetObject

Sets the underlying object managed by the bridge.

Overrides:

setJCOInstance in class EventArgs

Parameters:

instance - the new underlying object

SetUnwind

public void SetUnwind()
               throws java.lang.Throwable

Invokes the .NET member SetUnwind.

Throws:

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

See Also:

.NET documentation