inline extern patch by Denys Duchier

This commit is contained in:
Vítor Santos Costa
2012-06-29 22:44:08 +01:00
parent 20b60649e5
commit 70bde4d38f
22 changed files with 318 additions and 269 deletions

View File

@@ -80,17 +80,19 @@ long int XTAG(TERM t)
}
}
extern inline TERM ADDTAG(void * t,int tag);
extern inline int is_UNIFIABLE(TERM t1, TERM t2);
extern inline int is_IDENTICAL(TERM t1, TERM t2);
extern inline char *bp_term_2_string(TERM t);
extern inline int bp_string_2_term(const char *s, TERM to, TERM tv);
extern inline SYM_REC_PTR insert(const char *name, int size, int arity);
extern inline int compare(TERM t1, TERM t2);
extern inline void write_term(TERM t);
extern inline void numberVarTermOpt(TERM t);
extern inline TERM unnumberVarTerm(TERM t, BPLONG_PTR pt1, BPLONG_PTR pt2);
extern inline int unifyNumberedTerms(TERM t1, TERM t2);
#include "inline-only.h"
extern inline TERM ADDTAG(void * t,int tag) INLINE_ONLY;
extern inline int is_UNIFIABLE(TERM t1, TERM t2) INLINE_ONLY;
extern inline int is_IDENTICAL(TERM t1, TERM t2) INLINE_ONLY;
extern inline char *bp_term_2_string(TERM t) INLINE_ONLY;
extern inline int bp_string_2_term(const char *s, TERM to, TERM tv) INLINE_ONLY;
extern inline SYM_REC_PTR insert(const char *name, int size, int arity) INLINE_ONLY;
extern inline int compare(TERM t1, TERM t2) INLINE_ONLY;
extern inline void write_term(TERM t) INLINE_ONLY;
extern inline void numberVarTermOpt(TERM t) INLINE_ONLY;
extern inline TERM unnumberVarTerm(TERM t, BPLONG_PTR pt1, BPLONG_PTR pt2) INLINE_ONLY;
extern inline int unifyNumberedTerms(TERM t1, TERM t2) INLINE_ONLY;
int bpx_call_term(TERM t);
int bpx_call_string(const char *s);