Ref (aws-cryptographic-material-providers 1.7.0 API)

public abstract class Ref<T>
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`protected dafny.TypeDescriptor<T>`	`_td_T`

Constructors
Constructor and Description
`Ref(dafny.TypeDescriptor<T> _td_T)`

All Methods Static Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method and Description
`static <T> dafny.TypeDescriptor<Ref<T>>`	`_typeDescriptor(dafny.TypeDescriptor<T> _td_T)`
`static <T> Ref<T>`	`create_Null()` Deprecated.
`static <T> Ref<T>`	`create_Null(dafny.TypeDescriptor<T> _td_T)`
`static <T> Ref<T>`	`create_Ptr(T deref)` Deprecated.
`static <T> Ref<T>`	`create_Ptr(dafny.TypeDescriptor<T> _td_T, T deref)`
`static <T> Ref<T>`	`Default()` Deprecated.
`static <T> Ref<T>`	`Default(dafny.TypeDescriptor<T> _td_T)`
`T`	`dtor_deref()`
`boolean`	`is_Null()`
`boolean`	`is_Ptr()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

protected dafny.TypeDescriptor<T> _td_T

public Ref(dafny.TypeDescriptor<T> _td_T)

public static <T> dafny.TypeDescriptor<Ref<T>> _typeDescriptor(dafny.TypeDescriptor<T> _td_T)

public static <T> Ref<T> Default(dafny.TypeDescriptor<T> _td_T)

@Deprecated
public static <T> Ref<T> Default()

Deprecated.

public static <T> Ref<T> create_Ptr(dafny.TypeDescriptor<T> _td_T,
                                    T deref)

@Deprecated
public static <T> Ref<T> create_Ptr(T deref)

Deprecated.

public static <T> Ref<T> create_Null(dafny.TypeDescriptor<T> _td_T)

@Deprecated
public static <T> Ref<T> create_Null()

Deprecated.

Class Ref<T>