BAP Online Manuals : Library Reference : Library by Name : char_int
Previous: char
Next: check_equal

---

6.2.17. char_int

converts a character to an integer and vice versa.

SYNOPSIS

char_int(Char,Int)

SYNTAX

 char_int(Char,Int) (i,x) (o,x)

ARGUMENTS

char(Char) (i) Character to be transformed.
char(Char) (o) Character corresponding to Int.
integer(Int) (i) Integer to be transformed.
integer(Int) (o) Integer corresponding to Char.

DESCRIPTION

Transforms a character to an integer using ASCII notation. Fails if both arguments are instantiated to different values.

ERRORS

No runtime errors. Fails if arguments don't fit types or cannot be matched.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

str_int , frontchar , put , readchar

---

BAP Online Manuals : Library Reference : Library by Name : char_int
Previous: char
Next: check_equal