AwsArnParsing_Compile

Class AwsArn

java.lang.Object

AwsArnParsing_Compile.AwsArn

public class AwsArn
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends java.lang.Character>	_account
dafny.DafnySequence<? extends java.lang.Character>	_arnLiteral
dafny.DafnySequence<? extends java.lang.Character>	_partition
dafny.DafnySequence<? extends java.lang.Character>	_region
AwsResource	_resource
dafny.DafnySequence<? extends java.lang.Character>	_service

Constructor Summary

Constructors

Constructor and Description
AwsArn(dafny.DafnySequence<? extends java.lang.Character> arnLiteral, dafny.DafnySequence<? extends java.lang.Character> partition, dafny.DafnySequence<? extends java.lang.Character> service, dafny.DafnySequence<? extends java.lang.Character> region, dafny.DafnySequence<? extends java.lang.Character> account, AwsResource resource)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<AwsArn>	_typeDescriptor()
static AwsArn	create_AwsArn(dafny.DafnySequence<? extends java.lang.Character> arnLiteral, dafny.DafnySequence<? extends java.lang.Character> partition, dafny.DafnySequence<? extends java.lang.Character> service, dafny.DafnySequence<? extends java.lang.Character> region, dafny.DafnySequence<? extends java.lang.Character> account, AwsResource resource)
static AwsArn	create(dafny.DafnySequence<? extends java.lang.Character> arnLiteral, dafny.DafnySequence<? extends java.lang.Character> partition, dafny.DafnySequence<? extends java.lang.Character> service, dafny.DafnySequence<? extends java.lang.Character> region, dafny.DafnySequence<? extends java.lang.Character> account, AwsResource resource)
static AwsArn	Default()
dafny.DafnySequence<? extends java.lang.Character>	dtor_account()
dafny.DafnySequence<? extends java.lang.Character>	dtor_arnLiteral()
dafny.DafnySequence<? extends java.lang.Character>	dtor_partition()
dafny.DafnySequence<? extends java.lang.Character>	dtor_region()
AwsResource	dtor_resource()
dafny.DafnySequence<? extends java.lang.Character>	dtor_service()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_AwsArn()
dafny.DafnySequence<? extends java.lang.Character>	ToArnString(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> customRegion)
java.lang.String	toString()
dafny.DafnySequence<? extends java.lang.Character>	ToString()
boolean	Valid()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_arnLiteral

public dafny.DafnySequence<? extends java.lang.Character> _arnLiteral

_partition

public dafny.DafnySequence<? extends java.lang.Character> _partition

_service

public dafny.DafnySequence<? extends java.lang.Character> _service

_region

public dafny.DafnySequence<? extends java.lang.Character> _region

_account

public dafny.DafnySequence<? extends java.lang.Character> _account

_resource

public AwsResource _resource

Constructor Detail

AwsArn

public AwsArn(dafny.DafnySequence<? extends java.lang.Character> arnLiteral,
              dafny.DafnySequence<? extends java.lang.Character> partition,
              dafny.DafnySequence<? extends java.lang.Character> service,
              dafny.DafnySequence<? extends java.lang.Character> region,
              dafny.DafnySequence<? extends java.lang.Character> account,
              AwsResource resource)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static AwsArn Default()

_typeDescriptor

public static dafny.TypeDescriptor<AwsArn> _typeDescriptor()

create

public static AwsArn create(dafny.DafnySequence<? extends java.lang.Character> arnLiteral,
                            dafny.DafnySequence<? extends java.lang.Character> partition,
                            dafny.DafnySequence<? extends java.lang.Character> service,
                            dafny.DafnySequence<? extends java.lang.Character> region,
                            dafny.DafnySequence<? extends java.lang.Character> account,
                            AwsResource resource)

create_AwsArn

public static AwsArn create_AwsArn(dafny.DafnySequence<? extends java.lang.Character> arnLiteral,
                                   dafny.DafnySequence<? extends java.lang.Character> partition,
                                   dafny.DafnySequence<? extends java.lang.Character> service,
                                   dafny.DafnySequence<? extends java.lang.Character> region,
                                   dafny.DafnySequence<? extends java.lang.Character> account,
                                   AwsResource resource)

is_AwsArn

public boolean is_AwsArn()

dtor_arnLiteral

public dafny.DafnySequence<? extends java.lang.Character> dtor_arnLiteral()

dtor_partition

public dafny.DafnySequence<? extends java.lang.Character> dtor_partition()

dtor_service

public dafny.DafnySequence<? extends java.lang.Character> dtor_service()

dtor_region

public dafny.DafnySequence<? extends java.lang.Character> dtor_region()

dtor_account

public dafny.DafnySequence<? extends java.lang.Character> dtor_account()

dtor_resource

public AwsResource dtor_resource()

Valid

public boolean Valid()

ToString

public dafny.DafnySequence<? extends java.lang.Character> ToString()

ToArnString

public dafny.DafnySequence<? extends java.lang.Character> ToArnString(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> customRegion)