Home
last modified time | relevance | path

Searched refs:argTerm (Results 1 – 6 of 6) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-data.h251 #define argTerm(w, n) (valueTerm(w)->arguments[n]) macro
252 #define argTermP(w, n) (&argTerm(w, n))
H A Dpl-read.c3332 return valInt(argTerm(*p, n-1)); in get_int_arg()
3923 return valInt(argTerm(*p,1)); in end_range()
H A Dpl-wic.c2349 { int id = (int)valInt(argTerm(*t, 0)); in do_save_qlf_term()
/dports/sysutils/javaservicewrapper/wrapper_3.5.45_src/src/c/
H A Dwrapper.c7322 TCHAR *argTerm; local
7332 memcpy(argTerm, arg, sizeof(TCHAR) * argLen);
7333 argTerm[argLen] = TEXT('\0');
7341 … if ((argTerm[0] != TEXT('-')) && !((argTerm[0] == TEXT('"')) && (argTerm[1] == TEXT('-')))) {
7346 free(argTerm);
7353 len = _tcslen(argTerm);
7356 free(argTerm);
7362 _tcsncpy(argStripped, argTerm, len + 1);
7365 wrapperStripQuotes(argTerm, argStripped);
7369 free(argTerm);
[all …]
/dports/devel/spark/spark-2.1.1/sql/catalyst/src/main/scala/org/apache/spark/sql/catalyst/expressions/
H A DScalaUDF.scala1034 val argTerm = ctx.freshName("arg") constant
1035 val convert = s"Object $argTerm = ${eval.isNull} ? null : $converter.apply(${eval.value});"
1036 (convert, argTerm)
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp1785 TermList argTerm; in parseAsBuiltinFormulaSymbol() local
1786 if (_results.pop().asTerm(argTerm) != sort) { in parseAsBuiltinFormulaSymbol()
1789 args.push(argTerm); in parseAsBuiltinFormulaSymbol()