| Class | Description |
|---|---|
| ToDafny |
Methods that convert from a Native Java type to a Dafny Runtime type.
|
| ToDafny.Aggregate |
Methods that convert from a Native Java type
to a Dafny Runtime type,
for Smithy's definition of Aggregate shapes.
|
| ToDafny.Simple |
Methods that convert from a Native Java type
to a Dafny Java type,
for Smithy's definition of Simple shapes.
|
| ToNative |
Methods that convert from a Dafny Runtime Type to native (natural) Java Type.
|
| ToNative.Aggregate |
Methods that convert from a Dafny Runtime type
to a Native Java type,
for Smithy's definition of Aggregate shapes.
|
| ToNative.Simple |
Methods that convert from a Dafny Runtime Type
to a native Java type,
for Smithy's definition of Simple shapes.
|