forked from openjdk/jdk15u-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
8246435: Replace Javascript implementation of pandoc filters with Java
Reviewed-by: erikj
- Loading branch information
Showing
23 changed files
with
1,510 additions
and
308 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
108 changes: 108 additions & 0 deletions
108
make/jdk/src/classes/build/tools/pandocfilter/PandocFilter.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,108 @@ | ||
| package build.tools.pandocfilter; | ||
|
|
||
| import build.tools.pandocfilter.json.JSON; | ||
| import build.tools.pandocfilter.json.JSONArray; | ||
| import build.tools.pandocfilter.json.JSONObject; | ||
| import build.tools.pandocfilter.json.JSONString; | ||
| import build.tools.pandocfilter.json.JSONValue; | ||
|
|
||
| import java.io.BufferedReader; | ||
| import java.io.FileNotFoundException; | ||
| import java.io.FileReader; | ||
| import java.io.InputStreamReader; | ||
| import java.util.Map; | ||
|
|
||
| public class PandocFilter { | ||
| /** | ||
| * Traverse a tree of pandoc format objects, calling callback on each | ||
| * element, and replacing it if callback returns a new object. | ||
| * <p> | ||
| * Inspired by the walk method in | ||
| * https://github.com/jgm/pandocfilters/blob/master/pandocfilters.py | ||
| */ | ||
| public JSONValue traverse(JSONValue obj, Callback callback, boolean deep) { | ||
| if (obj instanceof JSONArray) { | ||
| JSONArray array = (JSONArray) obj; | ||
|
|
||
| JSONArray processed_array = new JSONArray(); | ||
| for (JSONValue elem : array) { | ||
| if (elem instanceof JSONObject && elem.contains("t")) { | ||
| JSONValue replacement = callback.invoke(elem.get("t").asString(), elem.contains("c") ? elem.get("c") : new JSONArray()); | ||
| if (replacement == null) { | ||
| // no replacement object returned, use original | ||
| processed_array.add(traverse(elem, callback, deep)); | ||
| } else if (replacement instanceof JSONArray) { | ||
| // array of objects returned, splice all elements into array | ||
| JSONArray replacement_array = (JSONArray) replacement; | ||
| for (JSONValue repl_elem : replacement_array) { | ||
| processed_array.add(traverse(repl_elem, callback, deep)); | ||
| } | ||
| } else { | ||
| // replacement object given, traverse it | ||
| processed_array.add(traverse(replacement, callback, deep)); | ||
| } | ||
| } else { | ||
| processed_array.add(traverse(elem, callback, deep)); | ||
| } | ||
| } | ||
| return processed_array; | ||
| } else if (obj instanceof JSONObject) { | ||
| if (deep && obj.contains("t")) { | ||
| JSONValue replacement = callback.invoke(obj.get("t").asString(), obj.contains("c") ? obj.get("c") : new JSONArray()); | ||
| if (replacement != null) { | ||
| return replacement; | ||
| } | ||
| } JSONObject obj_obj = (JSONObject) obj; | ||
| var processed_obj = new JSONObject(); | ||
| for (String key : obj_obj.keys()) { | ||
| processed_obj.put(key, traverse(obj_obj.get(key), callback, deep)); | ||
| } | ||
| return processed_obj; | ||
| } else { | ||
| return obj; | ||
| } | ||
| } | ||
|
|
||
| public JSONValue createPandocNode(String type, JSONValue content) { | ||
| if (content == null) { | ||
| return new JSONObject(Map.of( | ||
| "t", new JSONString(type))); | ||
| } else { | ||
| return new JSONObject(Map.of( | ||
| "t", new JSONString(type), | ||
| "c", content)); | ||
| } | ||
| } | ||
|
|
||
| public JSONValue createPandocNode(String type) { | ||
| return createPandocNode(type, null); | ||
| } | ||
|
|
||
| /* | ||
| * Helper constructors to create pandoc format objects | ||
| */ | ||
| public JSONValue createSpace() { | ||
| return createPandocNode("Space"); | ||
| } | ||
|
|
||
| public JSONValue createStr(String string) { | ||
| return createPandocNode("Str", new JSONString(string)); | ||
| } | ||
|
|
||
| public static JSONValue loadJson(String[] args) throws FileNotFoundException { | ||
| StringBuffer input = new StringBuffer(); | ||
| InputStreamReader reader; | ||
| if (args.length > 0) | ||
| reader = new FileReader(args[0]); | ||
| else { | ||
| reader = new InputStreamReader(System.in); | ||
| } | ||
| new BufferedReader(reader).lines().forEach(line -> input.append(line)); | ||
|
|
||
| return JSON.parse(input.toString()); | ||
| } | ||
|
|
||
| public interface Callback { | ||
| JSONValue invoke(String type, JSONValue value); | ||
| } | ||
| } |
79 changes: 79 additions & 0 deletions
79
make/jdk/src/classes/build/tools/pandocfilter/PandocManPageHtmlFilter.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,79 @@ | ||
| /* | ||
| * Copyright (c) 2018, 2020, Oracle and/or its affiliates. All rights reserved. | ||
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | ||
| * | ||
| * This code is free software; you can redistribute it and/or modify it | ||
| * under the terms of the GNU General Public License version 2 only, as | ||
| * published by the Free Software Foundation. | ||
| * | ||
| * This code is distributed in the hope that it will be useful, but WITHOUT | ||
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | ||
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | ||
| * version 2 for more details (a copy is included in the LICENSE file that | ||
| * accompanied this code). | ||
| * | ||
| * You should have received a copy of the GNU General Public License version | ||
| * 2 along with this work; if not, write to the Free Software Foundation, | ||
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | ||
| * | ||
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | ||
| * or visit www.oracle.com if you need additional information or have any | ||
| * questions. | ||
| */ | ||
|
|
||
| package build.tools.pandocfilter; | ||
|
|
||
| import build.tools.pandocfilter.json.JSONArray; | ||
| import build.tools.pandocfilter.json.JSONObject; | ||
| import build.tools.pandocfilter.json.JSONValue; | ||
|
|
||
| import java.io.FileNotFoundException; | ||
| import java.util.regex.Matcher; | ||
| import java.util.regex.Pattern; | ||
|
|
||
| public class PandocManPageHtmlFilter extends PandocFilter { | ||
|
|
||
| private JSONValue MetaInlines(JSONValue value) { | ||
| return createPandocNode("MetaInlines", value); | ||
| } | ||
|
|
||
| private JSONValue changeTitle(String type, JSONValue value) { | ||
| if (type.equals("MetaInlines")) { | ||
| String subType = value.get(0).get("t").asString(); | ||
| String subContent = value.get(0).get("c").asString(); | ||
| if (subType.equals("Str")) { | ||
| Pattern pattern = Pattern.compile("^([A-Z0-9]+)\\([0-9]+\\)$"); | ||
| Matcher matcher = pattern.matcher(subContent); | ||
| if (matcher.find()) { | ||
| String commandName = matcher.group(1).toLowerCase(); | ||
| return MetaInlines(new JSONArray( | ||
| createStr("The"), createSpace(), | ||
| createStr(commandName), | ||
| createSpace(), createStr("Command"))); | ||
| } | ||
| } | ||
| } | ||
| return null; | ||
| } | ||
|
|
||
| /** | ||
| * Main function | ||
| */ | ||
| public static void main(String[] args) throws FileNotFoundException { | ||
| JSONValue json = loadJson(args); | ||
|
|
||
| PandocManPageHtmlFilter filter = new PandocManPageHtmlFilter(); | ||
|
|
||
| JSONValue meta = json.get("meta"); | ||
| if (meta != null && meta instanceof JSONObject) { | ||
| JSONObject metaobj = (JSONObject) meta; | ||
| metaobj.remove("date"); | ||
| JSONValue title = meta.get("title"); | ||
| if (title != null) { | ||
| metaobj.put("title", filter.traverse(title, filter::changeTitle, true)); | ||
| } | ||
| } | ||
|
|
||
| System.out.println(json); | ||
| } | ||
| } |
Oops, something went wrong.