public void enterNode_id(@NotNull DOTParser.Node_idContext ctx) {
String nodeId = ctx.id().getText();
GraphNode node = mNodeMap.get(nodeId);
if (node == null) {
node = new GraphNode(nodeId);
mNodeMap.put(nodeId, node);
}
node.setAttributes(nodeAttrs);
}
GraphParser.java 文件源码
java
阅读 25
收藏 0
点赞 0
评论 0
项目:digraph-parser
作者:
评论列表
文章目录