Java Heading类代码示例

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
private void renderHeading(final Heading node, final NodeRendererContext context, final HtmlWriter html) {
    if (context.getHtmlOptions().renderHeaderId) {
        String id = context.getNodeId(node);
        if (id != null) {
            html.attr("id", id);
        }
    }

    if (context.getHtmlOptions().sourcePositionParagraphLines) {
        html.srcPos(node.getChars()).withAttr().tagLine("h" + (node.getLevel()+renderContext.incrementHeading()), new Runnable() {
            @Override
            public void run() {
                html.srcPos(node.getText()).withAttr().tag("span");
                context.renderChildren(node);
                html.tag("/span");
            }
        });
    } else {
        html.srcPos(node.getText()).withAttr().tagLine("h" + (node.getLevel()+renderContext.incrementHeading()), new Runnable() {
            @Override
            public void run() {
                context.renderChildren(node);
            }
        });
    }
}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
@SneakyThrows
public HashMap<String, Node> parse(final String fileContents) {
  final Node document = parser.parse(fileContents);
  final ReversiblePeekingIterable<Node> children = document.getChildren();
  final Stack<String> headingStack = new Stack<>();
  final HashMap<String, Node> documentTree = new HashMap<>();
  Paragraph subDocument = new Paragraph();
  documentTree.put("#", subDocument);
  for (final Node next : children) {
    final Optional<Paragraph> newSubDocument = resolveHeading(next)
      .map((Heading heading) -> {
        pushHeading(headingStack, heading);
        final String headingTitle = getHeadingTitle(headingStack);
        final Paragraph subDoc = new Paragraph();
        documentTree.put(headingTitle, subDoc);
        return subDoc;
      });
    if (newSubDocument.isPresent()) {
      subDocument = newSubDocument.get();
    }
    else {
      subDocument.appendChild(next);
    }
  }
  return documentTree;
}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
@Override
public void setAttributes(final Node node, final AttributablePart part, final Attributes attributes) {
    if (node instanceof FencedCodeBlock) {
        if (part.getName().equals("NODE")) {
            String language = ((FencedCodeBlock) node).getInfo().toString();
            if (!TextUtils.isEmpty(language) &&
                    !language.equals("nohighlight")) {
                addJavascript(HIGHLIGHTJS);
                addJavascript(HIGHLIGHT_INIT);

                attributes.addValue("language", language);
                attributes.addValue("onclick", String.format("javascript:android.onCodeTap('%s', this.textContent);",
                        language));
            }
        }
    } else if (node instanceof MathJax) {
        addJavascript(MATHJAX);
        addJavascript(MATHJAX_CONFIG);
    } else if (node instanceof Abbreviation) {
        addJavascript(TOOLTIPSTER_JS);
        addStyleSheet(TOOLTIPSTER_CSS);
        addJavascript(TOOLTIPSTER_INIT);
        attributes.addValue("class", "tooltip");
    } else if (node instanceof Heading) {
        attributes.addValue("onclick", String.format("javascript:android.onHeadingTap(%d, '%s');",
                ((Heading) node).getLevel(), ((Heading) node).getText()));
    } else if (node instanceof Image) {
        attributes.addValue("onclick", String.format("javascript: android.onImageTap(this.src, this.clientWidth, this.clientHeight);"));
    } else if (node instanceof Mark) {
        attributes.addValue("onclick", String.format("javascript: android.onMarkTap(this.textContent)"));
    } else if (node instanceof Keystroke) {
        attributes.addValue("onclick", String.format("javascript: android.onKeystrokeTap(this.textContent)"));
    } else if (node instanceof Link ||
            node instanceof AutoLink) {
        attributes.addValue("onclick", String.format("javascript: android.onLinkTap(this.href, this.textContent)"));
    }
}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
private void pushHeading(final Stack<String> headingStack, final Heading heading) {
  clearHeadingStack(headingStack, heading.getLevel());
  headingStack.push(heading.getText().toString());
}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
private Optional<Heading> resolveHeading(final Node next) {
  if (!(next instanceof Heading))
    return Optional.empty();
  return Optional.of((Heading) next);
}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
public void setAttributes(Node node, AttributablePart part, Attributes attributes) {
    if (node instanceof FencedCodeBlock) {
        if (part.getName().equals("NODE")) {
            String language = ((FencedCodeBlock) node).getInfo().toString();
            if (!TextUtils.isEmpty(language) && !language.equals("nohighlight")) {
                addJavascript(
                        MarkdownView.HIGHLIGHTJS);
                addJavascript(
                        MarkdownView.HIGHLIGHT_INIT);
                attributes.addValue("language", language);
                attributes.addValue("onclick", String.format(
                        "javascript:android.onCodeTap(\'%s\', this.textContent);",
                        language));
            }
        }
    } else if (node instanceof MathJax) {
        addJavascript(MarkdownView.MATHJAX);
        addJavascript(
                MarkdownView.MATHJAX_CONFIG);
    } else if (node instanceof Abbreviation) {
        addJavascript(
                MarkdownView.TOOLTIPSTER_JS);
        addStyleSheet(
                MarkdownView.TOOLTIPSTER_CSS);
        addJavascript(
                MarkdownView.TOOLTIPSTER_INIT);
        attributes.addValue("class", "tooltip");
    } else if (node instanceof Heading) {
        attributes.addValue("onclick",
                String.format(Locale.getDefault(),
                        "javascript:android.onHeadingTap(%d, \'%s\');",
                        ((Heading) node).getLevel(),
                        ((Heading) node).getText()));
    } else if (node instanceof Image) {
        attributes.addValue("onclick",
                "javascript: android.onImageTap(this.src, this.clientWidth, this.clientHeight);");
    } else if (node instanceof Mark) {
        attributes.addValue("onclick", "javascript: android.onMarkTap(this.textContent)");
    } else if (node instanceof Keystroke) {
        attributes.addValue("onclick",
                "javascript: android.onKeystrokeTap(this.textContent)");
    } else if (node instanceof Link || node instanceof AutoLink) {
        attributes.addValue("onclick",
                "javascript: android.onLinkTap(this.href, this.textContent)");
    }

}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
private void printAttributes(StringBuilder buf, Node node) {
	if (node instanceof Heading)
		printAttribute(buf, "level", ((Heading)node).getLevel());
}
 

import com.vladsch.flexmark.ast.Heading; //导入依赖的package包/类
private void updateStateProperties() {
	// avoid too many (and useless) runLater() invocations
	if (updateStatePropertiesRunLaterPending)
		return;
	updateStatePropertiesRunLaterPending = true;

	Platform.runLater(() -> {
		updateStatePropertiesRunLaterPending = false;

		List<Node> nodesAtSelection = findNodesAtSelection((s, e, n) -> true, true, false);

		boolean bold = false;
			boolean italic = false;
			boolean code = false;
			boolean link = false;
			boolean image = false;
			boolean unorderedList = false;
			boolean orderedList = false;
			boolean blockquote = false;
			boolean fencedCode = false;
			boolean header = false;
		for (Node node : nodesAtSelection) {
			if (!bold && node instanceof StrongEmphasis)
				bold = true;
			else if (!italic && node instanceof Emphasis)
				italic = true;
			else if (!code && node instanceof Code)
				code = true;
			else if (!link && (node instanceof Link || node instanceof LinkRef))
				link = true;
			else if (!image && (node instanceof Image || node instanceof ImageRef))
				image = true;
			else if (!unorderedList && node instanceof BulletListItem)
				unorderedList = true;
			else if (!orderedList && node instanceof OrderedListItem)
				orderedList = true;
			else if (!blockquote && node instanceof BlockQuote)
				blockquote = true;
			else if (!fencedCode && node instanceof FencedCodeBlock)
				fencedCode = true;
			else if (!header && node instanceof Heading)
				header = true;
		}
		this.bold.set(bold);
		this.italic.set(italic);
		this.code.set(code);
		this.link.set(link);
		this.image.set(image);
		this.unorderedList.set(unorderedList);
		this.orderedList.set(orderedList);
		this.blockquote.set(blockquote);
		this.fencedCode.set(fencedCode);
		this.header.set(header);
	});
}