software.amazon.cryptography.materialproviders.internaldafny.types

Class PaddingScheme

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.PaddingScheme

Direct Known Subclasses:

PaddingScheme_OAEP__SHA1__MGF1, PaddingScheme_OAEP__SHA256__MGF1, PaddingScheme_OAEP__SHA384__MGF1, PaddingScheme_OAEP__SHA512__MGF1, PaddingScheme_PKCS1

public abstract class PaddingScheme
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PaddingScheme()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<PaddingScheme>	_typeDescriptor()
static java.util.ArrayList<PaddingScheme>	AllSingletonConstructors()
static PaddingScheme	create_OAEP__SHA1__MGF1()
static PaddingScheme	create_OAEP__SHA256__MGF1()
static PaddingScheme	create_OAEP__SHA384__MGF1()
static PaddingScheme	create_OAEP__SHA512__MGF1()
static PaddingScheme	create_PKCS1()
static PaddingScheme	Default()
boolean	is_OAEP__SHA1__MGF1()
boolean	is_OAEP__SHA256__MGF1()
boolean	is_OAEP__SHA384__MGF1()
boolean	is_OAEP__SHA512__MGF1()
boolean	is_PKCS1()

Methods inherited from class java.lang.Object

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

Constructor Detail

PaddingScheme

public PaddingScheme()

Method Detail

Default

public static PaddingScheme Default()

_typeDescriptor

public static dafny.TypeDescriptor<PaddingScheme> _typeDescriptor()

create_PKCS1

public static PaddingScheme create_PKCS1()

create_OAEP__SHA1__MGF1

public static PaddingScheme create_OAEP__SHA1__MGF1()

create_OAEP__SHA256__MGF1

public static PaddingScheme create_OAEP__SHA256__MGF1()

create_OAEP__SHA384__MGF1

public static PaddingScheme create_OAEP__SHA384__MGF1()

create_OAEP__SHA512__MGF1

public static PaddingScheme create_OAEP__SHA512__MGF1()

is_PKCS1

public boolean is_PKCS1()

is_OAEP__SHA1__MGF1

public boolean is_OAEP__SHA1__MGF1()

is_OAEP__SHA256__MGF1

public boolean is_OAEP__SHA256__MGF1()

is_OAEP__SHA384__MGF1

public boolean is_OAEP__SHA384__MGF1()

is_OAEP__SHA512__MGF1

public boolean is_OAEP__SHA512__MGF1()

AllSingletonConstructors

public static java.util.ArrayList<PaddingScheme> AllSingletonConstructors()