parse_uuid_URI method

dynamic parse_uuid_URI()

Implementation

dynamic parse_uuid_URI() {
  var $$;
  switch (_ch >= 0 && _ch <= 1114111
      ? 0
      : _ch == -1
          ? 2
          : 1) {
    case 0:
      var ch0 = _ch, pos0 = _cursor, startPos0 = _startPos;
      _startPos = _cursor;
      while (true) {
        $$ = _matchString(_strings82, 'uuid:', false);
        if (!success) break;
        var seq = List<dynamic>.filled(2, null, growable: false)..[0] = $$;
        $$ = _parse_uuid();
        if (!success) break;
        seq[1] = $$;
        $$ = seq;
        break;
      }
      if (!success) {
        _ch = ch0;
        _cursor = pos0;
      }
      _startPos = startPos0;
      break;
    case 1:
    case 2:
      $$ = null;
      success = false;
      break;
  }
  if (!success && _cursor > _testing) {
    _failure(_expect130);
  }
  return $$;
}