AwsKmsMrkDiscoveryKeyring_Compile

Class __default

java.lang.Object

AwsKmsMrkDiscoveryKeyring_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static boolean	DiscoveryMatch(AwsArn arn, Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter, dafny.DafnySequence<? extends java.lang.Character> region)
java.lang.String	toString()
static dafny.DafnySequence<? extends java.lang.Character>	ToStringForRegion(AwsArn arn, dafny.DafnySequence<? extends java.lang.Character> region)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

ToStringForRegion

public static dafny.DafnySequence<? extends java.lang.Character> ToStringForRegion(AwsArn arn,
                                                                                   dafny.DafnySequence<? extends java.lang.Character> region)

DiscoveryMatch

public static boolean DiscoveryMatch(AwsArn arn,
                                     Wrappers_Compile.Option<DiscoveryFilter> discoveryFilter,
                                     dafny.DafnySequence<? extends java.lang.Character> region)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object