Kernel/src/sepia.h

117 #define TPROC		13 	/* goal tag, val is a (pri *)		*/
287 	(IsStructure(t) && DidString((v).ptr->val.did) == DidString(d_.nil))
352 #define Bip_Throw(val, tag)	return return_throw(val, tag);
354 #define Exit_Block(val, tag)	longjmp_throw(val, tag);
401  * the val to the nil DID. It is the responsibility of the caller to
404 #define Check_Output_Atom_Or_Nil(val, tag)	\
406 	    val.did = d_.nil;			\
410 #define Check_Atom_Or_Nil(val, tag)		\
412 		val.did = d_.nil;		\
544 	    py.val.valytype = (v);		\
545 	    Request_Unify_Pw(vx,tx,py.val,py.tag)\
560 	    Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
566 	    Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
572 	    Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
587 	    py.val.valytype = (v);		\
588 	    Return_Unify_Pw(vx,tx,py.val,py.tag)\
602 	    Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
608 	    Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
614 	    Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
625 	while (IsRef(ref->tag) && ref != ref->val.ptr)		\
626 		ref = ref->val.ptr;
629 #define IsSelfRef(ref)	((ref)->val.ptr == (ref))
659 	    Bip_Throw(exit_tag.val, exit_tag.tag); \
672 	(pw)->val.did = wdid;
676 	(pw)->val.nint = (word) (n);
680 	Make_Double_Val((pw)->val, dbl)
684 	Make_Checked_Double_Val((pw)->val, dbl)
694 	Push_Interval((pw)->val.ptr,from,to)	\
699 	Push_Checked_Interval((pw)->val.ptr,from,to)	\
704 	Cstring_To_Prolog(s, (pw)->val)
708 	(pw)->val.ptr = (plist)
716 	(pw)->val.ptr = (pstruct)
722 	_pstruct->val.did = (wdid); \
727 	(pw)->val.ptr = (p);
731 	(pw)->val.ptr = (p);
735 	(pw)->val.ptr = (pw);
739 	(pw)->val.ptr = (pw);
765 #define Set_Buffer_Size(pw, size_bytes) (pw)->val.nint = (size_bytes) - 1;
766 #define BufferSize(pw) ((int) (pw)->val.nint + 1)
768 #define BufferPwords(pw) ((int) (pw)->val.nint / sizeof(pword) + 2)
795 #define StringLength(v)	((v).ptr->val.nint)
845 	    *(psize) = DidArity((v).ptr->val.did);	\
853 #define ArraySize(v) DidArity((v).ptr->val.did)
1036 #define ExternalClass(h)	((t_ext_type*) (h)[0].val.ptr)
1037 #define ExternalData(h)		((generic_ptr) (h)[1].val.ptr)
1047     (p)->val.ptr = TG_ORIG ; (p)->tag.kernel = TREF;
1050     (p)->val.ptr = GB ; (p)->tag.kernel = TREF;
1053     ((p)->val.ptr < GB)
1080 #define	DidLength(D)		DidString(D)->val.nint
1112 	if (IsStructure(t) && v.ptr->val.did == d_.quotient)\
1117 		Check_Atom_Or_Nil(pw->val, pw->tag)	\
1118 		wdid = pw->val.did;			\
1122 		if (pw->val.nint < 0 || pw->val.nint > MAXARITY) \
1124 		wdid = add_dict(wdid, (int) pw->val.nint);\
1138 	if (IsStructure(t) && v.ptr->val.did == d_.quotient)\
1143 		Check_Atom_Or_Nil(pw->val, pw->tag)	\
1144 		wdid = pw->val.did;			\
1148 		wdid = add_dict(wdid, (int) pw->val.nint);\
1168 	else if(IsStructure(t)) key = (v).ptr->val.did;\
1343 #define WL		g_emu_.wl.val.ptr
1369 #define	TD		g_emu_.trace_data.debug_top.val.ptr