[31510] | 1 | /* $Id: DBGCEval.cpp 103433 2024-02-19 12:11:34Z vboxsync $ */
|
---|
| 2 | /** @file
|
---|
[35628] | 3 | * DBGC - Debugger Console, command evaluator.
|
---|
[31510] | 4 | */
|
---|
| 5 |
|
---|
| 6 | /*
|
---|
[98103] | 7 | * Copyright (C) 2006-2023 Oracle and/or its affiliates.
|
---|
[31510] | 8 | *
|
---|
[96407] | 9 | * This file is part of VirtualBox base platform packages, as
|
---|
| 10 | * available from https://www.virtualbox.org.
|
---|
| 11 | *
|
---|
| 12 | * This program is free software; you can redistribute it and/or
|
---|
| 13 | * modify it under the terms of the GNU General Public License
|
---|
| 14 | * as published by the Free Software Foundation, in version 3 of the
|
---|
| 15 | * License.
|
---|
| 16 | *
|
---|
| 17 | * This program is distributed in the hope that it will be useful, but
|
---|
| 18 | * WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
| 19 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
---|
| 20 | * General Public License for more details.
|
---|
| 21 | *
|
---|
| 22 | * You should have received a copy of the GNU General Public License
|
---|
| 23 | * along with this program; if not, see <https://www.gnu.org/licenses>.
|
---|
| 24 | *
|
---|
| 25 | * SPDX-License-Identifier: GPL-3.0-only
|
---|
[31510] | 26 | */
|
---|
| 27 |
|
---|
[57358] | 28 |
|
---|
| 29 | /*********************************************************************************************************************************
|
---|
| 30 | * Header Files *
|
---|
| 31 | *********************************************************************************************************************************/
|
---|
[31510] | 32 | #define LOG_GROUP LOG_GROUP_DBGC
|
---|
| 33 | #include <VBox/dbg.h>
|
---|
| 34 | #include <VBox/err.h>
|
---|
| 35 | #include <VBox/log.h>
|
---|
| 36 |
|
---|
| 37 | #include <iprt/asm.h>
|
---|
| 38 | #include <iprt/assert.h>
|
---|
[41546] | 39 | #include <iprt/mem.h>
|
---|
[31510] | 40 | #include <iprt/string.h>
|
---|
| 41 | #include <iprt/ctype.h>
|
---|
| 42 |
|
---|
[59229] | 43 | #include <stdio.h>
|
---|
| 44 |
|
---|
[31510] | 45 | #include "DBGCInternal.h"
|
---|
| 46 |
|
---|
[41558] | 47 | /** Rewrite in progress. */
|
---|
| 48 | #define BETTER_ARGUMENT_MATCHING
|
---|
[31510] | 49 |
|
---|
[41558] | 50 |
|
---|
[57358] | 51 | /*********************************************************************************************************************************
|
---|
| 52 | * Global Variables *
|
---|
| 53 | *********************************************************************************************************************************/
|
---|
[31510] | 54 | /** Bitmap where set bits indicates the characters the may start an operator name. */
|
---|
| 55 | static uint32_t g_bmOperatorChars[256 / (4*8)];
|
---|
| 56 |
|
---|
| 57 |
|
---|
[57358] | 58 | /*********************************************************************************************************************************
|
---|
| 59 | * Internal Functions *
|
---|
| 60 | *********************************************************************************************************************************/
|
---|
[41573] | 61 | static int dbgcCheckAndTypePromoteArgument(PDBGC pDbgc, DBGCVARCAT enmCategory, PDBGCVAR pArg);
|
---|
[41561] | 62 | static int dbgcProcessArguments(PDBGC pDbgc, const char *pszCmdOrFunc,
|
---|
| 63 | uint32_t const cArgsMin, uint32_t const cArgsMax,
|
---|
| 64 | PCDBGCVARDESC const paVarDescs, uint32_t const cVarDescs,
|
---|
| 65 | char *pszArgs, unsigned *piArg, unsigned *pcArgs);
|
---|
[31510] | 66 |
|
---|
[41561] | 67 |
|
---|
| 68 |
|
---|
[31510] | 69 | /**
|
---|
[33540] | 70 | * Initializes g_bmOperatorChars.
|
---|
[31510] | 71 | */
|
---|
[35628] | 72 | void dbgcEvalInit(void)
|
---|
[31510] | 73 | {
|
---|
| 74 | memset(g_bmOperatorChars, 0, sizeof(g_bmOperatorChars));
|
---|
[41561] | 75 | for (unsigned iOp = 0; iOp < g_cDbgcOps; iOp++)
|
---|
| 76 | ASMBitSet(&g_bmOperatorChars[0], (uint8_t)g_aDbgcOps[iOp].szName[0]);
|
---|
[31510] | 77 | }
|
---|
| 78 |
|
---|
| 79 |
|
---|
| 80 | /**
|
---|
| 81 | * Checks whether the character may be the start of an operator.
|
---|
| 82 | *
|
---|
| 83 | * @returns true/false.
|
---|
| 84 | * @param ch The character.
|
---|
| 85 | */
|
---|
| 86 | DECLINLINE(bool) dbgcIsOpChar(char ch)
|
---|
| 87 | {
|
---|
| 88 | return ASMBitTest(&g_bmOperatorChars[0], (uint8_t)ch);
|
---|
| 89 | }
|
---|
| 90 |
|
---|
| 91 |
|
---|
[41571] | 92 | /**
|
---|
| 93 | * Returns the amount of free scratch space.
|
---|
| 94 | *
|
---|
| 95 | * @returns Number of unallocated bytes.
|
---|
| 96 | * @param pDbgc The DBGC instance.
|
---|
| 97 | */
|
---|
[103433] | 98 | static size_t dbgcGetFreeScratchSpace(PDBGC pDbgc)
|
---|
[41571] | 99 | {
|
---|
| 100 | return sizeof(pDbgc->achScratch) - (pDbgc->pszScratch - &pDbgc->achScratch[0]);
|
---|
| 101 | }
|
---|
[41558] | 102 |
|
---|
[41571] | 103 |
|
---|
| 104 | /**
|
---|
| 105 | * Allocates a string from the scratch space.
|
---|
| 106 | *
|
---|
| 107 | * @returns Pointer to the allocated string buffer, NULL if out of space.
|
---|
| 108 | * @param pDbgc The DBGC instance.
|
---|
| 109 | * @param cbRequested The number of bytes to allocate.
|
---|
| 110 | */
|
---|
[103433] | 111 | static char *dbgcAllocStringScatch(PDBGC pDbgc, size_t cbRequested)
|
---|
[31510] | 112 | {
|
---|
[41571] | 113 | if (cbRequested > dbgcGetFreeScratchSpace(pDbgc))
|
---|
| 114 | return NULL;
|
---|
| 115 | char *psz = pDbgc->pszScratch;
|
---|
| 116 | pDbgc->pszScratch += cbRequested;
|
---|
| 117 | return psz;
|
---|
| 118 | }
|
---|
[31510] | 119 |
|
---|
[41571] | 120 |
|
---|
| 121 | /**
|
---|
| 122 | * Evals an expression into a string or symbol (single quotes).
|
---|
| 123 | *
|
---|
| 124 | * The string memory is allocated from the scratch buffer.
|
---|
| 125 | *
|
---|
| 126 | * @returns VBox status code.
|
---|
| 127 | * @param pDbgc The DBGC instance.
|
---|
| 128 | * @param pachExpr The string/symbol expression.
|
---|
| 129 | * @param cchExpr The length of the expression.
|
---|
| 130 | * @param pArg Where to return the string.
|
---|
| 131 | */
|
---|
| 132 | static int dbgcEvalSubString(PDBGC pDbgc, const char *pachExpr, size_t cchExpr, PDBGCVAR pArg)
|
---|
| 133 | {
|
---|
| 134 | Log2(("dbgcEvalSubString: cchExpr=%d pachExpr=%.*s\n", cchExpr, cchExpr, pachExpr));
|
---|
| 135 |
|
---|
[31510] | 136 | /*
|
---|
[41571] | 137 | * Allocate scratch space for the string.
|
---|
| 138 | */
|
---|
| 139 | char *pszCopy = dbgcAllocStringScatch(pDbgc, cchExpr + 1);
|
---|
| 140 | if (!pszCopy)
|
---|
| 141 | return VERR_DBGC_PARSE_NO_SCRATCH;
|
---|
| 142 |
|
---|
| 143 | /*
|
---|
[31510] | 144 | * Removing any quoting and escapings.
|
---|
| 145 | */
|
---|
[41571] | 146 | char const chQuote = *pachExpr;
|
---|
| 147 | if (chQuote == '"' || chQuote == '\'')
|
---|
[31510] | 148 | {
|
---|
[41571] | 149 | if (pachExpr[--cchExpr] != chQuote)
|
---|
[41553] | 150 | return VERR_DBGC_PARSE_UNBALANCED_QUOTE;
|
---|
[41571] | 151 |
|
---|
[31510] | 152 | cchExpr--;
|
---|
[41571] | 153 | pachExpr++;
|
---|
| 154 | if (!memchr(pachExpr, chQuote, cchExpr))
|
---|
| 155 | memcpy(pszCopy, pachExpr, cchExpr);
|
---|
| 156 | else
|
---|
| 157 | {
|
---|
| 158 | size_t offSrc = 0;
|
---|
| 159 | size_t offDst = 0;
|
---|
| 160 | while (offSrc < cchExpr)
|
---|
| 161 | {
|
---|
| 162 | char const ch = pachExpr[offSrc++];
|
---|
| 163 | if (ch == chQuote)
|
---|
| 164 | {
|
---|
| 165 | if (pachExpr[offSrc] != ch)
|
---|
| 166 | return VERR_DBGC_PARSE_EXPECTED_BINARY_OP;
|
---|
| 167 | offSrc++;
|
---|
| 168 | }
|
---|
| 169 | pszCopy[offDst++] = ch;
|
---|
| 170 | }
|
---|
| 171 | }
|
---|
[31510] | 172 | }
|
---|
[41571] | 173 | else
|
---|
| 174 | memcpy(pszCopy, pachExpr, cchExpr);
|
---|
| 175 | pszCopy[cchExpr] = '\0';
|
---|
[31510] | 176 |
|
---|
| 177 | /*
|
---|
| 178 | * Make the argument.
|
---|
| 179 | */
|
---|
| 180 | pArg->pDesc = NULL;
|
---|
| 181 | pArg->pNext = NULL;
|
---|
[41573] | 182 | pArg->enmType = chQuote == '"' ? DBGCVAR_TYPE_STRING : DBGCVAR_TYPE_SYMBOL;
|
---|
[41571] | 183 | pArg->u.pszString = pszCopy;
|
---|
[31510] | 184 | pArg->enmRangeType = DBGCVAR_RANGE_BYTES;
|
---|
| 185 | pArg->u64Range = cchExpr;
|
---|
| 186 |
|
---|
| 187 | NOREF(pDbgc);
|
---|
[35632] | 188 | return VINF_SUCCESS;
|
---|
[31510] | 189 | }
|
---|
| 190 |
|
---|
| 191 |
|
---|
[41571] | 192 | static int dbgcEvalSubNum(const char *pachExpr, size_t cchExpr, unsigned uBase, PDBGCVAR pArg)
|
---|
[31510] | 193 | {
|
---|
[41571] | 194 | Log2(("dbgcEvalSubNum: uBase=%d pachExpr=%.*s\n", uBase, cchExpr, pachExpr));
|
---|
| 195 |
|
---|
[31510] | 196 | /*
|
---|
[41571] | 197 | * Empty expressions cannot be valid numbers.
|
---|
| 198 | */
|
---|
| 199 | if (!cchExpr)
|
---|
| 200 | return VERR_DBGC_PARSE_INVALID_NUMBER;
|
---|
| 201 |
|
---|
| 202 | /*
|
---|
[31510] | 203 | * Convert to number.
|
---|
| 204 | */
|
---|
| 205 | uint64_t u64 = 0;
|
---|
[41571] | 206 | while (cchExpr-- > 0)
|
---|
[31510] | 207 | {
|
---|
[41571] | 208 | char const ch = *pachExpr;
|
---|
[31510] | 209 | uint64_t u64Prev = u64;
|
---|
| 210 | unsigned u = ch - '0';
|
---|
| 211 | if (u < 10 && u < uBase)
|
---|
| 212 | u64 = u64 * uBase + u;
|
---|
| 213 | else if (ch >= 'a' && (u = ch - ('a' - 10)) < uBase)
|
---|
| 214 | u64 = u64 * uBase + u;
|
---|
| 215 | else if (ch >= 'A' && (u = ch - ('A' - 10)) < uBase)
|
---|
| 216 | u64 = u64 * uBase + u;
|
---|
| 217 | else
|
---|
[41553] | 218 | return VERR_DBGC_PARSE_INVALID_NUMBER;
|
---|
[31510] | 219 |
|
---|
| 220 | /* check for overflow - ARG!!! How to detect overflow correctly!?!?!? */
|
---|
| 221 | if (u64Prev != u64 / uBase)
|
---|
[41553] | 222 | return VERR_DBGC_PARSE_NUMBER_TOO_BIG;
|
---|
[31510] | 223 |
|
---|
| 224 | /* next */
|
---|
[41571] | 225 | pachExpr++;
|
---|
[31510] | 226 | }
|
---|
| 227 |
|
---|
| 228 | /*
|
---|
| 229 | * Initialize the argument.
|
---|
| 230 | */
|
---|
| 231 | pArg->pDesc = NULL;
|
---|
| 232 | pArg->pNext = NULL;
|
---|
| 233 | pArg->enmType = DBGCVAR_TYPE_NUMBER;
|
---|
| 234 | pArg->u.u64Number = u64;
|
---|
| 235 | pArg->enmRangeType = DBGCVAR_RANGE_NONE;
|
---|
| 236 | pArg->u64Range = 0;
|
---|
| 237 |
|
---|
[35632] | 238 | return VINF_SUCCESS;
|
---|
[31510] | 239 | }
|
---|
| 240 |
|
---|
| 241 |
|
---|
| 242 | /**
|
---|
[41558] | 243 | * dbgcEvalSubUnary worker that handles simple numeric or pointer expressions.
|
---|
[31510] | 244 | *
|
---|
[41558] | 245 | * @returns VBox status code. pResult contains the result on success.
|
---|
| 246 | * @param pDbgc Debugger console instance data.
|
---|
| 247 | * @param pszExpr The expression string.
|
---|
| 248 | * @param cchExpr The length of the expression.
|
---|
| 249 | * @param enmCategory The desired type category (for range / no range).
|
---|
| 250 | * @param pResult Where to store the result of the expression evaluation.
|
---|
[31510] | 251 | */
|
---|
[41558] | 252 | static int dbgcEvalSubNumericOrPointer(PDBGC pDbgc, char *pszExpr, size_t cchExpr, DBGCVARCAT enmCategory,
|
---|
| 253 | PDBGCVAR pResult)
|
---|
[31510] | 254 | {
|
---|
[41558] | 255 | char const ch = pszExpr[0];
|
---|
| 256 | char const ch2 = pszExpr[1];
|
---|
[31510] | 257 |
|
---|
[41558] | 258 | /* 0x<hex digits> */
|
---|
| 259 | if (ch == '0' && (ch2 == 'x' || ch2 == 'X'))
|
---|
[41571] | 260 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 16, pResult);
|
---|
[31510] | 261 |
|
---|
[41558] | 262 | /* <hex digits>h */
|
---|
| 263 | if (RT_C_IS_XDIGIT(*pszExpr) && (pszExpr[cchExpr - 1] == 'h' || pszExpr[cchExpr - 1] == 'H'))
|
---|
| 264 | {
|
---|
| 265 | pszExpr[cchExpr] = '\0';
|
---|
[41571] | 266 | return dbgcEvalSubNum(pszExpr, cchExpr - 1, 16, pResult);
|
---|
[41558] | 267 | }
|
---|
[31510] | 268 |
|
---|
[41558] | 269 | /* 0i<decimal digits> */
|
---|
| 270 | if (ch == '0' && ch2 == 'i')
|
---|
[41571] | 271 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 10, pResult);
|
---|
[31510] | 272 |
|
---|
[41558] | 273 | /* 0t<octal digits> */
|
---|
| 274 | if (ch == '0' && ch2 == 't')
|
---|
[41571] | 275 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 8, pResult);
|
---|
[31510] | 276 |
|
---|
[41558] | 277 | /* 0y<binary digits> */
|
---|
| 278 | if (ch == '0' && ch2 == 'y')
|
---|
[41571] | 279 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 10, pResult);
|
---|
[31510] | 280 |
|
---|
[41558] | 281 | /* Hex number? */
|
---|
| 282 | unsigned off = 0;
|
---|
[41571] | 283 | while (off < cchExpr && (RT_C_IS_XDIGIT(pszExpr[off]) || pszExpr[off] == '`'))
|
---|
[41558] | 284 | off++;
|
---|
| 285 | if (off == cchExpr)
|
---|
[41571] | 286 | return dbgcEvalSubNum(pszExpr, cchExpr, 16, pResult);
|
---|
[31510] | 287 |
|
---|
[41558] | 288 | /*
|
---|
[41571] | 289 | * Some kind of symbol? Rejected double quoted strings, only unquoted
|
---|
| 290 | * and single quoted strings will be considered as symbols.
|
---|
[41558] | 291 | */
|
---|
| 292 | DBGCVARTYPE enmType;
|
---|
| 293 | bool fStripRange = false;
|
---|
| 294 | switch (enmCategory)
|
---|
| 295 | {
|
---|
| 296 | case DBGCVAR_CAT_POINTER_NUMBER: enmType = DBGCVAR_TYPE_NUMBER; break;
|
---|
| 297 | case DBGCVAR_CAT_POINTER_NUMBER_NO_RANGE: enmType = DBGCVAR_TYPE_NUMBER; fStripRange = true; break;
|
---|
| 298 | case DBGCVAR_CAT_POINTER: enmType = DBGCVAR_TYPE_NUMBER; break;
|
---|
| 299 | case DBGCVAR_CAT_POINTER_NO_RANGE: enmType = DBGCVAR_TYPE_NUMBER; fStripRange = true; break;
|
---|
| 300 | case DBGCVAR_CAT_GC_POINTER: enmType = DBGCVAR_TYPE_GC_FLAT; break;
|
---|
| 301 | case DBGCVAR_CAT_GC_POINTER_NO_RANGE: enmType = DBGCVAR_TYPE_GC_FLAT; fStripRange = true; break;
|
---|
| 302 | case DBGCVAR_CAT_NUMBER: enmType = DBGCVAR_TYPE_NUMBER; break;
|
---|
| 303 | case DBGCVAR_CAT_NUMBER_NO_RANGE: enmType = DBGCVAR_TYPE_NUMBER; fStripRange = true; break;
|
---|
| 304 | default:
|
---|
| 305 | AssertFailedReturn(VERR_DBGC_PARSE_NOT_IMPLEMENTED);
|
---|
| 306 | }
|
---|
[31510] | 307 |
|
---|
[41571] | 308 | char const chQuote = *pszExpr;
|
---|
| 309 | if (chQuote == '"')
|
---|
| 310 | return VERR_DBGC_PARSE_INVALID_NUMBER;
|
---|
| 311 |
|
---|
| 312 | if (chQuote == '\'')
|
---|
[41558] | 313 | {
|
---|
[41571] | 314 | if (pszExpr[cchExpr - 1] != chQuote)
|
---|
| 315 | return VERR_DBGC_PARSE_UNBALANCED_QUOTE;
|
---|
[41558] | 316 | pszExpr[cchExpr - 1] = '\0';
|
---|
| 317 | pszExpr++;
|
---|
| 318 | }
|
---|
[31510] | 319 |
|
---|
[41558] | 320 | int rc = dbgcSymbolGet(pDbgc, pszExpr, enmType, pResult);
|
---|
| 321 | if (RT_SUCCESS(rc))
|
---|
| 322 | {
|
---|
| 323 | if (fStripRange)
|
---|
| 324 | {
|
---|
| 325 | pResult->enmRangeType = DBGCVAR_RANGE_NONE;
|
---|
| 326 | pResult->u64Range = 0;
|
---|
| 327 | }
|
---|
[31510] | 328 | }
|
---|
[41558] | 329 | else if (rc == VERR_DBGC_PARSE_NOT_IMPLEMENTED)
|
---|
| 330 | rc = VERR_DBGC_PARSE_INVALID_NUMBER;
|
---|
| 331 | return rc;
|
---|
[31510] | 332 | }
|
---|
| 333 |
|
---|
| 334 |
|
---|
| 335 | /**
|
---|
[41558] | 336 | * dbgcEvalSubUnary worker that handles simple DBGCVAR_CAT_ANY expressions.
|
---|
[31510] | 337 | *
|
---|
[41558] | 338 | * @returns VBox status code. pResult contains the result on success.
|
---|
| 339 | * @param pDbgc Debugger console instance data.
|
---|
| 340 | * @param pszExpr The expression string.
|
---|
| 341 | * @param cchExpr The length of the expression.
|
---|
| 342 | * @param pResult Where to store the result of the expression evaluation.
|
---|
[31510] | 343 | */
|
---|
[41558] | 344 | static int dbgcEvalSubUnaryAny(PDBGC pDbgc, char *pszExpr, size_t cchExpr, PDBGCVAR pResult)
|
---|
[31510] | 345 | {
|
---|
[41558] | 346 | char const ch = pszExpr[0];
|
---|
| 347 | char const ch2 = pszExpr[1];
|
---|
| 348 | unsigned off = 2;
|
---|
[31510] | 349 |
|
---|
[41558] | 350 | /* 0x<hex digits> */
|
---|
| 351 | if (ch == '0' && (ch2 == 'x' || ch2 == 'X'))
|
---|
[31510] | 352 | {
|
---|
[41558] | 353 | while (RT_C_IS_XDIGIT(pszExpr[off]) || pszExpr[off] == '`')
|
---|
| 354 | off++;
|
---|
| 355 | if (off == cchExpr)
|
---|
[41571] | 356 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 16, pResult);
|
---|
[41558] | 357 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr, pResult);
|
---|
| 358 | }
|
---|
[31510] | 359 |
|
---|
[41558] | 360 | /* <hex digits>h */
|
---|
| 361 | if (RT_C_IS_XDIGIT(*pszExpr) && (pszExpr[cchExpr - 1] == 'h' || pszExpr[cchExpr - 1] == 'H'))
|
---|
| 362 | {
|
---|
| 363 | cchExpr--;
|
---|
| 364 | while (off < cchExpr && (RT_C_IS_XDIGIT(pszExpr[off]) || pszExpr[off] == '`'))
|
---|
| 365 | off++;
|
---|
| 366 | if (off == cchExpr)
|
---|
[31510] | 367 | {
|
---|
[41558] | 368 | pszExpr[cchExpr] = '\0';
|
---|
[41571] | 369 | return dbgcEvalSubNum(pszExpr, cchExpr, 16, pResult);
|
---|
[31510] | 370 | }
|
---|
[41558] | 371 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr + 1, pResult);
|
---|
| 372 | }
|
---|
[31510] | 373 |
|
---|
[41571] | 374 | /* 0n<decimal digits> or 0i<decimal digits> */
|
---|
| 375 | if (ch == '0' && (ch2 == 'n' || ch2 == 'i'))
|
---|
[41558] | 376 | {
|
---|
| 377 | while (RT_C_IS_DIGIT(pszExpr[off]) || pszExpr[off] == '`')
|
---|
| 378 | off++;
|
---|
| 379 | if (off == cchExpr)
|
---|
[41571] | 380 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 10, pResult);
|
---|
[41558] | 381 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr, pResult);
|
---|
[31510] | 382 | }
|
---|
| 383 |
|
---|
[41558] | 384 | /* 0t<octal digits> */
|
---|
| 385 | if (ch == '0' && ch2 == 't')
|
---|
[31510] | 386 | {
|
---|
[41558] | 387 | while (RT_C_IS_ODIGIT(pszExpr[off]) || pszExpr[off] == '`')
|
---|
| 388 | off++;
|
---|
| 389 | if (off == cchExpr)
|
---|
[41571] | 390 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 8, pResult);
|
---|
[41558] | 391 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr, pResult);
|
---|
| 392 | }
|
---|
[31510] | 393 |
|
---|
[41558] | 394 | /* 0y<binary digits> */
|
---|
| 395 | if (ch == '0' && ch2 == 'y')
|
---|
| 396 | {
|
---|
| 397 | while (pszExpr[off] == '0' || pszExpr[off] == '1' || pszExpr[off] == '`')
|
---|
| 398 | off++;
|
---|
| 399 | if (off == cchExpr)
|
---|
[41571] | 400 | return dbgcEvalSubNum(pszExpr + 2, cchExpr - 2, 10, pResult);
|
---|
[41558] | 401 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr, pResult);
|
---|
[31510] | 402 | }
|
---|
| 403 |
|
---|
[41558] | 404 | /* Ok, no prefix of suffix. Is it a hex number after all? If not it must
|
---|
| 405 | be a string. */
|
---|
| 406 | off = 0;
|
---|
| 407 | while (RT_C_IS_XDIGIT(pszExpr[off]) || pszExpr[off] == '`')
|
---|
| 408 | off++;
|
---|
| 409 | if (off == cchExpr)
|
---|
[41571] | 410 | return dbgcEvalSubNum(pszExpr, cchExpr, 16, pResult);
|
---|
[41558] | 411 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr, pResult);
|
---|
[31510] | 412 | }
|
---|
| 413 |
|
---|
| 414 |
|
---|
[41572] | 415 | /**
|
---|
| 416 | * Handles a call.
|
---|
| 417 | *
|
---|
| 418 | * @returns VBox status code. pResult contains the result on success.
|
---|
| 419 | * @param pDbgc The DBGC instance.
|
---|
| 420 | * @param pszFuncNm The function name.
|
---|
| 421 | * @param cchFuncNm The length of the function name.
|
---|
| 422 | * @param fExternal Whether it's an external name.
|
---|
| 423 | * @param pszArgs The start of the arguments (after parenthesis).
|
---|
[97728] | 424 | * @param cchArgs The length for the argument (excluding
|
---|
[41572] | 425 | * parentesis).
|
---|
| 426 | * @param enmCategory The desired category of the result (ignored).
|
---|
| 427 | * @param pResult The result.
|
---|
| 428 | */
|
---|
[41561] | 429 | static int dbgcEvalSubCall(PDBGC pDbgc, char *pszFuncNm, size_t cchFuncNm, bool fExternal, char *pszArgs, size_t cchArgs,
|
---|
| 430 | DBGCVARCAT enmCategory, PDBGCVAR pResult)
|
---|
| 431 | {
|
---|
[62838] | 432 | RT_NOREF1(enmCategory);
|
---|
| 433 |
|
---|
[41561] | 434 | /*
|
---|
| 435 | * Lookup the function.
|
---|
| 436 | */
|
---|
| 437 | PCDBGCFUNC pFunc = dbgcFunctionLookup(pDbgc, pszFuncNm, cchFuncNm, fExternal);
|
---|
| 438 | if (!pFunc)
|
---|
| 439 | return VERR_DBGC_PARSE_FUNCTION_NOT_FOUND;
|
---|
| 440 |
|
---|
| 441 | /*
|
---|
| 442 | * Parse the arguments.
|
---|
| 443 | */
|
---|
| 444 | unsigned cArgs;
|
---|
| 445 | unsigned iArg;
|
---|
| 446 | pszArgs[cchArgs] = '\0';
|
---|
| 447 | int rc = dbgcProcessArguments(pDbgc, pFunc->pszFuncNm,
|
---|
| 448 | pFunc->cArgsMin, pFunc->cArgsMax, pFunc->paArgDescs, pFunc->cArgDescs,
|
---|
| 449 | pszArgs, &iArg, &cArgs);
|
---|
| 450 | if (RT_SUCCESS(rc))
|
---|
[44399] | 451 | rc = pFunc->pfnHandler(pFunc, &pDbgc->CmdHlp, pDbgc->pUVM, &pDbgc->aArgs[iArg], cArgs, pResult);
|
---|
[41561] | 452 | pDbgc->iArg = iArg;
|
---|
| 453 | return rc;
|
---|
| 454 | }
|
---|
| 455 |
|
---|
| 456 |
|
---|
[31510] | 457 | /**
|
---|
| 458 | * Evaluates one argument with respect to unary operators.
|
---|
| 459 | *
|
---|
[35632] | 460 | * @returns VBox status code. pResult contains the result on success.
|
---|
[31510] | 461 | *
|
---|
| 462 | * @param pDbgc Debugger console instance data.
|
---|
| 463 | * @param pszExpr The expression string.
|
---|
[35637] | 464 | * @param cchExpr The length of the expression.
|
---|
| 465 | * @param enmCategory The target category for the result.
|
---|
[31510] | 466 | * @param pResult Where to store the result of the expression evaluation.
|
---|
| 467 | */
|
---|
[35637] | 468 | static int dbgcEvalSubUnary(PDBGC pDbgc, char *pszExpr, size_t cchExpr, DBGCVARCAT enmCategory, PDBGCVAR pResult)
|
---|
[31510] | 469 | {
|
---|
| 470 | Log2(("dbgcEvalSubUnary: cchExpr=%d pszExpr=%s\n", cchExpr, pszExpr));
|
---|
| 471 |
|
---|
| 472 | /*
|
---|
| 473 | * The state of the expression is now such that it will start by zero or more
|
---|
| 474 | * unary operators and being followed by an expression of some kind.
|
---|
| 475 | * The expression is either plain or in parenthesis.
|
---|
| 476 | *
|
---|
| 477 | * Being in a lazy, recursive mode today, the parsing is done as simple as possible. :-)
|
---|
| 478 | * ASSUME: unary operators are all of equal precedence.
|
---|
| 479 | */
|
---|
[35632] | 480 | int rc = VINF_SUCCESS;
|
---|
[31510] | 481 | PCDBGCOP pOp = dbgcOperatorLookup(pDbgc, pszExpr, false, ' ');
|
---|
| 482 | if (pOp)
|
---|
| 483 | {
|
---|
| 484 | /* binary operators means syntax error. */
|
---|
| 485 | if (pOp->fBinary)
|
---|
[41553] | 486 | return VERR_DBGC_PARSE_UNEXPECTED_OPERATOR;
|
---|
[31510] | 487 |
|
---|
| 488 | /*
|
---|
| 489 | * If the next expression (the one following the unary operator) is in a
|
---|
| 490 | * parenthesis a full eval is needed. If not the unary eval will suffice.
|
---|
| 491 | */
|
---|
| 492 | /* calc and strip next expr. */
|
---|
| 493 | char *pszExpr2 = pszExpr + pOp->cchName;
|
---|
| 494 | while (RT_C_IS_BLANK(*pszExpr2))
|
---|
| 495 | pszExpr2++;
|
---|
| 496 |
|
---|
[41558] | 497 | if (*pszExpr2)
|
---|
[31510] | 498 | {
|
---|
| 499 | DBGCVAR Arg;
|
---|
| 500 | if (*pszExpr2 == '(')
|
---|
[35637] | 501 | rc = dbgcEvalSub(pDbgc, pszExpr2, cchExpr - (pszExpr2 - pszExpr), pOp->enmCatArg1, &Arg);
|
---|
[31510] | 502 | else
|
---|
[35637] | 503 | rc = dbgcEvalSubUnary(pDbgc, pszExpr2, cchExpr - (pszExpr2 - pszExpr), pOp->enmCatArg1, &Arg);
|
---|
[31510] | 504 | if (RT_SUCCESS(rc))
|
---|
[41573] | 505 | rc = dbgcCheckAndTypePromoteArgument(pDbgc, pOp->enmCatArg1, &Arg);
|
---|
| 506 | if (RT_SUCCESS(rc))
|
---|
[41546] | 507 | rc = pOp->pfnHandlerUnary(pDbgc, &Arg, enmCategory, pResult);
|
---|
[31510] | 508 | }
|
---|
[41558] | 509 | else
|
---|
| 510 | rc = VERR_DBGC_PARSE_EMPTY_ARGUMENT;
|
---|
| 511 | return rc;
|
---|
[31510] | 512 | }
|
---|
[41558] | 513 |
|
---|
| 514 | /*
|
---|
| 515 | * Could this be a function call?
|
---|
| 516 | *
|
---|
| 517 | * ASSUMPTIONS:
|
---|
| 518 | * - A function name only contains alphanumerical chars and it can not
|
---|
| 519 | * start with a numerical character.
|
---|
| 520 | * - Immediately following the name is a parenthesis which must cover
|
---|
| 521 | * the remaining part of the expression.
|
---|
| 522 | */
|
---|
| 523 | bool fExternal = *pszExpr == '.';
|
---|
| 524 | char *pszFun = fExternal ? pszExpr + 1 : pszExpr;
|
---|
| 525 | char *pszFunEnd = NULL;
|
---|
| 526 | if (pszExpr[cchExpr - 1] == ')' && RT_C_IS_ALPHA(*pszFun))
|
---|
[31510] | 527 | {
|
---|
[41558] | 528 | pszFunEnd = pszExpr + 1;
|
---|
| 529 | while (*pszFunEnd != '(' && RT_C_IS_ALNUM(*pszFunEnd))
|
---|
| 530 | pszFunEnd++;
|
---|
| 531 | if (*pszFunEnd != '(')
|
---|
| 532 | pszFunEnd = NULL;
|
---|
| 533 | }
|
---|
| 534 | if (pszFunEnd)
|
---|
| 535 | {
|
---|
[41561] | 536 | size_t cchFunNm = pszFunEnd - pszFun;
|
---|
| 537 | return dbgcEvalSubCall(pDbgc, pszFun, cchFunNm, fExternal, pszFunEnd + 1, cchExpr - cchFunNm - fExternal - 2,
|
---|
| 538 | enmCategory, pResult);
|
---|
[31510] | 539 | }
|
---|
| 540 |
|
---|
[41558] | 541 | /*
|
---|
| 542 | * Assuming plain expression.
|
---|
| 543 | * Didn't find any operators, so it must be a plain expression.
|
---|
| 544 | * Go by desired category first, then if anythings go, try guess.
|
---|
| 545 | */
|
---|
| 546 | switch (enmCategory)
|
---|
| 547 | {
|
---|
| 548 | case DBGCVAR_CAT_ANY:
|
---|
| 549 | return dbgcEvalSubUnaryAny(pDbgc, pszExpr, cchExpr, pResult);
|
---|
| 550 |
|
---|
| 551 | case DBGCVAR_CAT_POINTER_NUMBER:
|
---|
| 552 | case DBGCVAR_CAT_POINTER_NUMBER_NO_RANGE:
|
---|
| 553 | case DBGCVAR_CAT_POINTER:
|
---|
| 554 | case DBGCVAR_CAT_POINTER_NO_RANGE:
|
---|
| 555 | case DBGCVAR_CAT_GC_POINTER:
|
---|
| 556 | case DBGCVAR_CAT_GC_POINTER_NO_RANGE:
|
---|
| 557 | case DBGCVAR_CAT_NUMBER:
|
---|
| 558 | case DBGCVAR_CAT_NUMBER_NO_RANGE:
|
---|
| 559 | /* Pointers will be promoted later. */
|
---|
| 560 | return dbgcEvalSubNumericOrPointer(pDbgc, pszExpr, cchExpr, enmCategory, pResult);
|
---|
| 561 |
|
---|
| 562 | case DBGCVAR_CAT_STRING:
|
---|
| 563 | case DBGCVAR_CAT_SYMBOL:
|
---|
| 564 | /* Symbols will be promoted later. */
|
---|
| 565 | return dbgcEvalSubString(pDbgc, pszExpr, cchExpr, pResult);
|
---|
| 566 |
|
---|
| 567 | case DBGCVAR_CAT_OPTION:
|
---|
| 568 | case DBGCVAR_CAT_OPTION_STRING:
|
---|
| 569 | case DBGCVAR_CAT_OPTION_NUMBER:
|
---|
| 570 | return VERR_DBGC_PARSE_NOT_IMPLEMENTED;
|
---|
| 571 | }
|
---|
| 572 |
|
---|
| 573 | AssertMsgFailed(("enmCategory=%d\n", enmCategory));
|
---|
[41572] | 574 | return VERR_NOT_IMPLEMENTED;
|
---|
[31510] | 575 | }
|
---|
| 576 |
|
---|
| 577 |
|
---|
| 578 | /**
|
---|
| 579 | * Evaluates one argument.
|
---|
| 580 | *
|
---|
[35632] | 581 | * @returns VBox status code.
|
---|
[31510] | 582 | *
|
---|
| 583 | * @param pDbgc Debugger console instance data.
|
---|
| 584 | * @param pszExpr The expression string.
|
---|
[65118] | 585 | * @param cchExpr The size of the expression string.
|
---|
[35637] | 586 | * @param enmCategory The target category for the result.
|
---|
[31510] | 587 | * @param pResult Where to store the result of the expression evaluation.
|
---|
| 588 | */
|
---|
[35637] | 589 | int dbgcEvalSub(PDBGC pDbgc, char *pszExpr, size_t cchExpr, DBGCVARCAT enmCategory, PDBGCVAR pResult)
|
---|
[31510] | 590 | {
|
---|
| 591 | Log2(("dbgcEvalSub: cchExpr=%d pszExpr=%s\n", cchExpr, pszExpr));
|
---|
[41546] | 592 |
|
---|
[31510] | 593 | /*
|
---|
| 594 | * First we need to remove blanks in both ends.
|
---|
| 595 | * ASSUMES: There is no quoting unless the entire expression is a string.
|
---|
| 596 | */
|
---|
| 597 |
|
---|
| 598 | /* stripping. */
|
---|
| 599 | while (cchExpr > 0 && RT_C_IS_BLANK(pszExpr[cchExpr - 1]))
|
---|
| 600 | pszExpr[--cchExpr] = '\0';
|
---|
| 601 | while (RT_C_IS_BLANK(*pszExpr))
|
---|
| 602 | pszExpr++, cchExpr--;
|
---|
| 603 | if (!*pszExpr)
|
---|
[41553] | 604 | return VERR_DBGC_PARSE_EMPTY_ARGUMENT;
|
---|
[31510] | 605 |
|
---|
| 606 | /*
|
---|
| 607 | * Check if there are any parenthesis which needs removing.
|
---|
| 608 | */
|
---|
| 609 | if (pszExpr[0] == '(' && pszExpr[cchExpr - 1] == ')')
|
---|
| 610 | {
|
---|
| 611 | do
|
---|
| 612 | {
|
---|
| 613 | unsigned cPar = 1;
|
---|
| 614 | char *psz = pszExpr + 1;
|
---|
| 615 | char ch;
|
---|
| 616 | while ((ch = *psz) != '\0')
|
---|
| 617 | {
|
---|
| 618 | if (ch == '(')
|
---|
| 619 | cPar++;
|
---|
| 620 | else if (ch == ')')
|
---|
| 621 | {
|
---|
| 622 | if (cPar <= 0)
|
---|
[41553] | 623 | return VERR_DBGC_PARSE_UNBALANCED_PARENTHESIS;
|
---|
[31510] | 624 | cPar--;
|
---|
| 625 | if (cPar == 0 && psz[1]) /* If not at end, there's nothing to do. */
|
---|
| 626 | break;
|
---|
| 627 | }
|
---|
| 628 | /* next */
|
---|
| 629 | psz++;
|
---|
| 630 | }
|
---|
| 631 | if (ch)
|
---|
| 632 | break;
|
---|
| 633 |
|
---|
| 634 | /* remove the parenthesis. */
|
---|
| 635 | pszExpr++;
|
---|
| 636 | cchExpr -= 2;
|
---|
| 637 | pszExpr[cchExpr] = '\0';
|
---|
| 638 |
|
---|
| 639 | /* strip blanks. */
|
---|
| 640 | while (cchExpr > 0 && RT_C_IS_BLANK(pszExpr[cchExpr - 1]))
|
---|
| 641 | pszExpr[--cchExpr] = '\0';
|
---|
| 642 | while (RT_C_IS_BLANK(*pszExpr))
|
---|
| 643 | pszExpr++, cchExpr--;
|
---|
| 644 | if (!*pszExpr)
|
---|
[41553] | 645 | return VERR_DBGC_PARSE_EMPTY_ARGUMENT;
|
---|
[31510] | 646 | } while (pszExpr[0] == '(' && pszExpr[cchExpr - 1] == ')');
|
---|
| 647 | }
|
---|
| 648 |
|
---|
| 649 | /*
|
---|
| 650 | * Now, we need to look for the binary operator with the lowest precedence.
|
---|
| 651 | *
|
---|
| 652 | * If there are no operators we're left with a simple expression which we
|
---|
| 653 | * evaluate with respect to unary operators
|
---|
| 654 | */
|
---|
[41558] | 655 | char *pszOpSplit = NULL;
|
---|
| 656 | PCDBGCOP pOpSplit = NULL;
|
---|
| 657 | unsigned cBinaryOps = 0;
|
---|
| 658 | unsigned cPar = 0;
|
---|
[41559] | 659 | unsigned cchWord = 0;
|
---|
[41558] | 660 | char chQuote = '\0';
|
---|
| 661 | char chPrev = ' ';
|
---|
| 662 | bool fBinary = false;
|
---|
| 663 | char *psz = pszExpr;
|
---|
[31510] | 664 | char ch;
|
---|
| 665 |
|
---|
| 666 | while ((ch = *psz) != '\0')
|
---|
| 667 | {
|
---|
| 668 | /*
|
---|
[41558] | 669 | * String quoting.
|
---|
[31510] | 670 | */
|
---|
[41558] | 671 | if (chQuote)
|
---|
[31510] | 672 | {
|
---|
[41559] | 673 | if (ch == chQuote)
|
---|
[41558] | 674 | {
|
---|
[41559] | 675 | if (psz[1] == chQuote)
|
---|
| 676 | {
|
---|
| 677 | psz++; /* escaped quote */
|
---|
| 678 | cchWord++;
|
---|
| 679 | }
|
---|
| 680 | else
|
---|
| 681 | {
|
---|
| 682 | chQuote = '\0';
|
---|
| 683 | fBinary = true;
|
---|
| 684 | cchWord = 0;
|
---|
| 685 | }
|
---|
[41558] | 686 | }
|
---|
[41559] | 687 | else
|
---|
| 688 | cchWord++;
|
---|
[41558] | 689 | }
|
---|
| 690 | else if (ch == '"' || ch == '\'')
|
---|
[41559] | 691 | {
|
---|
| 692 | if (fBinary || cchWord)
|
---|
| 693 | return VERR_DBGC_PARSE_EXPECTED_BINARY_OP;
|
---|
[41558] | 694 | chQuote = ch;
|
---|
[41559] | 695 | }
|
---|
[41558] | 696 | /*
|
---|
| 697 | * Parentheses.
|
---|
| 698 | */
|
---|
| 699 | else if (ch == '(')
|
---|
| 700 | {
|
---|
[41561] | 701 | if (!cPar && fBinary && !cchWord)
|
---|
[41559] | 702 | return VERR_DBGC_PARSE_EXPECTED_BINARY_OP;
|
---|
[31510] | 703 | cPar++;
|
---|
| 704 | fBinary = false;
|
---|
[41559] | 705 | cchWord = 0;
|
---|
[31510] | 706 | }
|
---|
| 707 | else if (ch == ')')
|
---|
| 708 | {
|
---|
| 709 | if (cPar <= 0)
|
---|
[41553] | 710 | return VERR_DBGC_PARSE_UNBALANCED_PARENTHESIS;
|
---|
[31510] | 711 | cPar--;
|
---|
| 712 | fBinary = true;
|
---|
[41559] | 713 | cchWord = 0;
|
---|
[31510] | 714 | }
|
---|
| 715 | /*
|
---|
| 716 | * Potential operator.
|
---|
| 717 | */
|
---|
| 718 | else if (cPar == 0 && !RT_C_IS_BLANK(ch))
|
---|
| 719 | {
|
---|
| 720 | PCDBGCOP pOp = dbgcIsOpChar(ch)
|
---|
| 721 | ? dbgcOperatorLookup(pDbgc, psz, fBinary, chPrev)
|
---|
| 722 | : NULL;
|
---|
| 723 | if (pOp)
|
---|
| 724 | {
|
---|
| 725 | /* If not the right kind of operator we've got a syntax error. */
|
---|
| 726 | if (pOp->fBinary != fBinary)
|
---|
[41553] | 727 | return VERR_DBGC_PARSE_UNEXPECTED_OPERATOR;
|
---|
[31510] | 728 |
|
---|
| 729 | /*
|
---|
| 730 | * Update the parse state and skip the operator.
|
---|
| 731 | */
|
---|
| 732 | if (!pOpSplit)
|
---|
| 733 | {
|
---|
| 734 | pOpSplit = pOp;
|
---|
| 735 | pszOpSplit = psz;
|
---|
| 736 | cBinaryOps = fBinary;
|
---|
| 737 | }
|
---|
| 738 | else if (fBinary)
|
---|
| 739 | {
|
---|
| 740 | cBinaryOps++;
|
---|
| 741 | if (pOp->iPrecedence >= pOpSplit->iPrecedence)
|
---|
| 742 | {
|
---|
| 743 | pOpSplit = pOp;
|
---|
| 744 | pszOpSplit = psz;
|
---|
| 745 | }
|
---|
| 746 | }
|
---|
| 747 |
|
---|
| 748 | psz += pOp->cchName - 1;
|
---|
| 749 | fBinary = false;
|
---|
[41559] | 750 | cchWord = 0;
|
---|
[31510] | 751 | }
|
---|
[41559] | 752 | else if (fBinary && !cchWord)
|
---|
| 753 | return VERR_DBGC_PARSE_EXPECTED_BINARY_OP;
|
---|
[31510] | 754 | else
|
---|
[41559] | 755 | {
|
---|
[31510] | 756 | fBinary = true;
|
---|
[41559] | 757 | cchWord++;
|
---|
| 758 | }
|
---|
[31510] | 759 | }
|
---|
[41559] | 760 | else if (cPar == 0 && RT_C_IS_BLANK(ch))
|
---|
| 761 | cchWord++;
|
---|
[31510] | 762 |
|
---|
| 763 | /* next */
|
---|
| 764 | psz++;
|
---|
| 765 | chPrev = ch;
|
---|
| 766 | } /* parse loop. */
|
---|
| 767 |
|
---|
[41558] | 768 | if (chQuote)
|
---|
| 769 | return VERR_DBGC_PARSE_UNBALANCED_QUOTE;
|
---|
[31510] | 770 |
|
---|
| 771 | /*
|
---|
[41573] | 772 | * Either we found an operator to divide the expression by or we didn't
|
---|
| 773 | * find any. In the first case it's divide and conquer. In the latter
|
---|
| 774 | * it's a single expression which needs dealing with its unary operators
|
---|
| 775 | * if any.
|
---|
[31510] | 776 | */
|
---|
| 777 | int rc;
|
---|
| 778 | if ( cBinaryOps
|
---|
| 779 | && pOpSplit->fBinary)
|
---|
| 780 | {
|
---|
| 781 | /* process 1st sub expression. */
|
---|
| 782 | *pszOpSplit = '\0';
|
---|
| 783 | DBGCVAR Arg1;
|
---|
[35637] | 784 | rc = dbgcEvalSub(pDbgc, pszExpr, pszOpSplit - pszExpr, pOpSplit->enmCatArg1, &Arg1);
|
---|
[31510] | 785 | if (RT_SUCCESS(rc))
|
---|
| 786 | {
|
---|
| 787 | /* process 2nd sub expression. */
|
---|
| 788 | char *psz2 = pszOpSplit + pOpSplit->cchName;
|
---|
| 789 | DBGCVAR Arg2;
|
---|
[35637] | 790 | rc = dbgcEvalSub(pDbgc, psz2, cchExpr - (psz2 - pszExpr), pOpSplit->enmCatArg2, &Arg2);
|
---|
[31510] | 791 | if (RT_SUCCESS(rc))
|
---|
[41573] | 792 | rc = dbgcCheckAndTypePromoteArgument(pDbgc, pOpSplit->enmCatArg1, &Arg1);
|
---|
| 793 | if (RT_SUCCESS(rc))
|
---|
| 794 | rc = dbgcCheckAndTypePromoteArgument(pDbgc, pOpSplit->enmCatArg2, &Arg2);
|
---|
| 795 | if (RT_SUCCESS(rc))
|
---|
[31510] | 796 | rc = pOpSplit->pfnHandlerBinary(pDbgc, &Arg1, &Arg2, pResult);
|
---|
| 797 | }
|
---|
| 798 | }
|
---|
| 799 | else if (cBinaryOps)
|
---|
| 800 | {
|
---|
| 801 | /* process sub expression. */
|
---|
| 802 | pszOpSplit += pOpSplit->cchName;
|
---|
| 803 | DBGCVAR Arg;
|
---|
[35637] | 804 | rc = dbgcEvalSub(pDbgc, pszOpSplit, cchExpr - (pszOpSplit - pszExpr), pOpSplit->enmCatArg1, &Arg);
|
---|
[31510] | 805 | if (RT_SUCCESS(rc))
|
---|
[41573] | 806 | rc = dbgcCheckAndTypePromoteArgument(pDbgc, pOpSplit->enmCatArg1, &Arg);
|
---|
| 807 | if (RT_SUCCESS(rc))
|
---|
[41546] | 808 | rc = pOpSplit->pfnHandlerUnary(pDbgc, &Arg, enmCategory, pResult);
|
---|
[31510] | 809 | }
|
---|
| 810 | else
|
---|
[97728] | 811 | /* plain expression, quoted string, or using unary operators perhaps with parentheses. */
|
---|
[35637] | 812 | rc = dbgcEvalSubUnary(pDbgc, pszExpr, cchExpr, enmCategory, pResult);
|
---|
[31510] | 813 |
|
---|
| 814 | return rc;
|
---|
| 815 | }
|
---|
| 816 |
|
---|
| 817 |
|
---|
| 818 | /**
|
---|
[41558] | 819 | * Worker for dbgcProcessArguments that performs type checking and promoptions.
|
---|
| 820 | *
|
---|
| 821 | * @returns VBox status code.
|
---|
| 822 | *
|
---|
| 823 | * @param pDbgc Debugger console instance data.
|
---|
| 824 | * @param enmCategory The target category for the result.
|
---|
| 825 | * @param pArg The argument to check and promote.
|
---|
| 826 | */
|
---|
| 827 | static int dbgcCheckAndTypePromoteArgument(PDBGC pDbgc, DBGCVARCAT enmCategory, PDBGCVAR pArg)
|
---|
| 828 | {
|
---|
| 829 | switch (enmCategory)
|
---|
| 830 | {
|
---|
| 831 | /*
|
---|
| 832 | * Anything goes
|
---|
| 833 | */
|
---|
| 834 | case DBGCVAR_CAT_ANY:
|
---|
| 835 | return VINF_SUCCESS;
|
---|
| 836 |
|
---|
| 837 | /*
|
---|
| 838 | * Pointer with and without range.
|
---|
| 839 | * We can try resolve strings and symbols as symbols and promote
|
---|
| 840 | * numbers to flat GC pointers.
|
---|
| 841 | */
|
---|
| 842 | case DBGCVAR_CAT_POINTER_NO_RANGE:
|
---|
| 843 | case DBGCVAR_CAT_POINTER_NUMBER_NO_RANGE:
|
---|
| 844 | if (pArg->enmRangeType != DBGCVAR_RANGE_NONE)
|
---|
| 845 | return VERR_DBGC_PARSE_NO_RANGE_ALLOWED;
|
---|
[69046] | 846 | RT_FALL_THRU();
|
---|
[41558] | 847 | case DBGCVAR_CAT_POINTER:
|
---|
| 848 | case DBGCVAR_CAT_POINTER_NUMBER:
|
---|
| 849 | switch (pArg->enmType)
|
---|
| 850 | {
|
---|
| 851 | case DBGCVAR_TYPE_GC_FLAT:
|
---|
| 852 | case DBGCVAR_TYPE_GC_FAR:
|
---|
| 853 | case DBGCVAR_TYPE_GC_PHYS:
|
---|
| 854 | case DBGCVAR_TYPE_HC_FLAT:
|
---|
| 855 | case DBGCVAR_TYPE_HC_PHYS:
|
---|
| 856 | return VINF_SUCCESS;
|
---|
| 857 |
|
---|
| 858 | case DBGCVAR_TYPE_SYMBOL:
|
---|
| 859 | case DBGCVAR_TYPE_STRING:
|
---|
| 860 | {
|
---|
| 861 | DBGCVAR Var;
|
---|
| 862 | int rc = dbgcSymbolGet(pDbgc, pArg->u.pszString, DBGCVAR_TYPE_GC_FLAT, &Var);
|
---|
| 863 | if (RT_SUCCESS(rc))
|
---|
| 864 | {
|
---|
| 865 | /* deal with range */
|
---|
| 866 | if (pArg->enmRangeType != DBGCVAR_RANGE_NONE)
|
---|
| 867 | {
|
---|
| 868 | Var.enmRangeType = pArg->enmRangeType;
|
---|
| 869 | Var.u64Range = pArg->u64Range;
|
---|
| 870 | }
|
---|
| 871 | else if (enmCategory == DBGCVAR_CAT_POINTER_NO_RANGE)
|
---|
| 872 | Var.enmRangeType = DBGCVAR_RANGE_NONE;
|
---|
| 873 | *pArg = Var;
|
---|
| 874 | }
|
---|
| 875 | return rc;
|
---|
| 876 | }
|
---|
| 877 |
|
---|
| 878 | case DBGCVAR_TYPE_NUMBER:
|
---|
| 879 | if ( enmCategory != DBGCVAR_CAT_POINTER_NUMBER
|
---|
| 880 | && enmCategory != DBGCVAR_CAT_POINTER_NUMBER_NO_RANGE)
|
---|
| 881 | {
|
---|
| 882 | RTGCPTR GCPtr = (RTGCPTR)pArg->u.u64Number;
|
---|
| 883 | pArg->enmType = DBGCVAR_TYPE_GC_FLAT;
|
---|
| 884 | pArg->u.GCFlat = GCPtr;
|
---|
| 885 | }
|
---|
| 886 | return VINF_SUCCESS;
|
---|
| 887 |
|
---|
| 888 | default:
|
---|
[56986] | 889 | AssertMsgFailedReturn(("Invalid type %d\n", pArg->enmType), VERR_DBGC_PARSE_INCORRECT_ARG_TYPE);
|
---|
[41558] | 890 | }
|
---|
| 891 | break; /* (not reached) */
|
---|
| 892 |
|
---|
| 893 | /*
|
---|
| 894 | * GC pointer with and without range.
|
---|
| 895 | * We can try resolve strings and symbols as symbols and
|
---|
| 896 | * promote numbers to flat GC pointers.
|
---|
| 897 | */
|
---|
| 898 | case DBGCVAR_CAT_GC_POINTER_NO_RANGE:
|
---|
| 899 | if (pArg->enmRangeType != DBGCVAR_RANGE_NONE)
|
---|
| 900 | return VERR_DBGC_PARSE_NO_RANGE_ALLOWED;
|
---|
[69046] | 901 | RT_FALL_THRU();
|
---|
[41558] | 902 | case DBGCVAR_CAT_GC_POINTER:
|
---|
| 903 | switch (pArg->enmType)
|
---|
| 904 | {
|
---|
| 905 | case DBGCVAR_TYPE_GC_FLAT:
|
---|
| 906 | case DBGCVAR_TYPE_GC_FAR:
|
---|
| 907 | case DBGCVAR_TYPE_GC_PHYS:
|
---|
| 908 | return VINF_SUCCESS;
|
---|
| 909 |
|
---|
| 910 | case DBGCVAR_TYPE_HC_FLAT:
|
---|
| 911 | case DBGCVAR_TYPE_HC_PHYS:
|
---|
| 912 | return VERR_DBGC_PARSE_CONVERSION_FAILED;
|
---|
| 913 |
|
---|
| 914 | case DBGCVAR_TYPE_SYMBOL:
|
---|
| 915 | case DBGCVAR_TYPE_STRING:
|
---|
| 916 | {
|
---|
| 917 | DBGCVAR Var;
|
---|
| 918 | int rc = dbgcSymbolGet(pDbgc, pArg->u.pszString, DBGCVAR_TYPE_GC_FLAT, &Var);
|
---|
| 919 | if (RT_SUCCESS(rc))
|
---|
| 920 | {
|
---|
| 921 | /* deal with range */
|
---|
| 922 | if (pArg->enmRangeType != DBGCVAR_RANGE_NONE)
|
---|
| 923 | {
|
---|
| 924 | Var.enmRangeType = pArg->enmRangeType;
|
---|
| 925 | Var.u64Range = pArg->u64Range;
|
---|
| 926 | }
|
---|
| 927 | else if (enmCategory == DBGCVAR_CAT_POINTER_NO_RANGE)
|
---|
| 928 | Var.enmRangeType = DBGCVAR_RANGE_NONE;
|
---|
| 929 | *pArg = Var;
|
---|
| 930 | }
|
---|
| 931 | return rc;
|
---|
| 932 | }
|
---|
| 933 |
|
---|
| 934 | case DBGCVAR_TYPE_NUMBER:
|
---|
| 935 | {
|
---|
| 936 | RTGCPTR GCPtr = (RTGCPTR)pArg->u.u64Number;
|
---|
| 937 | pArg->enmType = DBGCVAR_TYPE_GC_FLAT;
|
---|
| 938 | pArg->u.GCFlat = GCPtr;
|
---|
| 939 | return VINF_SUCCESS;
|
---|
| 940 | }
|
---|
| 941 |
|
---|
| 942 | default:
|
---|
[56986] | 943 | AssertMsgFailedReturn(("Invalid type %d\n", pArg->enmType), VERR_DBGC_PARSE_INCORRECT_ARG_TYPE);
|
---|
[41558] | 944 | }
|
---|
| 945 | break; /* (not reached) */
|
---|
| 946 |
|
---|
| 947 | /*
|
---|
| 948 | * Number with or without a range.
|
---|
| 949 | * Numbers can be resolved from symbols, but we cannot demote a pointer
|
---|
| 950 | * to a number.
|
---|
| 951 | */
|
---|
| 952 | case DBGCVAR_CAT_NUMBER_NO_RANGE:
|
---|
| 953 | if (pArg->enmRangeType != DBGCVAR_RANGE_NONE)
|
---|
| 954 | return VERR_DBGC_PARSE_NO_RANGE_ALLOWED;
|
---|
[69046] | 955 | RT_FALL_THRU();
|
---|
[41558] | 956 | case DBGCVAR_CAT_NUMBER:
|
---|
| 957 | switch (pArg->enmType)
|
---|
| 958 | {
|
---|
| 959 | case DBGCVAR_TYPE_GC_FLAT:
|
---|
| 960 | case DBGCVAR_TYPE_GC_FAR:
|
---|
| 961 | case DBGCVAR_TYPE_GC_PHYS:
|
---|
| 962 | case DBGCVAR_TYPE_HC_FLAT:
|
---|
| 963 | case DBGCVAR_TYPE_HC_PHYS:
|
---|
| 964 | return VERR_DBGC_PARSE_INCORRECT_ARG_TYPE;
|
---|
| 965 |
|
---|
| 966 | case DBGCVAR_TYPE_NUMBER:
|
---|
| 967 | return VINF_SUCCESS;
|
---|
| 968 |
|
---|
| 969 | case DBGCVAR_TYPE_SYMBOL:
|
---|
| 970 | case DBGCVAR_TYPE_STRING:
|
---|
| 971 | {
|
---|
| 972 | DBGCVAR Var;
|
---|
| 973 | int rc = dbgcSymbolGet(pDbgc, pArg->u.pszString, DBGCVAR_TYPE_NUMBER, &Var);
|
---|
| 974 | if (RT_SUCCESS(rc))
|
---|
| 975 | {
|
---|
| 976 | /* deal with range */
|
---|
| 977 | if (pArg->enmRangeType != DBGCVAR_RANGE_NONE)
|
---|
| 978 | {
|
---|
| 979 | Var.enmRangeType = pArg->enmRangeType;
|
---|
| 980 | Var.u64Range = pArg->u64Range;
|
---|
| 981 | }
|
---|
| 982 | else if (enmCategory == DBGCVAR_CAT_POINTER_NO_RANGE)
|
---|
| 983 | Var.enmRangeType = DBGCVAR_RANGE_NONE;
|
---|
| 984 | *pArg = Var;
|
---|
| 985 | }
|
---|
| 986 | return rc;
|
---|
| 987 | }
|
---|
| 988 |
|
---|
| 989 | default:
|
---|
[56986] | 990 | AssertMsgFailedReturn(("Invalid type %d\n", pArg->enmType), VERR_DBGC_PARSE_INCORRECT_ARG_TYPE);
|
---|
[41558] | 991 | }
|
---|
| 992 | break; /* (not reached) */
|
---|
| 993 |
|
---|
| 994 | /*
|
---|
| 995 | * Symbols and strings are basically the same thing for the time being.
|
---|
| 996 | */
|
---|
| 997 | case DBGCVAR_CAT_STRING:
|
---|
| 998 | case DBGCVAR_CAT_SYMBOL:
|
---|
| 999 | {
|
---|
| 1000 | switch (pArg->enmType)
|
---|
| 1001 | {
|
---|
| 1002 | case DBGCVAR_TYPE_STRING:
|
---|
| 1003 | if (enmCategory == DBGCVAR_CAT_SYMBOL)
|
---|
| 1004 | pArg->enmType = DBGCVAR_TYPE_SYMBOL;
|
---|
| 1005 | return VINF_SUCCESS;
|
---|
| 1006 |
|
---|
| 1007 | case DBGCVAR_TYPE_SYMBOL:
|
---|
| 1008 | if (enmCategory == DBGCVAR_CAT_STRING)
|
---|
| 1009 | pArg->enmType = DBGCVAR_TYPE_STRING;
|
---|
| 1010 | return VINF_SUCCESS;
|
---|
| 1011 | default:
|
---|
| 1012 | break;
|
---|
| 1013 | }
|
---|
| 1014 |
|
---|
[41780] | 1015 | /* Stringify numeric and pointer values. */
|
---|
[41558] | 1016 | size_t cbScratch = sizeof(pDbgc->achScratch) - (pDbgc->pszScratch - &pDbgc->achScratch[0]);
|
---|
| 1017 | size_t cch = pDbgc->CmdHlp.pfnStrPrintf(&pDbgc->CmdHlp, pDbgc->pszScratch, cbScratch, "%Dv", pArg);
|
---|
| 1018 | if (cch + 1 >= cbScratch)
|
---|
| 1019 | return VERR_DBGC_PARSE_NO_SCRATCH;
|
---|
| 1020 |
|
---|
| 1021 | pArg->enmType = enmCategory == DBGCVAR_CAT_STRING ? DBGCVAR_TYPE_STRING : DBGCVAR_TYPE_SYMBOL;
|
---|
| 1022 | pArg->u.pszString = pDbgc->pszScratch;
|
---|
| 1023 | pArg->enmRangeType = DBGCVAR_RANGE_BYTES;
|
---|
| 1024 | pArg->u64Range = cch;
|
---|
| 1025 |
|
---|
| 1026 | pDbgc->pszScratch += cch + 1;
|
---|
| 1027 | return VINF_SUCCESS;
|
---|
| 1028 | }
|
---|
| 1029 |
|
---|
| 1030 | /*
|
---|
| 1031 | * These are not yet implemented.
|
---|
| 1032 | */
|
---|
| 1033 | case DBGCVAR_CAT_OPTION:
|
---|
| 1034 | case DBGCVAR_CAT_OPTION_STRING:
|
---|
| 1035 | case DBGCVAR_CAT_OPTION_NUMBER:
|
---|
| 1036 | AssertMsgFailedReturn(("Not implemented enmCategory=%d\n", enmCategory), VERR_DBGC_PARSE_NOT_IMPLEMENTED);
|
---|
| 1037 |
|
---|
| 1038 | default:
|
---|
| 1039 | AssertMsgFailedReturn(("Bad enmCategory=%d\n", enmCategory), VERR_DBGC_PARSE_NOT_IMPLEMENTED);
|
---|
| 1040 | }
|
---|
| 1041 | }
|
---|
| 1042 |
|
---|
| 1043 |
|
---|
| 1044 | /**
|
---|
[31510] | 1045 | * Parses the arguments of one command.
|
---|
| 1046 | *
|
---|
[35632] | 1047 | * @returns VBox statuc code. On parser errors the index of the troublesome
|
---|
| 1048 | * argument is indicated by *pcArg.
|
---|
| 1049 | *
|
---|
[41561] | 1050 | * @param pDbgc Debugger console instance data.
|
---|
| 1051 | * @param pszCmdOrFunc The name of the function or command. (For logging.)
|
---|
| 1052 | * @param cArgsMin See DBGCCMD::cArgsMin and DBGCFUNC::cArgsMin.
|
---|
| 1053 | * @param cArgsMax See DBGCCMD::cArgsMax and DBGCFUNC::cArgsMax.
|
---|
| 1054 | * @param paVarDescs See DBGCCMD::paVarDescs and DBGCFUNC::paVarDescs.
|
---|
| 1055 | * @param cVarDescs See DBGCCMD::cVarDescs and DBGCFUNC::cVarDescs.
|
---|
[65118] | 1056 | * @param pszArgs Pointer to the arguments to parse.
|
---|
[41561] | 1057 | * @param piArg Where to return the index of the first argument in
|
---|
| 1058 | * DBGC::aArgs. Always set. Caller must restore DBGC::iArg
|
---|
| 1059 | * to this value when done, even on failure.
|
---|
| 1060 | * @param pcArgs Where to store the number of arguments. In the event
|
---|
| 1061 | * of an error this is (ab)used to store the index of the
|
---|
| 1062 | * offending argument.
|
---|
[31510] | 1063 | */
|
---|
[41561] | 1064 | static int dbgcProcessArguments(PDBGC pDbgc, const char *pszCmdOrFunc,
|
---|
| 1065 | uint32_t const cArgsMin, uint32_t const cArgsMax,
|
---|
| 1066 | PCDBGCVARDESC const paVarDescs, uint32_t const cVarDescs,
|
---|
| 1067 | char *pszArgs, unsigned *piArg, unsigned *pcArgs)
|
---|
[31510] | 1068 | {
|
---|
[62838] | 1069 | RT_NOREF1(pszCmdOrFunc);
|
---|
[41561] | 1070 | Log2(("dbgcProcessArguments: pszCmdOrFunc=%s pszArgs='%s'\n", pszCmdOrFunc, pszArgs));
|
---|
[35632] | 1071 |
|
---|
[31510] | 1072 | /*
|
---|
| 1073 | * Check if we have any argument and if the command takes any.
|
---|
| 1074 | */
|
---|
[41561] | 1075 | *piArg = pDbgc->iArg;
|
---|
[31510] | 1076 | *pcArgs = 0;
|
---|
| 1077 | /* strip leading blanks. */
|
---|
| 1078 | while (*pszArgs && RT_C_IS_BLANK(*pszArgs))
|
---|
| 1079 | pszArgs++;
|
---|
| 1080 | if (!*pszArgs)
|
---|
| 1081 | {
|
---|
[41561] | 1082 | if (!cArgsMin)
|
---|
[35632] | 1083 | return VINF_SUCCESS;
|
---|
[41553] | 1084 | return VERR_DBGC_PARSE_TOO_FEW_ARGUMENTS;
|
---|
[31510] | 1085 | }
|
---|
[41561] | 1086 | if (!cArgsMax)
|
---|
[41553] | 1087 | return VERR_DBGC_PARSE_TOO_MANY_ARGUMENTS;
|
---|
[31510] | 1088 |
|
---|
| 1089 | /*
|
---|
| 1090 | * The parse loop.
|
---|
| 1091 | */
|
---|
[41561] | 1092 | PDBGCVAR pArg = &pDbgc->aArgs[pDbgc->iArg];
|
---|
[41546] | 1093 | unsigned cCurDesc = 0;
|
---|
| 1094 | unsigned iVarDesc = 0;
|
---|
[31510] | 1095 | *pcArgs = 0;
|
---|
| 1096 | do
|
---|
| 1097 | {
|
---|
| 1098 | /*
|
---|
| 1099 | * Can we have another argument?
|
---|
| 1100 | */
|
---|
[41561] | 1101 | if (*pcArgs >= cArgsMax)
|
---|
[41553] | 1102 | return VERR_DBGC_PARSE_TOO_MANY_ARGUMENTS;
|
---|
[41561] | 1103 | if (pDbgc->iArg >= RT_ELEMENTS(pDbgc->aArgs))
|
---|
[41553] | 1104 | return VERR_DBGC_PARSE_ARGUMENT_OVERFLOW;
|
---|
[41546] | 1105 | if (iVarDesc >= cVarDescs)
|
---|
[41553] | 1106 | return VERR_DBGC_PARSE_TOO_MANY_ARGUMENTS;
|
---|
[31510] | 1107 |
|
---|
[41546] | 1108 | /* Walk argument descriptors. */
|
---|
[41558] | 1109 | if (cCurDesc >= paVarDescs[iVarDesc].cTimesMax)
|
---|
[41546] | 1110 | {
|
---|
| 1111 | iVarDesc++;
|
---|
| 1112 | if (iVarDesc >= cVarDescs)
|
---|
[41553] | 1113 | return VERR_DBGC_PARSE_TOO_MANY_ARGUMENTS;
|
---|
[41546] | 1114 | cCurDesc = 0;
|
---|
| 1115 | }
|
---|
| 1116 |
|
---|
[31510] | 1117 | /*
|
---|
[41559] | 1118 | * Find the end of the argument. This is just rough splitting,
|
---|
| 1119 | * dbgcEvalSub will do stricter syntax checking later on.
|
---|
[31510] | 1120 | */
|
---|
| 1121 | int cPar = 0;
|
---|
| 1122 | char chQuote = '\0';
|
---|
| 1123 | char *pszEnd = NULL;
|
---|
| 1124 | char *psz = pszArgs;
|
---|
| 1125 | char ch;
|
---|
| 1126 | bool fBinary = false;
|
---|
| 1127 | for (;;)
|
---|
| 1128 | {
|
---|
| 1129 | /*
|
---|
| 1130 | * Check for the end.
|
---|
| 1131 | */
|
---|
| 1132 | if ((ch = *psz) == '\0')
|
---|
| 1133 | {
|
---|
| 1134 | if (chQuote)
|
---|
[41553] | 1135 | return VERR_DBGC_PARSE_UNBALANCED_QUOTE;
|
---|
[31510] | 1136 | if (cPar)
|
---|
[41553] | 1137 | return VERR_DBGC_PARSE_UNBALANCED_PARENTHESIS;
|
---|
[31510] | 1138 | pszEnd = psz;
|
---|
| 1139 | break;
|
---|
| 1140 | }
|
---|
| 1141 | /*
|
---|
| 1142 | * When quoted we ignore everything but the quotation char.
|
---|
[33540] | 1143 | * We use the REXX way of escaping the quotation char, i.e. double occurrence.
|
---|
[31510] | 1144 | */
|
---|
[41559] | 1145 | else if (chQuote)
|
---|
[31510] | 1146 | {
|
---|
[41559] | 1147 | if (ch == chQuote)
|
---|
[31510] | 1148 | {
|
---|
[41559] | 1149 | if (psz[1] == chQuote)
|
---|
| 1150 | psz++; /* skip the escaped quote char */
|
---|
| 1151 | else
|
---|
[31510] | 1152 | {
|
---|
[41559] | 1153 | chQuote = '\0'; /* end of quoted string. */
|
---|
| 1154 | fBinary = true;
|
---|
[31510] | 1155 | }
|
---|
| 1156 | }
|
---|
| 1157 | }
|
---|
[41559] | 1158 | else if (ch == '\'' || ch == '"')
|
---|
| 1159 | {
|
---|
| 1160 | if (fBinary)
|
---|
| 1161 | return VERR_DBGC_PARSE_EXPECTED_BINARY_OP;
|
---|
| 1162 | chQuote = ch;
|
---|
| 1163 | }
|
---|
[31510] | 1164 | /*
|
---|
| 1165 | * Parenthesis can of course be nested.
|
---|
| 1166 | */
|
---|
[41559] | 1167 | else if (ch == '(')
|
---|
[31510] | 1168 | {
|
---|
| 1169 | cPar++;
|
---|
| 1170 | fBinary = false;
|
---|
| 1171 | }
|
---|
[41559] | 1172 | else if (ch == ')')
|
---|
[31510] | 1173 | {
|
---|
| 1174 | if (!cPar)
|
---|
[41553] | 1175 | return VERR_DBGC_PARSE_UNBALANCED_PARENTHESIS;
|
---|
[31510] | 1176 | cPar--;
|
---|
| 1177 | fBinary = true;
|
---|
| 1178 | }
|
---|
[41559] | 1179 | else if (!cPar)
|
---|
[31510] | 1180 | {
|
---|
| 1181 | /*
|
---|
[41559] | 1182 | * Encountering a comma is a definite end of parameter.
|
---|
[31510] | 1183 | */
|
---|
[41559] | 1184 | if (ch == ',')
|
---|
[31510] | 1185 | {
|
---|
[41559] | 1186 | pszEnd = psz++;
|
---|
| 1187 | break;
|
---|
| 1188 | }
|
---|
| 1189 |
|
---|
| 1190 | /*
|
---|
| 1191 | * Encountering blanks may mean the end of it all. A binary
|
---|
| 1192 | * operator will force continued parsing.
|
---|
| 1193 | */
|
---|
| 1194 | if (RT_C_IS_BLANK(ch))
|
---|
| 1195 | {
|
---|
| 1196 | pszEnd = psz++; /* in case it's the end. */
|
---|
[31510] | 1197 | while (RT_C_IS_BLANK(*psz))
|
---|
| 1198 | psz++;
|
---|
[41559] | 1199 |
|
---|
| 1200 | if (*psz == ',')
|
---|
| 1201 | {
|
---|
| 1202 | psz++;
|
---|
| 1203 | break;
|
---|
| 1204 | }
|
---|
| 1205 |
|
---|
[31510] | 1206 | PCDBGCOP pOp = dbgcOperatorLookup(pDbgc, psz, fBinary, ' ');
|
---|
| 1207 | if (!pOp || pOp->fBinary != fBinary)
|
---|
| 1208 | break; /* the end. */
|
---|
[41559] | 1209 |
|
---|
[31510] | 1210 | psz += pOp->cchName;
|
---|
| 1211 | while (RT_C_IS_BLANK(*psz)) /* skip blanks so we don't get here again */
|
---|
| 1212 | psz++;
|
---|
| 1213 | fBinary = false;
|
---|
| 1214 | continue;
|
---|
| 1215 | }
|
---|
| 1216 |
|
---|
| 1217 | /*
|
---|
| 1218 | * Look for operators without a space up front.
|
---|
| 1219 | */
|
---|
[41559] | 1220 | if (dbgcIsOpChar(ch))
|
---|
[31510] | 1221 | {
|
---|
| 1222 | PCDBGCOP pOp = dbgcOperatorLookup(pDbgc, psz, fBinary, ' ');
|
---|
| 1223 | if (pOp)
|
---|
| 1224 | {
|
---|
| 1225 | if (pOp->fBinary != fBinary)
|
---|
| 1226 | {
|
---|
| 1227 | pszEnd = psz;
|
---|
| 1228 | /** @todo this is a parsing error really. */
|
---|
| 1229 | break; /* the end. */
|
---|
| 1230 | }
|
---|
| 1231 | psz += pOp->cchName;
|
---|
| 1232 | while (RT_C_IS_BLANK(*psz)) /* skip blanks so we don't get here again */
|
---|
| 1233 | psz++;
|
---|
| 1234 | fBinary = false;
|
---|
| 1235 | continue;
|
---|
| 1236 | }
|
---|
| 1237 | }
|
---|
| 1238 | fBinary = true;
|
---|
| 1239 | }
|
---|
| 1240 |
|
---|
| 1241 | /* next char */
|
---|
| 1242 | psz++;
|
---|
| 1243 | }
|
---|
| 1244 | *pszEnd = '\0';
|
---|
| 1245 | /* (psz = next char to process) */
|
---|
[41546] | 1246 | size_t cchArgs = strlen(pszArgs);
|
---|
[31510] | 1247 |
|
---|
| 1248 | /*
|
---|
[41546] | 1249 | * Try optional arguments until we find something which matches
|
---|
| 1250 | * or can easily be promoted to what the descriptor want.
|
---|
| 1251 | */
|
---|
| 1252 | for (;;)
|
---|
| 1253 | {
|
---|
| 1254 | char *pszArgsCopy = (char *)RTMemDup(pszArgs, cchArgs + 1);
|
---|
| 1255 | if (!pszArgsCopy)
|
---|
[41558] | 1256 | return VERR_DBGC_PARSE_NO_MEMORY;
|
---|
[41546] | 1257 |
|
---|
[41558] | 1258 | int rc = dbgcEvalSub(pDbgc, pszArgs, cchArgs, paVarDescs[iVarDesc].enmCategory, pArg);
|
---|
[41546] | 1259 | if (RT_SUCCESS(rc))
|
---|
[41558] | 1260 | rc = dbgcCheckAndTypePromoteArgument(pDbgc, paVarDescs[iVarDesc].enmCategory, pArg);
|
---|
| 1261 | if (RT_SUCCESS(rc))
|
---|
[41546] | 1262 | {
|
---|
[103433] | 1263 | pArg->pDesc = &paVarDescs[iVarDesc];
|
---|
[41546] | 1264 | cCurDesc++;
|
---|
| 1265 | RTMemFree(pszArgsCopy);
|
---|
| 1266 | break;
|
---|
| 1267 | }
|
---|
| 1268 |
|
---|
| 1269 | memcpy(pszArgs, pszArgsCopy, cchArgs + 1);
|
---|
| 1270 | RTMemFree(pszArgsCopy);
|
---|
| 1271 |
|
---|
[41558] | 1272 | /* Continue searching optional descriptors? */
|
---|
| 1273 | if ( rc != VERR_DBGC_PARSE_INCORRECT_ARG_TYPE
|
---|
| 1274 | && rc != VERR_DBGC_PARSE_INVALID_NUMBER
|
---|
| 1275 | && rc != VERR_DBGC_PARSE_NO_RANGE_ALLOWED
|
---|
| 1276 | )
|
---|
| 1277 | return rc;
|
---|
| 1278 |
|
---|
| 1279 | /* Try advance to the next descriptor. */
|
---|
[41546] | 1280 | if (paVarDescs[iVarDesc].cTimesMin > cCurDesc)
|
---|
[41553] | 1281 | return rc;
|
---|
[41558] | 1282 | iVarDesc++;
|
---|
| 1283 | if (!cCurDesc)
|
---|
| 1284 | while ( iVarDesc < cVarDescs
|
---|
| 1285 | && (paVarDescs[iVarDesc].fFlags & DBGCVD_FLAGS_DEP_PREV))
|
---|
| 1286 | iVarDesc++;
|
---|
| 1287 | if (iVarDesc >= cVarDescs)
|
---|
[41553] | 1288 | return rc;
|
---|
[41546] | 1289 | cCurDesc = 0;
|
---|
| 1290 | }
|
---|
| 1291 |
|
---|
| 1292 | /*
|
---|
[41558] | 1293 | * Next argument.
|
---|
[31510] | 1294 | */
|
---|
| 1295 | pArg++;
|
---|
[41561] | 1296 | pDbgc->iArg++;
|
---|
| 1297 | *pcArgs += 1;
|
---|
[31510] | 1298 | pszArgs = psz;
|
---|
| 1299 | while (*pszArgs && RT_C_IS_BLANK(*pszArgs))
|
---|
| 1300 | pszArgs++;
|
---|
| 1301 | } while (*pszArgs);
|
---|
| 1302 |
|
---|
| 1303 | /*
|
---|
[41558] | 1304 | * Check that the rest of the argument descriptors indicate optional args.
|
---|
[31510] | 1305 | */
|
---|
[41558] | 1306 | if (iVarDesc < cVarDescs)
|
---|
| 1307 | {
|
---|
| 1308 | if (cCurDesc < paVarDescs[iVarDesc].cTimesMin)
|
---|
| 1309 | return VERR_DBGC_PARSE_TOO_FEW_ARGUMENTS;
|
---|
| 1310 | iVarDesc++;
|
---|
| 1311 | while (iVarDesc < cVarDescs)
|
---|
| 1312 | {
|
---|
| 1313 | if (paVarDescs[iVarDesc].cTimesMin)
|
---|
| 1314 | return VERR_DBGC_PARSE_TOO_FEW_ARGUMENTS;
|
---|
| 1315 | iVarDesc++;
|
---|
| 1316 | }
|
---|
| 1317 | }
|
---|
| 1318 |
|
---|
| 1319 | return VINF_SUCCESS;
|
---|
[31510] | 1320 | }
|
---|
| 1321 |
|
---|
| 1322 |
|
---|
| 1323 | /**
|
---|
[35628] | 1324 | * Evaluate one command.
|
---|
[31510] | 1325 | *
|
---|
[35632] | 1326 | * @returns VBox status code. This is also stored in DBGC::rcCmd.
|
---|
[35628] | 1327 | *
|
---|
[31510] | 1328 | * @param pDbgc Debugger console instance data.
|
---|
| 1329 | * @param pszCmd Pointer to the command.
|
---|
| 1330 | * @param cchCmd Length of the command.
|
---|
| 1331 | * @param fNoExecute Indicates that no commands should actually be executed.
|
---|
| 1332 | */
|
---|
[35628] | 1333 | int dbgcEvalCommand(PDBGC pDbgc, char *pszCmd, size_t cchCmd, bool fNoExecute)
|
---|
[31510] | 1334 | {
|
---|
[97728] | 1335 | Assert(RTStrNLen(pszCmd, cchCmd) == cchCmd);
|
---|
[31510] | 1336 | char *pszCmdInput = pszCmd;
|
---|
| 1337 |
|
---|
| 1338 | /*
|
---|
| 1339 | * Skip blanks.
|
---|
| 1340 | */
|
---|
| 1341 | while (RT_C_IS_BLANK(*pszCmd))
|
---|
| 1342 | pszCmd++, cchCmd--;
|
---|
| 1343 |
|
---|
| 1344 | /* external command? */
|
---|
[35632] | 1345 | bool const fExternal = *pszCmd == '.';
|
---|
[31510] | 1346 | if (fExternal)
|
---|
| 1347 | pszCmd++, cchCmd--;
|
---|
| 1348 |
|
---|
| 1349 | /*
|
---|
[97728] | 1350 | * Find the end of the command name.
|
---|
[31510] | 1351 | */
|
---|
[97728] | 1352 | size_t cchName = 0;
|
---|
| 1353 | while (cchName < cchCmd)
|
---|
[31510] | 1354 | {
|
---|
[97728] | 1355 | char const ch = pszCmd[cchName];
|
---|
| 1356 | if (RT_C_IS_ALNUM(ch) || ch == '_')
|
---|
| 1357 | cchName++;
|
---|
| 1358 | else if (RT_C_IS_SPACE(ch))
|
---|
| 1359 | break;
|
---|
| 1360 | else
|
---|
| 1361 | {
|
---|
| 1362 | DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "Syntax error: Invalid command '%s'!\n", pszCmdInput);
|
---|
| 1363 | return pDbgc->rcCmd = VERR_DBGC_PARSE_INVALD_COMMAND_NAME;
|
---|
| 1364 | }
|
---|
[31510] | 1365 | }
|
---|
| 1366 |
|
---|
| 1367 | /*
|
---|
| 1368 | * Find the command.
|
---|
| 1369 | */
|
---|
[97728] | 1370 | PCDBGCCMD pCmd = dbgcCommandLookup(pDbgc, pszCmd, cchName, fExternal);
|
---|
[35696] | 1371 | if (!pCmd)
|
---|
[31510] | 1372 | {
|
---|
[35632] | 1373 | DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "Syntax error: Unknown command '%s'!\n", pszCmdInput);
|
---|
[41553] | 1374 | return pDbgc->rcCmd = VERR_DBGC_PARSE_COMMAND_NOT_FOUND;
|
---|
[31510] | 1375 | }
|
---|
| 1376 |
|
---|
| 1377 | /*
|
---|
| 1378 | * Parse arguments (if any).
|
---|
[97728] | 1379 | *
|
---|
| 1380 | * If the input isn't zero terminated, we have to make a copy because the
|
---|
| 1381 | * argument parser code is to crappy to deal with sub-strings at present.
|
---|
[31510] | 1382 | */
|
---|
[97728] | 1383 | size_t offArgs = cchName;
|
---|
| 1384 | while (offArgs < cchCmd && RT_C_IS_SPACE(pszCmd[offArgs]))
|
---|
| 1385 | offArgs++;
|
---|
| 1386 |
|
---|
| 1387 | char szEmpty[] = "";
|
---|
| 1388 | char *pszArgsFree = NULL;
|
---|
| 1389 | char *pszArgs = offArgs < cchCmd ? &pszCmd[offArgs] : szEmpty;
|
---|
| 1390 | if (pszArgs[cchCmd - offArgs] != '\0')
|
---|
| 1391 | {
|
---|
| 1392 | /** @todo rewrite the code so it doesn't require modifiable input! */
|
---|
| 1393 | pszArgsFree = pszArgs = (char *)RTMemDupEx(pszArgs, cchCmd - offArgs, 1);
|
---|
| 1394 | AssertReturn(pszArgs, VERR_NO_MEMORY);
|
---|
| 1395 | }
|
---|
| 1396 |
|
---|
[41561] | 1397 | unsigned iArg;
|
---|
[31510] | 1398 | unsigned cArgs;
|
---|
[41561] | 1399 | int rc = dbgcProcessArguments(pDbgc, pCmd->pszCmd,
|
---|
| 1400 | pCmd->cArgsMin, pCmd->cArgsMax, pCmd->paArgDescs, pCmd->cArgDescs,
|
---|
| 1401 | pszArgs, &iArg, &cArgs);
|
---|
[35632] | 1402 | if (RT_SUCCESS(rc))
|
---|
| 1403 | {
|
---|
| 1404 | AssertMsg(rc == VINF_SUCCESS, ("%Rrc\n", rc));
|
---|
[31510] | 1405 |
|
---|
[35632] | 1406 | /*
|
---|
| 1407 | * Execute the command.
|
---|
| 1408 | */
|
---|
[31510] | 1409 | if (!fNoExecute)
|
---|
[44399] | 1410 | rc = pCmd->pfnHandler(pCmd, &pDbgc->CmdHlp, pDbgc->pUVM, &pDbgc->aArgs[iArg], cArgs);
|
---|
[31510] | 1411 | pDbgc->rcCmd = rc;
|
---|
[41561] | 1412 | pDbgc->iArg = iArg;
|
---|
[31510] | 1413 | if (rc == VERR_DBGC_COMMAND_FAILED)
|
---|
| 1414 | rc = VINF_SUCCESS;
|
---|
| 1415 | }
|
---|
| 1416 | else
|
---|
| 1417 | {
|
---|
| 1418 | pDbgc->rcCmd = rc;
|
---|
[41561] | 1419 | pDbgc->iArg = iArg;
|
---|
[31510] | 1420 |
|
---|
| 1421 | /* report parse / eval error. */
|
---|
| 1422 | switch (rc)
|
---|
| 1423 | {
|
---|
[41553] | 1424 | case VERR_DBGC_PARSE_TOO_FEW_ARGUMENTS:
|
---|
[35632] | 1425 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1426 | "Syntax error: Too few arguments. Minimum is %d for command '%s'.\n", pCmd->cArgsMin, pCmd->pszCmd);
|
---|
| 1427 | break;
|
---|
[41553] | 1428 | case VERR_DBGC_PARSE_TOO_MANY_ARGUMENTS:
|
---|
[35632] | 1429 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1430 | "Syntax error: Too many arguments. Maximum is %d for command '%s'.\n", pCmd->cArgsMax, pCmd->pszCmd);
|
---|
| 1431 | break;
|
---|
[41553] | 1432 | case VERR_DBGC_PARSE_ARGUMENT_OVERFLOW:
|
---|
[35632] | 1433 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1434 | "Syntax error: Too many arguments.\n");
|
---|
| 1435 | break;
|
---|
[41553] | 1436 | case VERR_DBGC_PARSE_UNBALANCED_QUOTE:
|
---|
[35632] | 1437 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1438 | "Syntax error: Unbalanced quote (argument %d).\n", cArgs);
|
---|
| 1439 | break;
|
---|
[41553] | 1440 | case VERR_DBGC_PARSE_UNBALANCED_PARENTHESIS:
|
---|
[35632] | 1441 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1442 | "Syntax error: Unbalanced parenthesis (argument %d).\n", cArgs);
|
---|
| 1443 | break;
|
---|
[41553] | 1444 | case VERR_DBGC_PARSE_EMPTY_ARGUMENT:
|
---|
[35632] | 1445 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1446 | "Syntax error: An argument or subargument contains nothing useful (argument %d).\n", cArgs);
|
---|
| 1447 | break;
|
---|
[41553] | 1448 | case VERR_DBGC_PARSE_UNEXPECTED_OPERATOR:
|
---|
[35632] | 1449 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1450 | "Syntax error: Invalid operator usage (argument %d).\n", cArgs);
|
---|
| 1451 | break;
|
---|
[41553] | 1452 | case VERR_DBGC_PARSE_INVALID_NUMBER:
|
---|
[35632] | 1453 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[41553] | 1454 | "Syntax error: Invalid numeric value (argument %d). If a string was the intention, then quote it.\n", cArgs);
|
---|
[31510] | 1455 | break;
|
---|
[41553] | 1456 | case VERR_DBGC_PARSE_NUMBER_TOO_BIG:
|
---|
[35632] | 1457 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1458 | "Error: Numeric overflow (argument %d).\n", cArgs);
|
---|
| 1459 | break;
|
---|
[41553] | 1460 | case VERR_DBGC_PARSE_INVALID_OPERATION:
|
---|
[35632] | 1461 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1462 | "Error: Invalid operation attempted (argument %d).\n", cArgs);
|
---|
| 1463 | break;
|
---|
[41553] | 1464 | case VERR_DBGC_PARSE_FUNCTION_NOT_FOUND:
|
---|
[35632] | 1465 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1466 | "Error: Function not found (argument %d).\n", cArgs);
|
---|
| 1467 | break;
|
---|
[41553] | 1468 | case VERR_DBGC_PARSE_NOT_A_FUNCTION:
|
---|
[35632] | 1469 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1470 | "Error: The function specified is not a function (argument %d).\n", cArgs);
|
---|
| 1471 | break;
|
---|
[41553] | 1472 | case VERR_DBGC_PARSE_NO_MEMORY:
|
---|
[35632] | 1473 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[57006] | 1474 | "Error: Out memory in the regular heap! Expect odd stuff to happen...\n");
|
---|
[31510] | 1475 | break;
|
---|
[41553] | 1476 | case VERR_DBGC_PARSE_INCORRECT_ARG_TYPE:
|
---|
[35632] | 1477 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1478 | "Error: Incorrect argument type (argument %d?).\n", cArgs);
|
---|
| 1479 | break;
|
---|
[41553] | 1480 | case VERR_DBGC_PARSE_VARIABLE_NOT_FOUND:
|
---|
[35632] | 1481 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1482 | "Error: An undefined variable was referenced (argument %d).\n", cArgs);
|
---|
| 1483 | break;
|
---|
[41553] | 1484 | case VERR_DBGC_PARSE_CONVERSION_FAILED:
|
---|
[35632] | 1485 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1486 | "Error: A conversion between two types failed (argument %d).\n", cArgs);
|
---|
| 1487 | break;
|
---|
[41553] | 1488 | case VERR_DBGC_PARSE_NOT_IMPLEMENTED:
|
---|
[35632] | 1489 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1490 | "Error: You hit a debugger feature which isn't implemented yet (argument %d).\n", cArgs);
|
---|
| 1491 | break;
|
---|
[41553] | 1492 | case VERR_DBGC_PARSE_BAD_RESULT_TYPE:
|
---|
[35632] | 1493 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1494 | "Error: Couldn't satisfy a request for a specific result type (argument %d). (Usually applies to symbols)\n", cArgs);
|
---|
| 1495 | break;
|
---|
[41553] | 1496 | case VERR_DBGC_PARSE_WRITEONLY_SYMBOL:
|
---|
[35632] | 1497 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp,
|
---|
[31510] | 1498 | "Error: Cannot get symbol, it's set only (argument %d).\n", cArgs);
|
---|
| 1499 | break;
|
---|
| 1500 |
|
---|
| 1501 | case VERR_DBGC_COMMAND_FAILED:
|
---|
| 1502 | break;
|
---|
| 1503 |
|
---|
| 1504 | default:
|
---|
[84054] | 1505 | if (RTErrIsKnown(rc))
|
---|
| 1506 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "Error: %Rra\n", rc);
|
---|
[41553] | 1507 | else
|
---|
| 1508 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "Error: Unknown error %d (%#x)!\n", rc, rc);
|
---|
[35632] | 1509 | break;
|
---|
[31510] | 1510 | }
|
---|
| 1511 | }
|
---|
[41561] | 1512 |
|
---|
[97728] | 1513 | RTMemFree(pszArgsFree);
|
---|
[31510] | 1514 | return rc;
|
---|
| 1515 | }
|
---|
| 1516 |
|
---|
[59229] | 1517 |
|
---|
| 1518 | /**
|
---|
[97728] | 1519 | * Evaluate one or commands separated by ';' or '\n'.
|
---|
| 1520 | *
|
---|
| 1521 | * @returns VBox status code. This is also stored in DBGC::rcCmd.
|
---|
| 1522 | *
|
---|
| 1523 | * @param pDbgc Debugger console instance data.
|
---|
[97753] | 1524 | * @param pszCmds Pointer to the command.
|
---|
| 1525 | * @param cchCmds Length of the command.
|
---|
[97728] | 1526 | * @param fNoExecute Indicates that no commands should actually be executed.
|
---|
| 1527 | */
|
---|
| 1528 | int dbgcEvalCommands(PDBGC pDbgc, char *pszCmds, size_t cchCmds, bool fNoExecute)
|
---|
| 1529 | {
|
---|
| 1530 | /*
|
---|
| 1531 | * Trim the input.
|
---|
| 1532 | */
|
---|
| 1533 | while (cchCmds > 0 && RT_C_IS_SPACE(pszCmds[cchCmds]))
|
---|
| 1534 | cchCmds--;
|
---|
| 1535 | while (cchCmds > 0 && RT_C_IS_SPACE(*pszCmds))
|
---|
| 1536 | cchCmds--, pszCmds++;
|
---|
| 1537 |
|
---|
| 1538 | /*
|
---|
| 1539 | * Split up the commands and pass them to dbgcEvalCommand.
|
---|
| 1540 | */
|
---|
| 1541 | int rcRet = VINF_SUCCESS;
|
---|
| 1542 | char chQuote = 0;
|
---|
| 1543 | size_t offStart = 0;
|
---|
| 1544 | size_t off = 0;
|
---|
| 1545 | while (off < cchCmds)
|
---|
| 1546 | {
|
---|
| 1547 | char const ch = pszCmds[off];
|
---|
| 1548 | if (ch == '"' || ch == '\'')
|
---|
| 1549 | chQuote = ch == chQuote ? 0 : chQuote == 0 ? ch : chQuote;
|
---|
| 1550 | else if (ch == ';' || ch == '\n')
|
---|
| 1551 | {
|
---|
| 1552 | /* Skip leading blanks and ignore empty commands. */
|
---|
| 1553 | while (offStart < off && RT_C_IS_SPACE(pszCmds[offStart]))
|
---|
| 1554 | offStart++;
|
---|
| 1555 | if (off > offStart)
|
---|
| 1556 | {
|
---|
| 1557 | int rc = dbgcEvalCommand(pDbgc, &pszCmds[offStart], off - offStart, fNoExecute);
|
---|
| 1558 | if (rcRet == VINF_SUCCESS || (RT_SUCCESS(rcRet) && RT_FAILURE(rc)))
|
---|
| 1559 | rcRet = rc;
|
---|
| 1560 | if ( rc == VERR_DBGC_QUIT
|
---|
| 1561 | || rc == VWRN_DBGC_CMD_PENDING)
|
---|
| 1562 | break;
|
---|
| 1563 | }
|
---|
| 1564 | offStart = ++off;
|
---|
| 1565 | continue;
|
---|
| 1566 | }
|
---|
| 1567 | off++;
|
---|
| 1568 | }
|
---|
| 1569 |
|
---|
| 1570 | /*
|
---|
| 1571 | * Pending command?
|
---|
| 1572 | *
|
---|
| 1573 | * No need to skip leading blanks here in order to check for empty
|
---|
| 1574 | * commands, since we've already trimmed off tailing blanks.)
|
---|
| 1575 | */
|
---|
| 1576 | if (off > offStart)
|
---|
| 1577 | {
|
---|
| 1578 | int rc = dbgcEvalCommand(pDbgc, &pszCmds[offStart], off - offStart, fNoExecute);
|
---|
| 1579 | if (rcRet == VINF_SUCCESS || (RT_SUCCESS(rcRet) && RT_FAILURE(rc)))
|
---|
| 1580 | rcRet = rc;
|
---|
| 1581 | }
|
---|
| 1582 |
|
---|
| 1583 | return rcRet;
|
---|
| 1584 | }
|
---|
| 1585 |
|
---|
| 1586 |
|
---|
| 1587 | /**
|
---|
[59229] | 1588 | * Loads the script in @a pszFilename and executes the commands within.
|
---|
| 1589 | *
|
---|
| 1590 | * @returns VBox status code. Will complain about error to console.
|
---|
| 1591 | * @param pDbgc Debugger console instance data.
|
---|
| 1592 | * @param pszFilename The path to the script file.
|
---|
| 1593 | * @param fAnnounce Whether to announce the script.
|
---|
| 1594 | */
|
---|
| 1595 | int dbgcEvalScript(PDBGC pDbgc, const char *pszFilename, bool fAnnounce)
|
---|
| 1596 | {
|
---|
| 1597 | FILE *pFile = fopen(pszFilename, "r");
|
---|
| 1598 | if (!pFile)
|
---|
| 1599 | return DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "Failed to open '%s'.\n", pszFilename);
|
---|
| 1600 | if (fAnnounce)
|
---|
| 1601 | DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "Running script '%s'...\n", pszFilename);
|
---|
| 1602 |
|
---|
| 1603 | /*
|
---|
| 1604 | * Execute it line by line.
|
---|
| 1605 | */
|
---|
| 1606 | int rc = VINF_SUCCESS;
|
---|
| 1607 | unsigned iLine = 0;
|
---|
| 1608 | char szLine[8192];
|
---|
| 1609 | while (fgets(szLine, sizeof(szLine), pFile))
|
---|
| 1610 | {
|
---|
| 1611 | /* check that the line isn't too long. */
|
---|
| 1612 | char *pszEnd = strchr(szLine, '\0');
|
---|
| 1613 | if (pszEnd == &szLine[sizeof(szLine) - 1])
|
---|
| 1614 | {
|
---|
| 1615 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "runscript error: Line #%u is too long\n", iLine);
|
---|
| 1616 | break;
|
---|
| 1617 | }
|
---|
| 1618 | iLine++;
|
---|
| 1619 |
|
---|
| 1620 | /* strip leading blanks and check for comment / blank line. */
|
---|
| 1621 | char *psz = RTStrStripL(szLine);
|
---|
| 1622 | if ( *psz == '\0'
|
---|
| 1623 | || *psz == '\n'
|
---|
| 1624 | || *psz == '#')
|
---|
| 1625 | continue;
|
---|
| 1626 |
|
---|
| 1627 | /* strip trailing blanks and check for empty line (\r case). */
|
---|
| 1628 | while ( pszEnd > psz
|
---|
| 1629 | && RT_C_IS_SPACE(pszEnd[-1])) /* RT_C_IS_SPACE includes \n and \r normally. */
|
---|
| 1630 | *--pszEnd = '\0';
|
---|
| 1631 |
|
---|
| 1632 | /** @todo check for Control-C / Cancel at this point... */
|
---|
| 1633 |
|
---|
| 1634 | /*
|
---|
| 1635 | * Execute the command.
|
---|
| 1636 | *
|
---|
| 1637 | * This is a bit wasteful with scratch space btw., can fix it later.
|
---|
| 1638 | * The whole return code crap should be fixed too, so that it's possible
|
---|
| 1639 | * to know whether a command succeeded (RT_SUCCESS()) or failed, and
|
---|
| 1640 | * more importantly why it failed.
|
---|
| 1641 | */
|
---|
| 1642 | /** @todo optimize this. */
|
---|
| 1643 | rc = pDbgc->CmdHlp.pfnExec(&pDbgc->CmdHlp, "%s", psz);
|
---|
| 1644 | if (RT_FAILURE(rc))
|
---|
| 1645 | {
|
---|
| 1646 | if (rc == VERR_BUFFER_OVERFLOW)
|
---|
| 1647 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "runscript error: Line #%u is too long (exec overflowed)\n", iLine);
|
---|
| 1648 | break;
|
---|
| 1649 | }
|
---|
| 1650 | if (rc == VWRN_DBGC_CMD_PENDING)
|
---|
| 1651 | {
|
---|
| 1652 | rc = DBGCCmdHlpPrintf(&pDbgc->CmdHlp, "runscript error: VWRN_DBGC_CMD_PENDING on line #%u, script terminated\n", iLine);
|
---|
| 1653 | break;
|
---|
| 1654 | }
|
---|
| 1655 | }
|
---|
| 1656 |
|
---|
| 1657 | fclose(pFile);
|
---|
| 1658 | return rc;
|
---|
| 1659 | }
|
---|
| 1660 |
|
---|