AwsKmsDiscoveryKeyring_Compile

Class AwsKmsEncryptedDataKeyTransformer

java.lang.Object

AwsKmsDiscoveryKeyring_Compile.AwsKmsEncryptedDataKeyTransformer

All Implemented Interfaces:

Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>>, Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>

public class AwsKmsEncryptedDataKeyTransformer
extends java.lang.Object
implements Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>, Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>>

Constructor Summary

Constructors

Constructor and Description
AwsKmsEncryptedDataKeyTransformer()

Method Summary

Modifier and Type	Method and Description
void	__ctor()
static dafny.TypeDescriptor<AwsKmsEncryptedDataKeyTransformer>	_typeDescriptor()
Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>	Invoke(EncryptedDataKey edk)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AwsKmsEncryptedDataKeyTransformer

public AwsKmsEncryptedDataKeyTransformer()

Method Detail

__ctor

public void __ctor()

Invoke

public Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error> Invoke(EncryptedDataKey edk)

Specified by:

Invoke in interface Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>>

_typeDescriptor

public static dafny.TypeDescriptor<AwsKmsEncryptedDataKeyTransformer> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object