X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d5047b9135351b2240dbe50c224bd95cf3fe5d64..495af944dbec7ce9480ebe3d955aed7aff85a754:/src/Headers/lctype.h diff --git a/src/Headers/lctype.h b/src/Headers/lctype.h index 4e2d0a8..0cd603c 100644 --- a/src/Headers/lctype.h +++ b/src/Headers/lctype.h @@ -364,11 +364,20 @@ extern ctype ctype_widest (ctype, ctype) /*@*/ ; /* drl modified */ extern size_t ctype_getArraySize (ctype p_c); + +extern cstring ctype_unparseFunction (ctype p_c, /*@only@*/ cstring p_name); + + +extern cstring +ctype_unparseFunctionPointer (ctype p_c, cstring p_quals, /*@only@*/ cstring p_name); + /*end drl add functions */ /* Should only be used in uentry.c */ extern bool ctype_isUserBool (ctype p_ct) /*@*/ ; + + # else # error "Multiple include" # endif