software.amazon.cryptography.materialproviders.internaldafny.types

Class __default

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types._ExternBase___default

software.amazon.cryptography.materialproviders.internaldafny.types.__default

public class __default
extends _ExternBase___default

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Methods inherited from class software.amazon.cryptography.materialproviders.internaldafny.types._ExternBase___default

IsValid__CountingNumber, IsValid__PositiveInteger, IsValid__PositiveLong, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()