2019-09-21 08:19:55 -07:00
|
|
|
import * as d3 from 'd3';
|
|
|
|
import dagre from 'dagre-layout';
|
|
|
|
import graphlib from 'graphlibrary';
|
|
|
|
import { logger } from '../../logger';
|
|
|
|
import stateDb from './stateDb';
|
|
|
|
import { parser } from './parser/stateDiagram';
|
2019-09-28 13:31:10 +02:00
|
|
|
import utils from '../../utils';
|
2019-10-05 09:02:20 +02:00
|
|
|
import idCache from './id-cache';
|
|
|
|
import { drawState, addIdAndBox, drawEdge } from './shapes';
|
2019-09-21 08:19:55 -07:00
|
|
|
|
|
|
|
parser.yy = stateDb;
|
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
let total = 0;
|
|
|
|
|
2019-10-05 09:02:20 +02:00
|
|
|
// TODO Move conf object to main conf in mermaidAPI
|
2019-09-21 08:19:55 -07:00
|
|
|
const conf = {
|
|
|
|
dividerMargin: 10,
|
|
|
|
padding: 5,
|
|
|
|
textHeight: 10
|
|
|
|
};
|
|
|
|
|
2019-10-03 19:08:15 +02:00
|
|
|
const transformationLog = {};
|
|
|
|
|
2019-09-21 08:19:55 -07:00
|
|
|
export const setConf = function(cnf) {};
|
2019-09-25 21:01:21 +02:00
|
|
|
|
|
|
|
// Todo optimize
|
|
|
|
const getGraphId = function(label) {
|
2019-10-05 09:02:20 +02:00
|
|
|
const keys = idCache.keys();
|
2019-09-25 21:01:21 +02:00
|
|
|
|
|
|
|
for (let i = 0; i < keys.length; i++) {
|
2019-10-05 09:02:20 +02:00
|
|
|
if (idCache.get(keys[i]).label === label) {
|
2019-09-25 21:01:21 +02:00
|
|
|
return keys[i];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return undefined;
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Setup arrow head and define the marker. The result is appended to the svg.
|
|
|
|
*/
|
|
|
|
const insertMarkers = function(elem) {
|
|
|
|
elem
|
|
|
|
.append('defs')
|
|
|
|
.append('marker')
|
|
|
|
.attr('id', 'dependencyEnd')
|
|
|
|
.attr('refX', 19)
|
|
|
|
.attr('refY', 7)
|
|
|
|
.attr('markerWidth', 20)
|
|
|
|
.attr('markerHeight', 28)
|
|
|
|
.attr('orient', 'auto')
|
|
|
|
.append('path')
|
2019-09-28 13:31:10 +02:00
|
|
|
.attr('d', 'M 19,7 L9,13 L14,7 L9,1 Z');
|
2019-09-25 21:01:21 +02:00
|
|
|
};
|
|
|
|
|
2019-09-21 08:19:55 -07:00
|
|
|
/**
|
|
|
|
* Draws a flowchart in the tag with id: id based on the graph definition in text.
|
|
|
|
* @param text
|
|
|
|
* @param id
|
|
|
|
*/
|
|
|
|
export const draw = function(text, id) {
|
|
|
|
parser.yy.clear();
|
|
|
|
parser.parse(text);
|
|
|
|
logger.info('Rendering diagram ' + text);
|
|
|
|
|
|
|
|
// /// / Fetch the default direction, use TD if none was found
|
2019-09-25 21:01:21 +02:00
|
|
|
const diagram = d3.select(`[id='${id}']`);
|
|
|
|
insertMarkers(diagram);
|
2019-09-21 08:19:55 -07:00
|
|
|
|
|
|
|
// // Layout graph, Create a new directed graph
|
2019-09-25 21:01:21 +02:00
|
|
|
const graph = new graphlib.Graph({
|
2019-10-02 19:32:13 +02:00
|
|
|
multigraph: false,
|
2019-10-03 19:54:07 +02:00
|
|
|
// compound: true,
|
|
|
|
// acyclicer: 'greedy',
|
|
|
|
rankdir: 'RL'
|
2019-09-25 21:01:21 +02:00
|
|
|
});
|
2019-09-21 08:19:55 -07:00
|
|
|
|
2019-10-03 19:54:07 +02:00
|
|
|
// // Set an object for the graph label
|
|
|
|
// graph.setGraph({
|
|
|
|
// isMultiGraph: false,
|
|
|
|
// rankdir: 'RL'
|
|
|
|
// });
|
2019-09-21 08:19:55 -07:00
|
|
|
|
|
|
|
// // Default to assigning a new object as a label for each new edge.
|
2019-09-25 21:01:21 +02:00
|
|
|
graph.setDefaultEdgeLabel(function() {
|
|
|
|
return {};
|
|
|
|
});
|
|
|
|
|
2019-10-03 19:08:15 +02:00
|
|
|
const rootDoc = stateDb.getRootDoc();
|
2019-10-05 09:02:20 +02:00
|
|
|
const n = renderDoc(rootDoc, diagram);
|
2019-10-03 19:08:15 +02:00
|
|
|
|
2019-10-03 19:54:07 +02:00
|
|
|
const bounds = diagram.node().getBBox();
|
2019-10-03 19:08:15 +02:00
|
|
|
|
|
|
|
diagram.attr('height', '100%');
|
|
|
|
diagram.attr('width', '100%');
|
2019-10-03 19:54:07 +02:00
|
|
|
diagram.attr('viewBox', '0 0 ' + bounds.width + ' ' + (bounds.height + 50));
|
2019-10-03 19:08:15 +02:00
|
|
|
};
|
|
|
|
const getLabelWidth = text => {
|
|
|
|
return text ? text.length * 5.02 : 1;
|
|
|
|
};
|
|
|
|
|
2019-10-05 09:02:20 +02:00
|
|
|
const renderDoc = (doc, diagram, parentId) => {
|
2019-10-03 19:08:15 +02:00
|
|
|
// // Layout graph, Create a new directed graph
|
2019-10-03 19:54:07 +02:00
|
|
|
const graph = new graphlib.Graph({});
|
2019-10-03 19:08:15 +02:00
|
|
|
|
|
|
|
// Set an object for the graph label
|
2019-10-03 19:54:07 +02:00
|
|
|
if (parentId)
|
|
|
|
graph.setGraph({
|
|
|
|
rankdir: 'LR',
|
|
|
|
multigraph: false,
|
|
|
|
compound: false,
|
|
|
|
// acyclicer: 'greedy',
|
|
|
|
rankdir: 'LR',
|
|
|
|
ranker: 'tight-tree'
|
|
|
|
// isMultiGraph: false
|
|
|
|
});
|
|
|
|
else {
|
|
|
|
graph.setGraph({
|
|
|
|
rankdir: 'TB',
|
|
|
|
// acyclicer: 'greedy'
|
|
|
|
ranker: 'longest-path'
|
|
|
|
// isMultiGraph: false
|
|
|
|
});
|
|
|
|
}
|
2019-10-03 19:08:15 +02:00
|
|
|
|
2019-10-05 10:02:58 +02:00
|
|
|
// Default to assigning a new object as a label for each new edge.
|
2019-10-03 19:08:15 +02:00
|
|
|
graph.setDefaultEdgeLabel(function() {
|
|
|
|
return {};
|
|
|
|
});
|
|
|
|
|
|
|
|
stateDb.extract(doc);
|
2019-09-25 21:29:32 +02:00
|
|
|
const states = stateDb.getStates();
|
2019-10-03 19:08:15 +02:00
|
|
|
const relations = stateDb.getRelations();
|
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
const keys = Object.keys(states);
|
2019-10-03 19:08:15 +02:00
|
|
|
console.warn('rendering doc 2', states, relations);
|
2019-10-02 19:32:13 +02:00
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
total = keys.length;
|
|
|
|
for (let i = 0; i < keys.length; i++) {
|
|
|
|
const stateDef = states[keys[i]];
|
2019-10-03 19:08:15 +02:00
|
|
|
console.warn('keys[i]', keys[i]);
|
|
|
|
let node;
|
|
|
|
if (stateDef.doc) {
|
|
|
|
let sub = diagram
|
|
|
|
.append('g')
|
|
|
|
.attr('id', stateDef.id)
|
|
|
|
.attr('class', 'classGroup');
|
2019-10-05 10:02:58 +02:00
|
|
|
node = renderDoc(stateDef.doc, sub, stateDef.id);
|
2019-10-03 19:08:15 +02:00
|
|
|
|
|
|
|
sub = addIdAndBox(sub, stateDef);
|
|
|
|
let boxBounds = sub.node().getBBox();
|
|
|
|
node.width = boxBounds.width;
|
2019-10-03 19:54:07 +02:00
|
|
|
node.height = boxBounds.height + 10;
|
|
|
|
transformationLog[stateDef.id] = { y: 35 };
|
2019-10-03 19:08:15 +02:00
|
|
|
} else {
|
|
|
|
node = drawState(diagram, stateDef, graph);
|
|
|
|
}
|
2019-10-02 19:32:13 +02:00
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
// Add nodes to the graph. The first argument is the node id. The second is
|
|
|
|
// metadata about the node. In this case we're going to add labels to each of
|
|
|
|
// our nodes.
|
|
|
|
graph.setNode(node.id, node);
|
|
|
|
}
|
|
|
|
|
2019-10-02 19:32:13 +02:00
|
|
|
console.info('Count=', graph.nodeCount());
|
2019-09-25 21:01:21 +02:00
|
|
|
relations.forEach(function(relation) {
|
2019-10-03 19:08:15 +02:00
|
|
|
console.warn('Rendering edge', relation);
|
|
|
|
graph.setEdge(relation.id1, relation.id2, {
|
2019-10-02 19:32:13 +02:00
|
|
|
relation: relation,
|
2019-10-03 19:08:15 +02:00
|
|
|
width: getLabelWidth(relation.title),
|
|
|
|
height: 16,
|
|
|
|
labelpos: 'c'
|
2019-10-02 19:32:13 +02:00
|
|
|
});
|
2019-10-03 19:08:15 +02:00
|
|
|
console.warn(getGraphId(relation.id1), relation.id2, {
|
2019-09-25 21:01:21 +02:00
|
|
|
relation: relation
|
|
|
|
});
|
|
|
|
});
|
2019-10-03 19:08:15 +02:00
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
dagre.layout(graph);
|
2019-10-03 19:08:15 +02:00
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
graph.nodes().forEach(function(v) {
|
|
|
|
if (typeof v !== 'undefined' && typeof graph.node(v) !== 'undefined') {
|
2019-10-03 19:08:15 +02:00
|
|
|
console.warn('Node ' + v + ': ' + JSON.stringify(graph.node(v)));
|
2019-09-25 21:01:21 +02:00
|
|
|
d3.select('#' + v).attr(
|
|
|
|
'transform',
|
|
|
|
'translate(' +
|
|
|
|
(graph.node(v).x - graph.node(v).width / 2) +
|
|
|
|
',' +
|
2019-10-03 19:08:15 +02:00
|
|
|
(graph.node(v).y +
|
|
|
|
(transformationLog[v] ? transformationLog[v].y : 0) -
|
|
|
|
graph.node(v).height / 2) +
|
2019-09-25 21:01:21 +02:00
|
|
|
' )'
|
|
|
|
);
|
|
|
|
}
|
|
|
|
});
|
2019-10-03 19:08:15 +02:00
|
|
|
let stateBox = diagram.node().getBBox();
|
|
|
|
console.warn('Node before labels ', stateBox.width);
|
|
|
|
|
2019-09-25 21:01:21 +02:00
|
|
|
graph.edges().forEach(function(e) {
|
|
|
|
if (typeof e !== 'undefined' && typeof graph.edge(e) !== 'undefined') {
|
|
|
|
logger.debug('Edge ' + e.v + ' -> ' + e.w + ': ' + JSON.stringify(graph.edge(e)));
|
|
|
|
drawEdge(diagram, graph.edge(e), graph.edge(e).relation);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2019-10-03 19:08:15 +02:00
|
|
|
stateBox = diagram.node().getBBox();
|
|
|
|
console.warn('Node after labels ', stateBox.width);
|
|
|
|
const stateInfo = {
|
|
|
|
id: parentId ? parentId : 'root',
|
|
|
|
label: parentId ? parentId : 'root',
|
|
|
|
width: 0,
|
|
|
|
height: 0
|
|
|
|
};
|
|
|
|
|
|
|
|
stateInfo.width = stateBox.width + 2 * conf.padding;
|
|
|
|
stateInfo.height = stateBox.height + 2 * conf.padding;
|
|
|
|
|
|
|
|
console.warn('Doc rendered', stateInfo, graph);
|
|
|
|
return stateInfo;
|
|
|
|
};
|
2019-09-21 08:19:55 -07:00
|
|
|
|
|
|
|
export default {
|
|
|
|
setConf,
|
|
|
|
draw
|
|
|
|
};
|