Searched refs:DynPtr (Results 1 – 2 of 2) sorted by relevance
26 typedef char *DynPtr; typedef28 DynPtr array;67 /*@dependent@*//*@null@*/ DynPtr DynGet (DynObject obj, int num);68 /*@observer@*/ DynPtr DynArray (DynObject obj);74 int DynAppend (DynObject obj, DynPtr els, int num);
34 DynAppend(DynObjectP obj, DynPtr els, int num) in DynAppend()62 obj->array = (DynPtr) malloc(1); in DynCreate()238 DynPtr els = (DynPtr) els_in; in DynInsert()303 DynPtr313 DynPtr333 return (DynPtr) obj->array + obj->el_size*num; in DynGet()359 DynPtr el = (DynPtr) el_in; in DynPut()422 DynPtr temp; in _DynRealloc()436 temp = (DynPtr) realloc(obj->array, (size_t) new_size_in_bytes); in _DynRealloc()