HomeSort by: relevance | last modified time | path
    Searched defs:bookmark (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl3/gdb.old/dist/gdb/
reverse.c 91 /* Data structures for a bookmark list. */
93 struct bookmark { struct
100 static std::vector<struct bookmark> all_bookmarks;
103 /* save_bookmark_command -- implement "bookmark" command.
104 Call target method to get a bookmark identifier.
105 Insert bookmark identifier into list.
113 /* Get target's idea of a bookmark. */
118 /* CR should not cause another identical bookmark. */
124 /* Set up a bookmark struct. */
125 bookmark &b = all_bookmarks.emplace_back ()
    [all...]
record-full.c 245 /* Add bookmark target methods. */
1885 const char *bookmark = (const char *) raw_bookmark; local
1889 "record_full_goto_bookmark receives %s\n", bookmark);
1892 if (bookmark[0] == '\'' || bookmark[0] == '\"')
1894 if (bookmark[strlen (bookmark) - 1] != bookmark[0])
1895 error (_("Unbalanced quotes: %s"), bookmark);
1897 name_holder = std::string (bookmark + 1, strlen (bookmark) - 2)
    [all...]
  /src/external/gpl3/gdb/dist/gdb/
reverse.c 91 /* Data structures for a bookmark list. */
93 struct bookmark { struct
100 static std::vector<struct bookmark> all_bookmarks;
103 /* save_bookmark_command -- implement "bookmark" command.
104 Call target method to get a bookmark identifier.
105 Insert bookmark identifier into list.
113 /* Get target's idea of a bookmark. */
118 /* CR should not cause another identical bookmark. */
124 /* Set up a bookmark struct. */
125 bookmark &b = all_bookmarks.emplace_back ()
    [all...]
record-full.c 245 /* Add bookmark target methods. */
1885 const char *bookmark = (const char *) raw_bookmark; local
1889 "record_full_goto_bookmark receives %s\n", bookmark);
1892 if (bookmark[0] == '\'' || bookmark[0] == '\"')
1894 if (bookmark[strlen (bookmark) - 1] != bookmark[0])
1895 error (_("Unbalanced quotes: %s"), bookmark);
1897 name_holder = std::string (bookmark + 1, strlen (bookmark) - 2)
    [all...]

Completed in 16 milliseconds