ATSLIB/prelude/checkast

This package contains functions that rely on dynamic checks to perform casting. These functions are introduced solely for bringing some convenience into programming.

checkast_gintLt

checkast_gintLte

checkast_gintGt

checkast_gintLt

Synopsis

fun{tk:tk}
checkast_gintLt{i:int}
  (x: g0int(tk), i: int i, msg: RD(string)): g1intLt(tk, i)

Description

Given an integer x, another integer i and a string msg, this function returns x if x is less than i. Otherwise, it prints the string msg onto STDERR and then exits with the code 1.

checkast_gintLte

Synopsis

fun{tk:tk}
checkast_gintLte{i:int}
  (x: g0int(tk), i: int i, msg: RD(string)): g1intLte(tk, i)

checkast_gintGt

Synopsis

fun{tk:tk}
checkast_gintGt{i:int}
  (x: g0int(tk), i: int i, msg: RD(string)): g1intGt(tk, i)

checkast_gintGte

Synopsis

fun{tk:tk}
checkast_gintGte{i:int}
  (x: g0int(tk), i: int i, msg: RD(string)): g1intGte(tk, i)

checkast_gintBtw

Synopsis

fun{tk:tk}
checkast_gintBtw{i,j:int}
  (x: g0int(tk), i: int i, j: int j, msg: RD(string)): g1intBtw(tk, i, j)

checkast_gintBtwe

Synopsis

fun{tk:tk}
checkast_gintBtwe{i,j:int}
  (x: g0int(tk), i: int i, j: int j, msg: RD(string)): g1intBtwe(tk, i, j)

ckastloc_gintLt

Synopsis

macdef
ckastloc_gintLt(x, i) = checkast_gintLt(,(x), ,(i), $mylocation)

ckastloc_gintLte

Synopsis

macdef
ckastloc_gintLte(x, i) = checkast_gintLte(,(x), ,(i), $mylocation)

ckastloc_gintGt

Synopsis

macdef
ckastloc_gintGt(x, i) = checkast_gintGt(,(x), ,(i), $mylocation)

ckastloc_gintGte

Synopsis

macdef
ckastloc_gintGte(x, i) = checkast_gintGte(,(x), ,(i), $mylocation)

Example

The following code make a typical use of ckastloc_gintGte:

implement
main0 (argc, argv) =
{
//
fun
fact{n:nat}
  (n: int n): int =
  if n > 0 then n * fact(n-1) else 1
//
val n =
(
  if argc >= 2 then g0string2int(argv[1]) else 10
) : int
//
val n = ckastloc_gintGte (n, 0) // assert: n >= 0
//
val () = println! ("fact(", n, ") = ", fact(n))
//
} (* end pf [main0] *)

ckastloc_gintBtw

Synopsis

macdef
ckastloc_gintBtw(x, i, j) = checkast_gintBtw(,(x), ,(i), ,(j), $mylocation)

ckastloc_gintBtwe

Synopsis

macdef
ckastloc_gintBtwe(x, i, j) = checkast_gintBtwe(,(x), ,(i), ,(j), $mylocation)

checkast_Ptr1

Synopsis

fun{}
checkast_Ptr1(x: ptr, msg: RD(string)): Ptr1

Description

Given a pointer x and a string msg, this function returns x if x is non-null. Otherwise, it prints the string msg onto STDERR and then exits with the code 1.

ckastloc_Ptr1

Synopsis

macdef
ckastloc_Ptr1(x) = checkast_Ptr1(,(x), $mylocation)

checkast_Strptr1

Synopsis

fun{}
checkast_Strptr1(x: Strptr0, msg: RD(string)): Strptr1

Description

Given a strptr-value x and a string msg, this function returns x if x is non-null. Otherwise, it prints the string msg onto STDERR and then exits with the code 1.

ckastloc_Strptr1

Synopsis

macdef
ckastloc_Strptr1(x) = checkast_Strptr1(,(x), $mylocation)

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.