/* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. */
/* $Header: b1obj.h,v 1.1 84/06/28 00:48:43 timo Exp $ */

/* B values, locations, environments: the B abstract machine */

/****************************** general ******************************/

typedef intlet relation; /* < 0, == 0, > 0 */
relation compare();

#define Is_text(v) (Type(v) == Tex)
#define Is_number(v) (Type(v) == Num)
#define Is_compound(v) (Type(v) == Com)
#define Is_list(v) (Type(v) == Lis || Type(v) == ELT)
#define Is_table(v) (Type(v) == Tab || Type(v) == ELT)
#define Is_tlt(v) (Type(v)==Tex || Type(v)==Lis || Type(v)==Tab || Type(v)==ELT)
#define Is_ELT(v) (Type(v) == ELT)

#define Is_simploc(v) (Type(v) == Sim)
#define Is_tbseloc(v) (Type(v) == Tse)
#define Is_trimloc(v) (Type(v) == Tri)
#define Is_refinement(v) (Type(v) == Ref)
#define Is_formal(v) (Type(v) == For)
#define Is_shared(v) (Type(v) == Glo)
#define Is_filed(v) (Type(v) == Per)
#define Is_function(v) (Type(v) == Fun)
#define Is_predicate(v) (Type(v) == Prd)
#define Is_howto(v) (Type(v) == How)

value grab_num();
value regrab_num();
value grab_rat();
value grab_approx();
value grab_tex();
value grab_com();
value grab_elt();
value grab_lis();
value grab_tab();
value grab_sim();
value grab_tri();
value grab_tse();
value grab_how();
value grab_for();
value grab_glo();
value grab_per();
value grab_fun();
value grab_prd();
value grab_ref();

value copy();
/* Procedure release(); */
/* Procedure uniql(); */
/* Procedure uniq_assoc(); */
double hash();

/****************************** Texts ******************************/
string strcpy(), strncpy(), strcat(), sprintf(), index();

bool character();

value mk_text();
char charval();
string strval();

value concat();
value behead();
value curtail();
value trim();
value repeat();

value adjleft();
value centre();
value adjright();

value convert();

/****************************** Numbers ******************************/

/* Predicates */
bool integral();	    /* is the value an integer? */
bool large();	    /* can a number be represented by a C int? */

/* Constants */
extern value zero, one;

/* Conversion of abstract values to concrete objects */
double numval();     /* numeric value of any number */
int intval();        /* numeric value of integral number */
intlet propintlet(); /* converts int to intlet */
string convnum();    /* character string approximation of any number */
int numcomp();       /* Comparison of two numbers: yields -1, 0 or 1 */
double numhash();    /* Hashes any abstract number to a 'double' */

/* Conversion of concrete objects to abstract numbers */
value numconst();    /* string argument */
value mk_integer();  /* int argument */

/* Functions on numbers */
value sum();
value diff();
value negated();
value prod();
value quot();
value modulo();
value floorf();
value ceilf();
value round1();
value round2();
value mod();
value power();
value absval();
value signum();
value numerator();
value denominator();
value approximate();
value random();
value root1();
value sin1();
value cos1();
value tan1();
value atn1();
value exp1();
value log1();
value root2();
value atn2();
value log2();
value pi();
value e();

/****************************** Compounds ******************************/
#define Nfields(c) Length(c)
#define Field(c, i) ((Ats(c)+(i)))
#define k_Overfields for (k= 0; k < len; k++)
#define Lastfield(k) ((k) == len-1)

#define mk_compound(len) grab_com(len)

value* field();
/* Procedure put_in_field(); */

/****************************** Lists ******************************/
value mk_numrange();
value mk_charrange();

/* Procedurre insert(); */
/* Procedure remove(); */

/****************************** Tables ******************************/

value keys();
bool in_keys();
value associate();

/* Procedure replace(); */
/* Procedure delete(); */

value* adrassoc();
value* key();
value* assoc();

/****************************** Texts, Lists, and Tables *******************/
value mk_elt();

bool in();

value size();
value size2();
value min1();
value min2();
value max1();
value max2();
value th_of();
value thof();

int length(); /* The same as size, temporary until part2 is written in B */
bool empty(); /* whether #v=0: also temporary */

/****************************** Other kinds of value ************************/

#define Simploc(l) ((simploc *)Ats(l))
#define Tbseloc(l) ((tbseloc *)Ats(l))
#define Trimloc(l) ((trimloc *)Ats(l))
#define Funprd(f)  ((funprd *)Ats(f))
#define How_to(u)  ((how *)Ats(u))
#define Formal(p)  ((formal *)Ats(f))
#define Refinement(r) ((ref *)Ats(r))

loc mk_simploc();
loc mk_trimloc();
loc mk_tbseloc();

value mk_per();
fun mk_fun();
prd mk_prd();
value mk_how();
value mk_ref();