Record Constructors

Definition

Overloads

Name Description
Record()

Constructor for record classes to call.

Record(IntPtr, JniHandleOwnership)

A constructor used when creating managed representations of JNI objects; called by the runtime.

Record()

Constructor for record classes to call.

[Android.Runtime.Register(".ctor", "()V", "", ApiSince=34)]
protected Record();
Attributes

Remarks

Constructor for record classes to call.

Java documentation for java.lang.Record.Record().

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

Record(IntPtr, JniHandleOwnership)

A constructor used when creating managed representations of JNI objects; called by the runtime.

protected Record(IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);
new Java.Lang.Record : nativeint * Android.Runtime.JniHandleOwnership -> Java.Lang.Record

Parameters

javaReference
IntPtr

nativeint

A IntPtr containing a Java Native Interface (JNI) object reference.

transfer
JniHandleOwnership

A JniHandleOwnership indicating how to handle javaReference.

Remarks

This member supports the Java interop infrastructure and is not intended to be called directly by applications.

Applies to