Lines Matching defs:header
368 header(node);
380 header(node);
390 header(node, compress(node.getBody()));
395 header(node);
405 header(node);
417 header(node, "");
422 header(node, node.getName().toString());
427 header(node, node.getName().toString());
432 header(node);
443 header(node);
453 header(node, compress(node.getName().toString()));
459 header(node);
470 header(node, "");
475 header(node);
486 header(node, compress(node.getBody().getBody()));
491 header(node);
502 header(node);
513 header(node, compress(node.getSignature()));
518 header(node);
528 header(node);
538 header(node);
548 header(node);
558 header(node);
570 header(node);
580 header(node);
593 header(node);
603 header(node, compress(node.getBody()));
608 header(node);
619 header(node);
631 header(node);
643 header(node);
654 header(node);
664 header(node);
682 void header(DocTree node) {
690 void header(DocTree node, String rest) {