~slub.team/goobi-indexserver/3.x

try { jj_input_stream = new SimpleCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }

492

token_source = new HTMLParserTokenManager(jj_input_stream);

493

token = new Token();

494

jj_ntk = -1;

495

jj_gen = 0;

496

for (int i = 0; i < 14; i++) jj_la1[i] = -1;

497

for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();

498

}

499

500

/** Reinitialise. */

501

public void ReInit(java.io.InputStream stream) {

502

ReInit(stream, null);

503

}

504

/** Reinitialise. */

505

public void ReInit(java.io.InputStream stream, String encoding) {

506

try { jj_input_stream.ReInit(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }

507

token_source.ReInit(jj_input_stream);

508

token = new Token();

509

jj_ntk = -1;

510

jj_gen = 0;

511

for (int i = 0; i < 14; i++) jj_la1[i] = -1;

512

for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();

513

}

514

515

/** Constructor. */

516

public HTMLParser(java.io.Reader stream) {

517

jj_input_stream = new SimpleCharStream(stream, 1, 1);

518

token_source = new HTMLParserTokenManager(jj_input_stream);

519

token = new Token();

520

jj_ntk = -1;

521

jj_gen = 0;

522

for (int i = 0; i < 14; i++) jj_la1[i] = -1;

523

for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();

524

}

525

526

/** Reinitialise. */

527

public void ReInit(java.io.Reader stream) {

528

jj_input_stream.ReInit(stream, 1, 1);

529

token_source.ReInit(jj_input_stream);

530

token = new Token();

531

jj_ntk = -1;

532

jj_gen = 0;

533

for (int i = 0; i < 14; i++) jj_la1[i] = -1;

534

for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();

535

}

536

537

/** Constructor with generated Token Manager. */

538

public HTMLParser(HTMLParserTokenManager tm) {

539

token_source = tm;

540

token = new Token();

541

jj_ntk = -1;

542

jj_gen = 0;

543

for (int i = 0; i < 14; i++) jj_la1[i] = -1;

544

for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();

545

}

546

547

/** Reinitialise. */

548

public void ReInit(HTMLParserTokenManager tm) {

549

token_source = tm;

550

token = new Token();

551

jj_ntk = -1;

552

jj_gen = 0;

553

for (int i = 0; i < 14; i++) jj_la1[i] = -1;

554

for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();

555

}

556

557

private Token jj_consume_token(int kind) throws ParseException {

558

Token oldToken;

559

if ((oldToken = token).next != null) token = token.next;

560

else token = token.next = token_source.getNextToken();

561

jj_ntk = -1;

562

if (token.kind == kind) {

563

jj_gen++;

564

if (++jj_gc > 100) {

565

jj_gc = 0;

566

for (int i = 0; i < jj_2_rtns.length; i++) {

567

JJCalls c = jj_2_rtns[i];

568

while (c != null) {

569

if (c.gen < jj_gen) c.first = null;

570

c = c.next;

571

}

572

}

573

}

574

return token;

575

}

576

token = oldToken;

577

jj_kind = kind;

578

throw generateParseException();

579

}

580

581

static private final class LookaheadSuccess extends java.lang.Error { }

582

final private LookaheadSuccess jj_ls = new LookaheadSuccess();

583

private boolean jj_scan_token(int kind) {

584

if (jj_scanpos == jj_lastpos) {

585

jj_la--;

586

if (jj_scanpos.next == null) {

587

jj_lastpos = jj_scanpos = jj_scanpos.next = token_source.getNextToken();

588

} else {

589

jj_lastpos = jj_scanpos = jj_scanpos.next;

590

}

591

} else {

592

jj_scanpos = jj_scanpos.next;

593

}

594

if (jj_rescan) {

595

int i = 0; Token tok = token;

596

while (tok != null && tok != jj_scanpos) { i++; tok = tok.next; }

597

if (tok != null) jj_add_error_token(kind, i);

598

}

599

if (jj_scanpos.kind != kind) return true;

600

if (jj_la == 0 && jj_scanpos == jj_lastpos) throw jj_ls;

601

return false;

602

}

603

604

605

/** Get the next Token. */

606

final public Token getNextToken() {

607

if (token.next != null) token = token.next;

608

else token = token.next = token_source.getNextToken();

609

jj_ntk = -1;

610

jj_gen++;

611

return token;

612

}

613

614

/** Get the specific Token. */

615

final public Token getToken(int index) {

616

Token t = token;

617

for (int i = 0; i < index; i++) {

618

if (t.next != null) t = t.next;

619

else t = t.next = token_source.getNextToken();

620

}

621

return t;

622

}

623

624

private int jj_ntk() {

625

if ((jj_nt=token.next) == null)

626

return (jj_ntk = (token.next=token_source.getNextToken()).kind);

627

else

628

return (jj_ntk = jj_nt.kind);

629

}

630

631

private java.util.List<int[]> jj_expentries = new java.util.ArrayList<int[]>();

632

private int[] jj_expentry;

633

private int jj_kind = -1;

634

private int[] jj_lasttokens = new int[100];

635

private int jj_endpos;

636

637

private void jj_add_error_token(int kind, int pos) {

638

if (pos >= 100) return;

639

if (pos == jj_endpos + 1) {

640

jj_lasttokens[jj_endpos++] = kind;

641

} else if (jj_endpos != 0) {

642

jj_expentry = new int[jj_endpos];

643

for (int i = 0; i < jj_endpos; i++) {

644

jj_expentry[i] = jj_lasttokens[i];

645

}

646

jj_entries_loop: for (java.util.Iterator it = jj_expentries.iterator(); it.hasNext();) {

647

int[] oldentry = (int[])(it.next());

648

if (oldentry.length == jj_expentry.length) {

649

for (int i = 0; i < jj_expentry.length; i++) {

650

if (oldentry[i] != jj_expentry[i]) {

651

continue jj_entries_loop;

652

}

653

}

654

jj_expentries.add(jj_expentry);

655

break jj_entries_loop;

656

}

657

}

658

if (pos != 0) jj_lasttokens[(jj_endpos = pos) - 1] = kind;

659

}

660

}

661

662

/** Generate ParseException. */

663

public ParseException generateParseException() {

664

jj_expentries.clear();

665

boolean[] la1tokens = new boolean[31];

666

if (jj_kind >= 0) {

667

la1tokens[jj_kind] = true;

668

jj_kind = -1;

669

}

670

for (int i = 0; i < 14; i++) {

671

if (jj_la1[i] == jj_gen) {

672

for (int j = 0; j < 32; j++) {

673

if ((jj_la1_0[i] & (1<<j)) != 0) {

674

la1tokens[j] = true;

675

}

676

}

677

}

678

}

679

for (int i = 0; i < 31; i++) {

680

if (la1tokens[i]) {

681

jj_expentry = new int[1];

682

jj_expentry[0] = i;

683

jj_expentries.add(jj_expentry);

684

}

685

}

686

jj_endpos = 0;

687

jj_rescan_token();

688

jj_add_error_token(0, 0);

689

int[][] exptokseq = new int[jj_expentries.size()][];

690

for (int i = 0; i < jj_expentries.size(); i++) {

691

exptokseq[i] = jj_expentries.get(i);

692

}

693

return new ParseException(token, exptokseq, tokenImage);

694

}

695

696

/** Enable tracing. */

697

final public void enable_tracing() {

698

}

699

700

/** Disable tracing. */

701

final public void disable_tracing() {

702

}

703

704

private void jj_rescan_token() {

705

jj_rescan = true;

706

for (int i = 0; i < 2; i++) {

707

try {

708

JJCalls p = jj_2_rtns[i];

709

do {

710

if (p.gen > jj_gen) {

711

jj_la = p.arg; jj_lastpos = jj_scanpos = p.first;

712

switch (i) {

713

case 0: jj_3_1(); break;

714

case 1: jj_3_2(); break;

715

}

716

}

717

p = p.next;

718

} while (p != null);

719

} catch(LookaheadSuccess ls) { }

720

}

721

jj_rescan = false;

722

}

723

724

private void jj_save(int index, int xla) {

725

JJCalls p = jj_2_rtns[index];

726

while (p.gen > jj_gen) {

727

if (p.next == null) { p = p.next = new JJCalls(); break; }

728

p = p.next;

729

}

730

p.gen = jj_gen + xla - jj_la; p.first = token; p.arg = xla;

731

}

732

733

static final class JJCalls {

734

int gen;

735

Token first;

736

int arg;

737

JJCalls next;

738

}

739

740

// void handleException(Exception e) {

741

// System.out.println(e.toString()); // print the error message

742

// System.out.println("Skipping...");

743

// Token t;

744

// do {

745

// t = getNextToken();

746

// } while (t.kind != TagEnd);

747

// }

748

}

Older »