Lines Matching refs:ctentry

50 } *ctentry ;  typedef
52 typedef /*@only@*/ ctentry o_ctentry;
61 extern bool ctentry_isBogus (/*@sef@*/ ctentry p_c) /*@*/;
69 static /*@observer@*/ cstring ctentry_doUnparse (ctentry p_c) /*@modifies p_c@*/;
70 static /*@only@*/ ctentry
73 static /*@only@*/ ctentry ctentry_makeNew (ctkind p_ctk, /*@only@*/ ctbase p_c);
74 static /*@only@*/ cstring ctentry_unparse (ctentry p_c) /*@*/ ;
78 static ctype cttable_addFull (/*@keep@*/ ctentry p_cnew);
79 static bool ctentry_isInteresting (ctentry p_c) /*@*/;
107 static /*@observer@*/ ctentry ctype_getCtentry (ctype p_c)  /*@*/ ;
229   ctentry ce = ctype_getCtentry (c);  in ctype_getCtKind()