Lines Matching refs:symbol
98 private char symbol; // 0: eof; else valid term symbol or first char of
153 switch (symbol) {
274 while (symbol > 0) {
287 if (symbol == '<') {
290 while ((symbol != '>') && (symbol > 0)) {
311 if (symbol == 'L' || symbol == '[' || symbol == 'T') {
315 while (symbol == ':') {
358 switch (symbol) {
381 while (symbol == '/') {
411 while (symbol == '.') {
443 if (symbol == '<') {
447 while ((symbol != '>') && (symbol > 0)) {
459 if (symbol == '*') {
465 } else if (symbol == '+') {
471 } else if (symbol == '-') {
510 switch (symbol) {
549 while (symbol != ')' && (symbol > 0)) {
557 while (symbol == '^') {
562 if (symbol == 'T') {
572 if (symbol != 'V') {
588 symbol = buffer[pos];
591 symbol = 0;
600 if (symbol == c) {
619 // PRE: symbol is the first char of the identifier.
620 // POST: symbol = the next symbol AFTER the identifier.
624 if (!isStopSymbol(symbol)) {
625 identBuf.append(symbol);
639 symbol = 0;
643 symbol = 0;
