A B C D G I S T

A

Aggregate() - Constructor for class software.amazon.smithy.dafny.conversion.ToDafny.Aggregate

Aggregate() - Constructor for class software.amazon.smithy.dafny.conversion.ToNative.Aggregate

B

ByteBuffer(DafnySequence<? extends Byte>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Simple

ByteSequence(byte[]) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

ByteSequence(ByteBuffer, int, int) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

Copy limit bytes from byteBuffer starting at start, and return them as a Dafny Runtime DafnySequence of Bytes.

ByteSequence(ByteBuffer) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

A convenience function for converting all the bytes from a ByteBuffer.

C

CharacterSequence(String) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

CharacterSequence(Date) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

At this time, Dafny does not have an idiomatic Timestamp or Date type in the language or any standard library.

CharacterSequence(Instant) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

At this time, Dafny does not have an idiomatic Timestamp or Date type in the language or any standard library.

D

DafnyUtf8Bytes(String) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

Dafny can be configured to represent Strings in an encoding OTHER THAN UTF-8.

DafnyUtf8Bytes(DafnySequence<? extends Byte>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Simple

Decode a DafnySequence of UTF-8 Bytes into a String.

Date(DafnySequence<? extends Character>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Simple

Parse a DafnySequence of Characters into a Date.

Double(Double) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Simple

At this time, Dafny does not have an idiomatic Double type in the language or any standard library.

Double(DafnySequence<? extends Byte>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Simple

Deserialize the 8 Bytes from a DafnySequence of Bytes into a Double.

G

GenericToList(DafnySequence<T>, Function<T, R>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Aggregate

GenericToMap(Map<IN_KEY, IN_VALUE>, Function<IN_KEY, OUT_KEY>, Function<IN_VALUE, OUT_VALUE>) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Aggregate

GenericToMap(DafnyMap<IN_KEY, IN_VALUE>, Function<IN_KEY, OUT_KEY>, Function<IN_VALUE, OUT_VALUE>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Aggregate

GenericToSequence(List<T>, Function<T, R>, TypeDescriptor<R>) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Aggregate

GenericToSet(Set<T>, Function<T, R>) - Static method in class software.amazon.smithy.dafny.conversion.ToDafny.Aggregate

Note: Sets in Java and in Dafny DO NOT preserve order; Smithy discourages un-ordered Sets.

GenericToSet(DafnySet<T>, Function<T, R>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Aggregate

I

Instant(DafnySequence<? extends Character>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Simple

Parse a DafnySequence of Characters into a Instant.

S

Simple() - Constructor for class software.amazon.smithy.dafny.conversion.ToDafny.Simple

Simple() - Constructor for class software.amazon.smithy.dafny.conversion.ToNative.Simple

software.amazon.smithy.dafny.conversion - package software.amazon.smithy.dafny.conversion

String(DafnySequence<? extends Character>) - Static method in class software.amazon.smithy.dafny.conversion.ToNative.Simple

T

ToDafny - Class in software.amazon.smithy.dafny.conversion

Methods that convert from a Native Java type to a Dafny Runtime type.

ToDafny() - Constructor for class software.amazon.smithy.dafny.conversion.ToDafny

ToDafny.Aggregate - Class in software.amazon.smithy.dafny.conversion

Methods that convert from a Native Java type to a Dafny Runtime type, for Smithy's definition of Aggregate shapes.

ToDafny.Simple - Class in software.amazon.smithy.dafny.conversion

Methods that convert from a Native Java type to a Dafny Java type, for Smithy's definition of Simple shapes.

ToNative - Class in software.amazon.smithy.dafny.conversion

Methods that convert from a Dafny Runtime Type to native (natural) Java Type.

ToNative() - Constructor for class software.amazon.smithy.dafny.conversion.ToNative

ToNative.Aggregate - Class in software.amazon.smithy.dafny.conversion

Methods that convert from a Dafny Runtime type to a Native Java type, for Smithy's definition of Aggregate shapes.

ToNative.Simple - Class in software.amazon.smithy.dafny.conversion

Methods that convert from a Dafny Runtime Type to a native Java type, for Smithy's definition of Simple shapes.

A B C D G I S T