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