Examples with HtmlRenderer org.commonmark.renderer.html.HtmlRenderer used on opensource projects

Example 11 with HtmlRenderer

use of org.commonmark.renderer.html.HtmlRenderer in project symja_android_library by axkr.

the class DocumentationPod method generateHTMLString.

private static String generateHTMLString(final String markdownStr) {
    Set<Extension> EXTENSIONS = Collections.singleton(TablesExtension.create());
    Parser parser = Parser.builder().extensions(EXTENSIONS).build();
    Node document = parser.parse(markdownStr);
    HtmlRenderer renderer = HtmlRenderer.builder().extensions(EXTENSIONS).build();
    return renderer.render(document);
}

Example 12 with HtmlRenderer

use of org.commonmark.renderer.html.HtmlRenderer in project symja_android_library by axkr.

the class RenderMarkdown method main.

public static void main(String[] args) {
    Set<Extension> EXTENSIONS = Collections.singleton(TablesExtension.create());
    Parser parser = Parser.builder().extensions(EXTENSIONS).build();
    Node document = parser.parse(TABLE);
    HtmlRenderer renderer = HtmlRenderer.builder().extensions(EXTENSIONS).build();
    String html = renderer.render(document);
    System.out.println(html);
}

Example 13 with HtmlRenderer

use of org.commonmark.renderer.html.HtmlRenderer in project diary by billthefarmer.

the class Diary method updateWidgets.

// updateWidgets
@SuppressWarnings("deprecation")
private void updateWidgets(CharSequence text) {
    Calendar today = Calendar.getInstance();
    if (currEntry != null && currEntry.get(Calendar.YEAR) == today.get(Calendar.YEAR) && currEntry.get(Calendar.MONTH) == today.get(Calendar.MONTH) && currEntry.get(Calendar.DATE) == today.get(Calendar.DATE)) {
        // Get date
        DateFormat format = DateFormat.getDateInstance(DateFormat.MEDIUM);
        String date = format.format(today.getTime());
        if (markdown) {
            // Use commonmark
            Parser parser = Parser.builder().build();
            Node document = parser.parse(text.toString());
            HtmlRenderer renderer = HtmlRenderer.builder().build();
            String html = renderer.render(document);
            text = Html.fromHtml(html);
        }
        AppWidgetManager manager = AppWidgetManager.getInstance(this);
        ComponentName provider = new ComponentName(this, DiaryWidgetProvider.class);
        RemoteViews views = new RemoteViews(getPackageName(), R.layout.widget);
        views.setTextViewText(R.id.header, date);
        views.setTextViewText(R.id.entry, text);
        manager.updateAppWidget(provider, views);
    }
}