@Override public String visitSectionNumber( final SASectionNumber sn) throws Exception { final OptionType<SASection> s = document.getSection(sn); if (s.isSome()) { final Some<SASection> some = (Some<SASection>) s; final StringBuilder sb = new StringBuilder(); sb.append(sn.sectionNumberFormat()); sb.append(". "); sb.append(some.get().getTitle().getActual()); return sb.toString(); } throw new UnreachableCodeException(); } });
@Override public void onBodyEnd( final Element body) { if (inserts.getBodyEnd().isSome()) { final Some<Element> some = (Some<Element>) inserts.getBodyEnd(); body.appendChild(some.get().copy()); } }
@Override public @Nullable Element onBodyStart( final Element body) { if (inserts.getBodyStart().isSome()) { final Some<Element> some = (Some<Element>) inserts.getBodyStart(); body.appendChild(some.get().copy()); } return null; }
private static Element navigationBarTitleRowCellUp( final SADocument document, final OptionType<SASegmentNumber> current) throws Exception { final String[] c = new String[1]; c[0] = "navbar_up_title_cell"; final Element etc = SXHTML.elementWithClasses("td", SXHTML.NO_TYPE, c); if (current.isSome()) { final Some<SASegmentNumber> current_some = (Some<SASegmentNumber>) current; final OptionType<SASegmentNumber> up = document.segmentGetUp(current_some.get()); if (up.isSome()) { final Some<SASegmentNumber> up_some = (Some<SASegmentNumber>) up; etc.appendChild(SDocumentXHTMLWriterMulti .navigationBarTitleForSegment(document, up_some.get())); } else { etc.appendChild(document.getTitle().getActual()); } } return etc; }
private static Element navigationBarTitleRowCellNext( final SADocument document, final OptionType<SASegmentNumber> current) throws Exception { final String[] c = new String[1]; c[0] = "navbar_next_title_cell"; final Element etc = SXHTML.elementWithClasses("td", SXHTML.NO_TYPE, c); if (current.isSome()) { final Some<SASegmentNumber> current_some = (Some<SASegmentNumber>) current; final OptionType<SASegmentNumber> next = document.segmentGetNext(current_some.get()); if (next.isSome()) { final Some<SASegmentNumber> next_some = (Some<SASegmentNumber>) next; etc.appendChild(SDocumentXHTMLWriterMulti .navigationBarTitleForSegment(document, next_some.get())); } } else { final SASegmentNumber first = document.segmentGetFirst(); etc.appendChild(SDocumentXHTMLWriterMulti.navigationBarTitleForSegment( document, first)); } return etc; }
private static Element navigationBarTitleRowCellPrevious( final SADocument document, final OptionType<SASegmentNumber> current) throws Exception { final String[] c = new String[1]; c[0] = "navbar_prev_title_cell"; final Element etc = SXHTML.elementWithClasses("td", SXHTML.NO_TYPE, c); if (current.isSome()) { final Some<SASegmentNumber> current_some = (Some<SASegmentNumber>) current; final OptionType<SASegmentNumber> previous = document.segmentGetPrevious(current_some.get()); if (previous.isSome()) { final Some<SASegmentNumber> previous_some = (Some<SASegmentNumber>) previous; etc.appendChild(SDocumentXHTMLWriterMulti .navigationBarTitleForSegment(document, previous_some.get())); } else { etc.appendChild(document.getTitle().getActual()); } } return etc; }
private Element navigationBarLinkRowCellUp( final SASegmentsReadable segments, final SLinkProvider link_provider, final OptionType<SASegmentNumber> current) { final String[] c = new String[1]; c[0] = "navbar_up_file_cell"; final Element etc = SXHTML.elementWithClasses("td", SXHTML.NO_TYPE, c); if (current.isSome()) { final Some<SASegmentNumber> current_some = (Some<SASegmentNumber>) current; final OptionType<SASegmentNumber> up = segments.segmentGetUp(current_some.get()); final Element elink; if (up.isSome()) { final Some<SASegmentNumber> up_some = (Some<SASegmentNumber>) up; elink = SXHTML.linkRaw(link_provider.getSegmentLinkTarget(up_some.get())); } else { elink = SXHTML.linkRaw(this.front_page); } elink.appendChild("Up"); etc.appendChild(elink); } return etc; }
private Element navigationBarLinkRowCellPrevious( final SASegmentsReadable segments, final SLinkProvider link_provider, final OptionType<SASegmentNumber> current) { final String[] c = new String[1]; c[0] = "navbar_prev_file_cell"; final Element etc = SXHTML.elementWithClasses("td", SXHTML.NO_TYPE, c); if (current.isSome()) { final Some<SASegmentNumber> current_some = (Some<SASegmentNumber>) current; final OptionType<SASegmentNumber> previous = segments.segmentGetPrevious(current_some.get()); final Element elink; if (previous.isSome()) { final Some<SASegmentNumber> previous_some = (Some<SASegmentNumber>) previous; elink = SXHTML.linkRaw(link_provider.getSegmentLinkTarget(previous_some .get())); } else { elink = SXHTML.linkRaw(this.front_page); } elink.appendChild("Previous"); etc.appendChild(elink); } return etc; }
Filesystem.lookupDirectInArchive(a, a_path); if (r.isSome()) {
private static Element navigationBarLinkRowCellNext( final SASegmentsReadable segments, final SLinkProvider link_provider, final OptionType<SASegmentNumber> current) { final String[] c = new String[1]; c[0] = "navbar_next_file_cell"; final Element etc = SXHTML.elementWithClasses("td", SXHTML.NO_TYPE, c); if (current.isSome()) { final Some<SASegmentNumber> current_some = (Some<SASegmentNumber>) current; final OptionType<SASegmentNumber> next = segments.segmentGetNext(current_some.get()); if (next.isSome()) { final Some<SASegmentNumber> next_some = (Some<SASegmentNumber>) next; final Element elink = SXHTML.linkRaw(link_provider.getSegmentLinkTarget(next_some.get())); elink.appendChild("Next"); etc.appendChild(elink); } } else { final SASegmentNumber first = segments.segmentGetFirst(); final Element elink = SXHTML.linkRaw(link_provider.getSegmentLinkTarget(first)); elink.appendChild("Next"); etc.appendChild(elink); } return etc; }