Package dafny

Class Helpers

java.lang.Object
dafny.Helpers
public class Helpers extends Object

  • Constructor Details

    • Helpers

      public Helpers()

  • Method Details

    • FromMainArguments

      public static DafnySequence<? extends DafnySequence<? extends Character>> FromMainArguments(String[] args)

    • UnicodeFromMainArguments

      public static DafnySequence<? extends DafnySequence<? extends CodePoint>> UnicodeFromMainArguments(String[] args)

    • ToStringLiteral

      public static String ToStringLiteral(DafnySequence<? extends CodePoint> dafnyString)

    • ToCharLiteral

      public static String ToCharLiteral(int codePoint)

    • Quantifier

      public static <T> boolean Quantifier(Iterable<T> vals, boolean frall, Predicate<T> pred)

    • Id

      public static <T> T Id(T t)

    • Let

      public static <T, U> U Let(T t, Function<T,U> f)

    • IntegerRange

      public static Iterable<BigInteger> IntegerRange(BigInteger lo, BigInteger hi)

    • AllIntegers

      public static Iterable<BigInteger> AllIntegers()

    • AllBooleans

      public static Iterable<Boolean> AllBooleans()

    • AllChars

      public static Iterable<Character> AllChars()

    • AllUnicodeChars

      public static Iterable<CodePoint> AllUnicodeChars()

    • toString

      public static <G> String toString(G g)

    • toInt

      public static int toInt(BigInteger i)

    • outOfRange

      public static void outOfRange(String msg)

    • toIntChecked

      public static int toIntChecked(BigInteger i, String msg)

    • toIntChecked

      public static int toIntChecked(long i, String msg)

    • unsignedToIntChecked

      public static int unsignedToIntChecked(byte i)

    • unsignedToIntChecked

      public static int unsignedToIntChecked(short i)

    • unsignedToIntChecked

      public static int unsignedToIntChecked(long i, String msg)

    • toInt

      public static int toInt(int i)

    • toInt

      public static int toInt(long l)

    • unsignedToInt

      public static int unsignedToInt(byte x)

    • unsignedToInt

      public static int unsignedToInt(short x)

    • unsignedToInt

      public static int unsignedToInt(long x)

    • unsignedLongToBigInteger

      public static BigInteger unsignedLongToBigInteger(long l)

    • divideUnsignedByte

      public static byte divideUnsignedByte(byte a, byte b)

    • divideUnsignedShort

      public static short divideUnsignedShort(short a, short b)

    • remainderUnsignedByte

      public static byte remainderUnsignedByte(byte a, byte b)

    • remainderUnsignedShort

      public static short remainderUnsignedShort(short a, short b)

    • bv8ShiftRight

      public static int bv8ShiftRight(byte a, byte amount)

    • bv16ShiftRight

      public static int bv16ShiftRight(short a, byte amount)

    • bv32ShiftRight

      public static int bv32ShiftRight(int a, byte amount)

    • bv64ShiftRight

      public static long bv64ShiftRight(long a, byte amount)

    • bv32ShiftLeft

      public static int bv32ShiftLeft(int a, byte amount)

    • bv64ShiftLeft

      public static long bv64ShiftLeft(long a, byte amount)

    • withHaltHandling

      public static void withHaltHandling(Runnable runnable)