Searched refs:LABEL_MARKER (Results 1 – 1 of 1) sorted by relevance
33 const char LABEL_MARKER = '\015'; // label_type is added on variable524 char lm = LABEL_MARKER + (int)lt; in do_file()664 || (*ptr >= LABEL_MARKER && *ptr < LABEL_MARKER + N_LABEL_TYPES)) in split_punct()874 if (c >= LABEL_MARKER in handle_pending()875 && c < LABEL_MARKER + N_LABEL_TYPES in handle_pending()876 && c - LABEL_MARKER == type) { in handle_pending()917 case LABEL_MARKER: in process()918 case LABEL_MARKER + 1: in process()921 type = label_type(c - LABEL_MARKER); in process()