ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-11-15 17:21:38 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

B: Fix cst graph visualization

Browse Source
This commit is contained in:
Ivan 2025-10-15 11:56:56 +03:00
parent feb23337ae
commit b2699839af
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
rsconcept/frontend/src/features/rsform/models/graph-api.ts
View File

@ -57,11 +57,11 @@ export function applyLayout(nodes: Node<TGNodeState>[], edges: Edge[], subLabels
}); });
} }
export function inferEdgeType(schema: IRSForm, source: number, target: number): GraphType | null { export function inferEdgeType(schema: IRSForm, source: number, target: number): GraphType {
const isDefinition = schema.graph.hasEdge(source, target); const isDefinition = schema.graph.hasEdge(source, target);
const isAttribution = schema.attribution_graph.hasEdge(source, target); const isAttribution = schema.attribution_graph.hasEdge(source, target);
if (!isDefinition && !isAttribution) { if (!isDefinition && !isAttribution) {
return null; return 'definition';
} else if (isDefinition && isAttribution) { } else if (isDefinition && isAttribution) {
return 'full'; return 'full';
} else if (isDefinition) { } else if (isDefinition) {

2
rsconcept/frontend/src/features/rsform/pages/rsform-page/editor-term-graph/tg-flow.tsx
View File

@ -88,7 +88,7 @@ export function TGFlow() {
filteredGraph.nodes.forEach(source => { filteredGraph.nodes.forEach(source => {
source.outputs.forEach(target => { source.outputs.forEach(target => {
const edgeType = inferEdgeType(schema, source.id, target); const edgeType = inferEdgeType(schema, source.id, target);
if (edgeType && newNodes.find(node => node.id === String(target))) { if (newNodes.find(node => node.id === String(target))) {
const color = filter.graphType === 'full' ? colorGraphEdge(edgeType) : colorGraphEdge(filter.graphType); const color = filter.graphType === 'full' ? colorGraphEdge(edgeType) : colorGraphEdge(filter.graphType);
newEdges.push({ newEdges.push({
id: String(edgeID), id: String(edgeID),