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

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

Constructors
Constructor and Description
`Ref()`

All Methods Static Methods Instance Methods Concrete 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()`
`static <T> Ref<T>`	`create_Ptr(T deref)`
`static <T> Ref<T>`	`Default()`
`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

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

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

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

Class Ref<T>