Searched refs:Poly_string_to_C_alloc (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.h48 extern char *Poly_string_to_C_alloc(PolyWord ps, size_t extraChars = 0);
58 TempCString(PolyWord ps): m_value(Poly_string_to_C_alloc(ps)) {}
106 #define Poly_string_to_T_alloc Poly_string_to_C_alloc
H A Dunix_specific.cpp529 char *path = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
543 char *path = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
559 char *path = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
753 char *old = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
754 char *newp = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(1));
767 char *name = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
779 char *name = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
791 char *old = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
792 char *newp = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(1));
806 char *name = Poly_string_to_C_alloc(DEREFWOR
[all...]
H A Drtsentry.cpp107 TempCString entryName(Poly_string_to_C_alloc(entryH->Word()));
H A Dpolystring.cpp95 char *Poly_string_to_C_alloc(PolyWord ps, size_t extraChars) function
106 } /* Poly_string_to_C_alloc */
275 vec[len++] = Poly_string_to_C_alloc(cell->h);
H A Dnetwork.cpp1513 TempCString servName(Poly_string_to_C_alloc(serviceName));
1532 TempCString servName(Poly_string_to_C_alloc(serviceName));
1533 TempCString protoName(Poly_string_to_C_alloc(protName));
1570 TempCString protoName(Poly_string_to_C_alloc(protName));
1588 TempCString protoName(Poly_string_to_C_alloc(protocolName));
1660 TempCString hostName(Poly_string_to_C_alloc(hName));
H A Dtiming.cpp304 format = Poly_string_to_C_alloc(DEREFHANDLE(args)->Get(0));
H A Dreals.cpp333 TempCString string_buffer(Poly_string_to_C_alloc(str->Word()));
H A Dwindows_specific.cpp683 command = Poly_string_to_C_alloc(args->WordP()->Get(1));

Completed in 71 milliseconds