Searched refs:STRING_EXPR (Results 1 – 16 of 16) sorted by relevance
38 STRING_EXPR = 4, enumerator
685 : ExprValue(em, STRING_EXPR, idx), d_str(s) { } in ExprValue() argument
67 STRING_EXPR, ///< string expression enumerator674 ExprType_t exprType() const OVERRIDE { return STRING_EXPR; } in exprType()1841 case STRING_EXPR: return "string"; in typeStr()
30 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()
72 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()
273 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()
177 ExprType_t returnType(VMFnArgs* args) OVERRIDE { return STRING_EXPR; } in returnType()
270 } else if (expr->exprType() == STRING_EXPR) {
1809 } else if (expr->exprType() == STRING_EXPR) { in yyparse()
422 case STRING_EXPR: in printAST()465 case STRING_EXPR: return os << '"'+ getString() + '"'; in print()
508 em.newKind(STRING_EXPR, "_STRING_EXPR"); in registerKinds()
1200 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()
248 if($3->getKind() == CVC3::STRING_EXPR) {259 if($3->getKind() == CVC3::STRING_EXPR) {
751 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()
241 #include [raw] source=STRING_EXPR
195 TEST_VERIFY(resExpr->exprType() == STRING_EXPR); in runScript()