#include <string.h>
#include <ctype.h>
|
static int | String_Needs_Encoding (char *str) |
|
static char * | Encode_String (char *str, char *buff) |
|
static char * | Copy_Not_Encoded_String (char *str, char *buff) |
|
static char * | Decode_String (char *str, char *buff) |
|
static void | Quote_If_Needed (char *str) |
|
static char * | Parse_Atom (char *src, char *dst) |
|
char * | Encode_Hexa (char *module, char *pred, int arity, char *str) |
|
char * | Encode_Hexa_Line (char *str, char *format, int strict) |
|
char * | Decode_Hexa (char *str, int strict, int quote, int decode_aux, char *module, char *pred, int *arity, int *aux_no) |
|
char * | Decode_Hexa_Line (char *str, char *format, int strict, int quote, int decode_aux) |
|
#define Hex_Num |
( |
|
c | ) |
(isdigit(c) ? (c) - '0' : (c) - 'A' + 10) |
#define Hexa_Digit |
( |
|
c | ) |
(isdigit(c) || ((c) >= 'A' && (c) <= 'F')) |
#define Letter |
( |
|
c | ) |
(((c) >= 'a' && (c) <= 'z') || ((c) >= 'A' && (c) <= 'Z')) |
#define Letter_Digit |
( |
|
c | ) |
(Letter(c) || isdigit(c)) |
static char * Copy_Not_Encoded_String |
( |
char * |
str, |
|
|
char * |
buff |
|
) |
| |
|
static |
char* Decode_Hexa |
( |
char * |
str, |
|
|
int |
strict, |
|
|
int |
quote, |
|
|
int |
decode_aux, |
|
|
char * |
module, |
|
|
char * |
pred, |
|
|
int * |
arity, |
|
|
int * |
aux_no |
|
) |
| |
char* Decode_Hexa_Line |
( |
char * |
str, |
|
|
char * |
format, |
|
|
int |
strict, |
|
|
int |
quote, |
|
|
int |
decode_aux |
|
) |
| |
static char * Decode_String |
( |
char * |
str, |
|
|
char * |
buff |
|
) |
| |
|
static |
char* Encode_Hexa |
( |
char * |
module, |
|
|
char * |
pred, |
|
|
int |
arity, |
|
|
char * |
str |
|
) |
| |
char* Encode_Hexa_Line |
( |
char * |
str, |
|
|
char * |
format, |
|
|
int |
strict |
|
) |
| |
static char * Encode_String |
( |
char * |
str, |
|
|
char * |
buff |
|
) |
| |
|
static |
static char * Parse_Atom |
( |
char * |
src, |
|
|
char * |
dst |
|
) |
| |
|
static |
static void Quote_If_Needed |
( |
char * |
str | ) |
|
|
static |
static int String_Needs_Encoding |
( |
char * |
str | ) |
|
|
static |
char pl_escape_char[] = "\a\b\f\n\r\t\v" |
|
static |
char pl_escape_symbol[] = "abfnrtv" |
|
static |