Package system.diagnostics.contracts

Class ContractInvariantMethodAttribute

java.lang.Object

org.mases.jcobridge.netreflection.NetObject

system.Attribute

system.diagnostics.contracts.ContractInvariantMethodAttribute

All Implemented Interfaces:

IJCOBridgeReflected

public class ContractInvariantMethodAttribute
extends Attribute

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

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

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

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

Null

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
static ContractInvariantMethodAttribute	cast(IJCOBridgeReflected from)	Try to cast the IJCOBridgeReflected instance into ContractInvariantMethodAttribute, a cast assert is made to check if types are compatible.
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
void	setJCOInstance(JCObject instance)

Methods inherited from class system.Attribute

GetCustomAttribute, GetCustomAttribute, GetCustomAttribute, GetCustomAttribute, GetCustomAttribute, GetCustomAttribute, GetCustomAttribute, GetCustomAttribute, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, GetCustomAttributes, getTypeId, IsDefaultAttribute, IsDefined, IsDefined, IsDefined, IsDefined, IsDefined, IsDefined, IsDefined, IsDefined, Match

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

See Also:

Constant Field Values

classType

public static JCType classType

The type managed from JCOBridge. See JCType

Constructor Detail

ContractInvariantMethodAttribute

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

Internal constructor. Use with caution

Throws:

java.lang.Throwable

ContractInvariantMethodAttribute

public ContractInvariantMethodAttribute()
                                 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 Attribute

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 Attribute

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 Attribute

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 Attribute

Returns:

An Object representing the CLR instance of the instantiated Class

setJCOInstance

public void setJCOInstance(JCObject instance)

Overrides:

setJCOInstance in class Attribute

getJCOType

public JCType getJCOType()

Description copied from interface: IJCOBridgeReflected

Returns the instantiated class Type

Specified by:

getJCOType in interface IJCOBridgeReflected

Overrides:

getJCOType in class Attribute

Returns:

A JCType representing the CLR Type of the instantiated Class

cast

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

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

Parameters:

from - IJCOBridgeReflected instance to be casted

Returns:

ContractInvariantMethodAttribute instance

Throws:

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