Searched refs:argTerm (Results 1 – 6 of 6) sorted by relevance
/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-data.h | 251 #define argTerm(w, n) (valueTerm(w)->arguments[n]) macro 252 #define argTermP(w, n) (&argTerm(w, n))
|
H A D | pl-read.c | 3332 return valInt(argTerm(*p, n-1)); in get_int_arg() 3923 return valInt(argTerm(*p,1)); in end_range()
|
H A D | pl-wic.c | 2349 { int id = (int)valInt(argTerm(*t, 0)); in do_save_qlf_term()
|
/dports/sysutils/javaservicewrapper/wrapper_3.5.45_src/src/c/ |
H A D | wrapper.c | 7322 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 D | ScalaUDF.scala | 1034 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 D | SMTLIB2.cpp | 1785 TermList argTerm; in parseAsBuiltinFormulaSymbol() local 1786 if (_results.pop().asTerm(argTerm) != sort) { in parseAsBuiltinFormulaSymbol() 1789 args.push(argTerm); in parseAsBuiltinFormulaSymbol()
|