Searched refs:translated (Results 1 - 24 of 24) sorted by relevance

/barrelfish-master/lib/openssl-1.0.0d/crypto/dso/
H A Ddso_beos.c238 char *translated; local
251 translated = OPENSSL_malloc(rsize);
252 if(translated == NULL)
261 sprintf(translated, "lib%s.so", filename);
263 sprintf(translated, "%s.so", filename);
266 sprintf(translated, "%s", filename);
267 return(translated);
H A Ddso_dl.c326 char *translated; local
338 translated = OPENSSL_malloc(rsize);
339 if(translated == NULL)
348 sprintf(translated, "lib%s%s", filename, extension);
350 sprintf(translated, "%s%s", filename, extension);
353 sprintf(translated, "%s", filename);
354 return(translated);
H A Ddso_dlfcn.c371 char *translated; local
384 translated = OPENSSL_malloc(rsize);
385 if(translated == NULL)
394 sprintf(translated, "lib%s" DSO_ext, filename);
396 sprintf(translated, "%s" DSO_ext, filename);
399 sprintf(translated, "%s", filename);
400 return(translated);
H A Ddso_win32.c632 char *translated; local
641 translated = OPENSSL_malloc(len + 5);
644 translated = OPENSSL_malloc(len + 1);
645 if(translated == NULL)
652 sprintf(translated, "%s.dll", filename);
654 sprintf(translated, "%s", filename);
655 return(translated);
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dbuiltins.tex71 recognised by the compiler and translated into specific abstract machine
H A Dkernel.tex1622 They are all translated into a predicate that takes an additional
/barrelfish-master/usr/skb/programs/
H A Ddecoding_net4_tests.pl182 % Case with a node configuration necessary, the translated node fits in
208 % Case with a node configuration necessary, the translated node spans
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dfdsets.tex213 When such set expressions occur, they are translated into auxiliary
H A Dextchr.tex762 is translated into:
H A Deplex.tex144 \item When they contain exactly one variable, they are translated into
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dapply_macros.pl44 calls are translated into calls of the auxiliary predicates.")
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dchr.pl458 %%% Special case for rules which have been translated for keeping heads
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c475 00b: Untranslated requests are translated using second-level
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsetsolver.tex249 When such set expressions occur, they are translated into auxiliary
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddomain.pl292 % translated to "pair domains", a very powerful extension of usual domains
H A Dech.pl681 CurrentHead is the head of the translated Prolog goal for the current
1231 creates a new clause head (NewRuleHead) for a translated rule called with a
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumslanguage.tex97 which is translated into
144 When structures are printed, they are not translated back into the
H A Dumsmacros.tex619 A grammar rule is translated to a Prolog clause by adding two arguments
/barrelfish-master/doc/008-tracing/
H A DTracing.tex254 \caption{Pleco files get translated into both a C header file and a JSON
305 translated into a header file, but also into a JSON file, we want to have a look
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembjava.tex382 that the collection is indeed translated into the required {\eclipse}
404 these will be translated to type {\tt integer} on the {\eclipse} side.
769 translated into EXDR format and this is written to the destination
807 causes each atom to be translated into EXDR format and the translation
/barrelfish-master/doc/003-hake/
H A DHake.tex522 the Makefile - they are translated into the GNU make construct
/barrelfish-master/doc/026-device-queues/
H A Ddevif.tex765 \texttt{devq\_enqueue()} now, the region and buffer id are translated to an buffer table
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex1453 the initial constraints on the variables are simply translated into nogood
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex543 \index{argument checking}It is a good idea, at least for the top-level queries, to verify all parameters systematically. In the specification, we have defined various constraints that the input data must satisfy. Most of these constraints can be translated without too much work into checks that verify the constraints. A separate module for error checking can handle this work and leave the application core to rely on the correctness of the data.

Completed in 209 milliseconds