public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<__default> |
_typeDescriptor() |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> |
AttrValueToString(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue v) |
static Wrappers_Compile.Option<java.math.BigInteger> |
FindStartOfNext(dafny.DafnySequence<? extends java.lang.Character> s) |
static Wrappers_Compile.Result<java.math.BigInteger,Error> |
GetNumber(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger acc) |
static Wrappers_Compile.Result<Selector,Error> |
GetSelector(dafny.DafnySequence<? extends java.lang.Character> s) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends Selector>,Error> |
GetSelectors(dafny.DafnySequence<? extends java.lang.Character> s,
dafny.DafnySequence<? extends Selector> acc) |
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue,Error> |
GetTerminal(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue v,
dafny.DafnySequence<? extends Selector> parts,
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names) |
static boolean |
LacksAttribute(dafny.DafnySequence<? extends Selector> t,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends Selector>,Error> |
MakeTermLoc(dafny.DafnySequence<? extends java.lang.Character> s) |
static dafny.DafnySequence<? extends java.lang.Character> |
SelectorListToString(dafny.DafnySequence<? extends Selector> s) |
static dafny.DafnySequence<? extends Selector> |
TermLocMap(dafny.DafnySequence<? extends java.lang.Character> attr) |
static dafny.DafnySequence<? extends java.lang.Character> |
TermLocToString(dafny.DafnySequence<? extends Selector> t) |
static Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> |
TermToAttr(dafny.DafnySequence<? extends Selector> t,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>,Error> |
TermToBytes(dafny.DafnySequence<? extends Selector> t,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> |
TermToString(dafny.DafnySequence<? extends Selector> t,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item) |
java.lang.String |
toString() |
static boolean |
ValidTermLoc(dafny.DafnySequence<? extends Selector> s) |
public static boolean ValidTermLoc(dafny.DafnySequence<? extends Selector> s)
public static dafny.DafnySequence<? extends java.lang.Character> TermLocToString(dafny.DafnySequence<? extends Selector> t)
public static dafny.DafnySequence<? extends java.lang.Character> SelectorListToString(dafny.DafnySequence<? extends Selector> s)
public static boolean LacksAttribute(dafny.DafnySequence<? extends Selector> t, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
public static Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> TermToAttr(dafny.DafnySequence<? extends Selector> t, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> TermToString(dafny.DafnySequence<? extends Selector> t, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>,Error> TermToBytes(dafny.DafnySequence<? extends Selector> t, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue,Error> GetTerminal(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue v, dafny.DafnySequence<? extends Selector> parts, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> AttrValueToString(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue v)
public static Wrappers_Compile.Option<java.math.BigInteger> FindStartOfNext(dafny.DafnySequence<? extends java.lang.Character> s)
public static Wrappers_Compile.Result<java.math.BigInteger,Error> GetNumber(dafny.DafnySequence<? extends java.lang.Character> s, java.math.BigInteger acc)
public static Wrappers_Compile.Result<Selector,Error> GetSelector(dafny.DafnySequence<? extends java.lang.Character> s)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends Selector>,Error> GetSelectors(dafny.DafnySequence<? extends java.lang.Character> s, dafny.DafnySequence<? extends Selector> acc)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends Selector>,Error> MakeTermLoc(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.DafnySequence<? extends Selector> TermLocMap(dafny.DafnySequence<? extends java.lang.Character> attr)
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object