Searched refs:EmptyString (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.cpp59 PolyWord EmptyString(TaskData *mdTaskData) function
70 if (buffer == NULL) return EmptyString(mdTaskData);
137 if (buffer == NULL) return EmptyString(mdTaskData);
141 if (buffLen == 0) return EmptyString(mdTaskData); // If it's zero return empty string.
147 if (outputLen <= 0) return EmptyString(mdTaskData);
155 if (check <= 0) return EmptyString(mdTaskData);
H A Dpolystring.h43 extern PolyWord EmptyString(TaskData *mdTaskData);
H A Dbasicio.cpp964 if (nDesc == 0) return taskData->saveVec.push(EmptyString());
1125 return SAVE(EmptyString(taskData));
1142 if (result == NULL) return SAVE(EmptyString(taskData));
1152 if (dp == NULL) return taskData->saveVec.push(EmptyString(taskData));

Completed in 74 milliseconds