public class ToDafny
extends java.lang.Object
Every Method here has its inverse is ToNative.
| Modifier and Type | Class and Description |
|---|---|
static class |
ToDafny.Aggregate
Methods that convert from a Native Java type
to a Dafny Runtime type,
for Smithy's definition of Aggregate shapes.
|
static class |
ToDafny.Simple
Methods that convert from a Native Java type
to a Dafny Java type,
for Smithy's definition of Simple shapes.
|
| Constructor and Description |
|---|
ToDafny() |