DynamoDbNormalizeNumber_Compile

Class __default

java.lang.Object

DynamoDbNormalizeNumber_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static java.math.BigInteger	CountDigits(dafny.DafnySequence<? extends java.lang.Character> s)
static java.math.BigInteger	CountZeros(dafny.DafnySequence<? extends java.lang.Character> value)
static boolean	IsDecimalDigit(char ch)
static boolean	IsE(char ch)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>>	NormalizeNumber(dafny.DafnySequence<? extends java.lang.Character> n)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>>	NormalizeNumber2(dafny.DafnySequence<? extends java.lang.Character> n)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>>	NormalizePositive(dafny.DafnySequence<? extends java.lang.Character> n)
static dafny.Tuple2<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger>	NormalizeValue(dafny.DafnySequence<? extends java.lang.Character> value, java.math.BigInteger pos)
static Wrappers_Compile.Result<dafny.Tuple3<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger,java.math.BigInteger>,dafny.DafnySequence<? extends java.lang.Character>>	ParseNumber(dafny.DafnySequence<? extends java.lang.Character> n)
static dafny.DafnySequence<? extends java.lang.Character>	SkipAllTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val)
static dafny.DafnySequence<? extends java.lang.Character>	SkipLeadingZeros(dafny.DafnySequence<? extends java.lang.Character> val)
static dafny.DafnySequence<? extends java.lang.Character>	SkipTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val)
static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>>	StrToInt(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>>	StrToIntInner(dafny.DafnySequence<? extends java.lang.Character> s, java.math.BigInteger acc)
java.lang.String	toString()
static dafny.DafnySequence<? extends java.lang.Character>	TrimZerosFromValidNumber(dafny.DafnySequence<? extends java.lang.Character> n)
static dafny.DafnySequence<? extends java.lang.Character>	Zeros(java.math.BigInteger n)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

SkipLeadingZeros

public static dafny.DafnySequence<? extends java.lang.Character> SkipLeadingZeros(dafny.DafnySequence<? extends java.lang.Character> val)

SkipTrailingZeros

public static dafny.DafnySequence<? extends java.lang.Character> SkipTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val)

SkipAllTrailingZeros

public static dafny.DafnySequence<? extends java.lang.Character> SkipAllTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val)

IsDecimalDigit

public static boolean IsDecimalDigit(char ch)

StrToIntInner

public static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> StrToIntInner(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                                                                             java.math.BigInteger acc)

StrToInt

public static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> StrToInt(dafny.DafnySequence<? extends java.lang.Character> s)

Zeros

public static dafny.DafnySequence<? extends java.lang.Character> Zeros(java.math.BigInteger n)

CountDigits

public static java.math.BigInteger CountDigits(dafny.DafnySequence<? extends java.lang.Character> s)

IsE

public static boolean IsE(char ch)

ParseNumber

public static Wrappers_Compile.Result<dafny.Tuple3<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger,java.math.BigInteger>,dafny.DafnySequence<? extends java.lang.Character>> ParseNumber(dafny.DafnySequence<? extends java.lang.Character> n)

CountZeros

public static java.math.BigInteger CountZeros(dafny.DafnySequence<? extends java.lang.Character> value)

NormalizeValue

public static dafny.Tuple2<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger> NormalizeValue(dafny.DafnySequence<? extends java.lang.Character> value,
                                                                                                                   java.math.BigInteger pos)

NormalizePositive

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> NormalizePositive(dafny.DafnySequence<? extends java.lang.Character> n)

TrimZerosFromValidNumber

public static dafny.DafnySequence<? extends java.lang.Character> TrimZerosFromValidNumber(dafny.DafnySequence<? extends java.lang.Character> n)

NormalizeNumber2

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> NormalizeNumber2(dafny.DafnySequence<? extends java.lang.Character> n)

NormalizeNumber

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> NormalizeNumber(dafny.DafnySequence<? extends java.lang.Character> n)

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object