Home
last modified time | relevance | path

Searched refs:STRING_EXPR (Results 1 – 16 of 16) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dkinds.h38 STRING_EXPR = 4, enumerator
H A Dexpr_value.h685 : ExprValue(em, STRING_EXPR, idx), d_str(s) { } in ExprValue() argument
/dports/audio/linuxsampler/linuxsampler-2.2.0/src/scriptvm/
H A Dcommon.h67 STRING_EXPR, ///< string expression enumerator
674 ExprType_t exprType() const OVERRIDE { return STRING_EXPR; } in exprType()
1841 case STRING_EXPR: return "string"; in typeStr()
H A Dtree.cpp30 STRING_EXPR, in acceptedArgTypesStr()
580 if (dynVar->exprType() == STRING_EXPR) { in evalCastToStr()
756 if (resultType == STRING_EXPR) { in evalCastToStr()
1683 if (lType == STRING_EXPR || rType == STRING_EXPR) { in evalInt()
H A Dtree.h72 case '@': return STRING_EXPR; in exprTypeOfVarName()
81 if (arrayType == STRING_ARR_EXPR) return STRING_EXPR; in scalarTypeOfArray()
175 ExprType_t exprType() const OVERRIDE { return STRING_EXPR; } in exprType()
H A DCoreVMFunctions.cpp273 return type == INT_EXPR || type == REAL_EXPR || type == STRING_EXPR; in acceptsArgType()
311 return type == INT_EXPR || type == REAL_EXPR || type == STRING_EXPR; in acceptsArgType()
355 case STRING_EXPR: in exec()
H A DCoreVMFunctions.h177 ExprType_t returnType(VMFnArgs* args) OVERRIDE { return STRING_EXPR; } in returnType()
H A Dparser.y270 } else if (expr->exprType() == STRING_EXPR) {
H A Dparser.cpp1809 } else if (expr->exprType() == STRING_EXPR) { in yyparse()
/dports/math/cvc3/cvc3-2.4.1/src/expr/
H A Dexpr.cpp422 case STRING_EXPR: in printAST()
465 case STRING_EXPR: return os << '"'+ getString() + '"'; in print()
H A Dexpr_manager.cpp508 em.newKind(STRING_EXPR, "_STRING_EXPR"); in registerKinds()
/dports/math/cvc3/cvc3-2.4.1/src/translator/
H A Dtranslator.cpp1200 e[0].getKind() == STRING_EXPR && e[0].getString() == "difficulty") { in finish()
1738 e[0][0].getKind() == ID && e[0][0][0].getKind() == STRING_EXPR && in finish()
1743 e[0][0].getKind() == ID && e[0][0][0].getKind() == STRING_EXPR && in finish()
1747 if (skip_diff && e.getKind() == ANNOTATION && e[0].getKind() == STRING_EXPR && in finish()
/dports/math/cvc3/cvc3-2.4.1/src/parser/
H A Dsmtlib2.y248 if($3->getKind() == CVC3::STRING_EXPR) {
259 if($3->getKind() == CVC3::STRING_EXPR) {
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory_core.cpp751 kinds.push_back(STRING_EXPR); in TheoryCore()
1923 case STRING_EXPR: e.print(os); break; in printSmtLibShared()
2070 case STRING_EXPR: e.print(os); break; in print()
2600 case STRING_EXPR: in print()
2630 case STRING_EXPR: in print()
3652 case STRING_EXPR: { in parseExpr()
/dports/devel/py-cheetah3/Cheetah3-3.2.6/docs/users_guide/
H A Doutput.rst241 #include [raw] source=STRING_EXPR
/dports/audio/linuxsampler/linuxsampler-2.2.0/src/scriptvm/tests/
H A DNKSPCoreLangTest.cpp195 TEST_VERIFY(resExpr->exprType() == STRING_EXPR); in runScript()