software.amazon.smithy.dafny.conversion

Class ToNative.Simple

java.lang.Object

software.amazon.smithy.dafny.conversion.ToNative.Simple

Enclosing class:

ToNative

public static class ToNative.Simple
extends java.lang.Object

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

See Also:

Smithy Simple Types

Constructor Summary

Constructors

Constructor and Description
Simple()

Method Summary

Modifier and Type	Method and Description
static java.nio.ByteBuffer	ByteBuffer(dafny.DafnySequence<? extends java.lang.Byte> dafnySequence)
static java.lang.String	DafnyUtf8Bytes(dafny.DafnySequence<? extends java.lang.Byte> dafnySequence) Decode a DafnySequence of UTF-8 Bytes into a String.
static java.util.Date	Date(dafny.DafnySequence<? extends java.lang.Character> dafnySequence) Parse a DafnySequence of Characters into a Date.
static java.lang.Double	Double(dafny.DafnySequence<? extends java.lang.Byte> dafnySequence) Deserialize the 8 Bytes from a DafnySequence of Bytes into a Double.
static java.time.Instant	Instant(dafny.DafnySequence<? extends java.lang.Character> dafnySequence) Parse a DafnySequence of Characters into a Instant.
static java.lang.String	String(dafny.DafnySequence<? extends java.lang.Character> dafnySequence)

Methods inherited from class java.lang.Object

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

Constructor Detail

Simple

public Simple()

Method Detail

ByteBuffer

public static java.nio.ByteBuffer ByteBuffer(dafny.DafnySequence<? extends java.lang.Byte> dafnySequence)

Parameters:

dafnySequence - The Dafny Runtime type for a blob is a DafnySequence of Bytes.

Returns:

The Java type for a blob can be a ByteBuffer.

See Also:

ToDafny.Simple.ByteSequence(byte[])

String

public static java.lang.String String(dafny.DafnySequence<? extends java.lang.Character> dafnySequence)

Parameters:

dafnySequence - The Dafny Runtime type for a String is A DafnySequence of Characters.

Returns:

The Java type for a String is String.

See Also:

ToDafny.Simple.CharacterSequence(java.lang.String)

Double

public static java.lang.Double Double(dafny.DafnySequence<? extends java.lang.Byte> dafnySequence)

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

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

As such, Doubles are represented as the serialized bytes of their Native Type.

Note: This serialization is NOT guaranteed to be consistent among different Dafny Runtimes or even native distributions.

Parameters:

dafnySequence - A DafnySequence of 8 Bytes

Returns:

The Java type for a double can be a Double.

See Also:

ToDafny.Simple.Double(java.lang.Double)

Date

public static java.util.Date Date(dafny.DafnySequence<? extends java.lang.Character> dafnySequence)

Parse a DafnySequence of Characters into a Date.

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

Instead, the Timestamp is serialized as seconds from epoch, as a string.

Parameters:

dafnySequence - DafnySequence of Characters containing the serialization of the timestamp.

Returns:

The Java type for a Smithy timestamp can be Date.

See Also:

ToDafny.Simple.CharacterSequence(Date)

Instant

public static java.time.Instant Instant(dafny.DafnySequence<? extends java.lang.Character> dafnySequence)

Parse a DafnySequence of Characters into a Instant.

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

Instead, the Timestamp is serialized as seconds from epoch, as a string.

Parameters:

dafnySequence - DafnySequence of Characters containing the serialization of the timestamp.

Returns:

The Java type for a Smithy timestamp can be Instant.

See Also:

ToDafny.Simple.CharacterSequence(Instant)

DafnyUtf8Bytes

public static java.lang.String DafnyUtf8Bytes(dafny.DafnySequence<? extends java.lang.Byte> dafnySequence)

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

Parameters:

dafnySequence - A DafnySequence of Bytes.

Returns:

The Java type for a String is String

See Also:

ToDafny.Simple.DafnyUtf8Bytes(String)