* @return boolean
   */
  public static boolean qualifiedStellaNameP(String name) {
    { TokenizerTable tok_table_ = Stella.$STELLA_TOKENIZER_TABLE$;
      String tok_transitions_ = tok_table_.transitions;
      edu.isi.stella.Stella_Object[] tok_statenames_ = tok_table_.stateNames.theArray;
      int tok_tokenstart_ = -1;
      boolean tok_endoftokensP_ = false;
      TokenizerStreamState tok_streamstate_ = null;
      char[] tok_buffer_ = name.toCharArray();
      int tok_state_ = 1;
      int tok_nextstate_ = tok_state_;
      int tok_cursor_ = 0;
      int tok_size_ = name.length();
      int tok_end_ = tok_size_;

      {
        tok_statenames_ = tok_statenames_;
        tok_endoftokensP_ = tok_endoftokensP_;
      }
      tok_streamstate_ = tok_streamstate_;
      { edu.isi.stella.Stella_Object[] tok_stellalogicalstatenames_ = Stella.$STELLA_LOGICAL_STATE_NAMES$.theArray;
        Keyword tok_stellalogicalstatename_ = null;

        {
          {
            tok_tokenstart_ = -1;
            loop000 : for (;;) {
              if (tok_cursor_ == tok_end_) {
                if (tok_nextstate_ == -1) {
                  tok_endoftokensP_ = true;
                }
                else if (BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper)((tok_table_.legalEofStates.theArray)[tok_state_])))) {
                  tok_nextstate_ = -1;
                  if (tok_tokenstart_ == -1) {
                    tok_endoftokensP_ = true;
                  }
                }
                else {
                  tok_state_ = 0;
                  tok_nextstate_ = -1;
                }
                break loop000;
              }
              tok_nextstate_ = (int) (tok_transitions_.charAt(((((tok_state_ << 8)) | ((int) (((char) (0x00ff & tok_buffer_[tok_cursor_]))))))));
              if ((tok_nextstate_ & 128) == 0) {
                tok_state_ = tok_nextstate_;
                tok_cursor_ = tok_cursor_ + 1;
              }
              else if (tok_tokenstart_ == -1) {
                if ((tok_nextstate_ & 64) == 0) {
                  tok_tokenstart_ = tok_cursor_;
                }
                tok_state_ = (tok_nextstate_ & 63);
                tok_cursor_ = tok_cursor_ + 1;
              }
              else {
                break loop000;
              }
            }
          }
          tok_stellalogicalstatename_ = ((Keyword)(tok_stellalogicalstatenames_[tok_state_]));
        }
        if (tok_endoftokensP_) {
          return (false);
        }
        { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(tok_statenames_[tok_state_]));

          if ((testValue000 == Stella.KWD_QUALIFIED_SYMBOL) ||
              ((testValue000 == Stella.KWD_QUALIFIED_FULLY_ESCAPED_SYMBOL) ||
               ((testValue000 == Stella.KWD_QUALIFIED_ESCAPED_SYMBOL) ||
                ((testValue000 == Stella.KWD_QUALIFIED_SURROGATE) ||
                 ((testValue000 == Stella.KWD_QUALIFIED_FULLY_ESCAPED_SURROGATE) ||
                  (testValue000 == Stella.KWD_QUALIFIED_ESCAPED_SURROGATE)))))) {
            return (true);
          }
          else if (testValue000 == Stella.KWD_QUALIFIED_NAME) {
            return (!Stella.stringEqlP(name, "/"));
          }
          else {
            return (false);
          }
        }
      }
    }
  }