ConceptPortal-public/rsconcept/frontend/src/dialogs/DlgShowAST.tsx

94 lines
2.7 KiB
TypeScript
Raw Normal View History

2023-09-04 20:37:55 +03:00
import { useCallback, useMemo, useState } from 'react';
import { GraphCanvas,GraphEdge, GraphNode } from 'reagraph';
2023-08-01 21:55:18 +03:00
2023-11-27 12:11:39 +03:00
import Modal, { ModalProps } from '../components/Common/Modal';
2023-11-01 13:47:49 +03:00
import { useConceptTheme } from '../context/ThemeContext';
import { SyntaxTree } from '../models/rslang';
import { graphDarkT, graphLightT } from '../utils/color';
import { colorbgSyntaxTree } from '../utils/color';
import { resources } from '../utils/constants';
import { labelSyntaxTree } from '../utils/labels';
2023-07-29 03:31:21 +03:00
2023-09-11 17:56:32 +03:00
interface DlgShowASTProps
extends Pick<ModalProps, 'hideWindow'> {
2023-07-29 03:31:21 +03:00
syntaxTree: SyntaxTree
2023-08-01 21:55:18 +03:00
expression: string
2023-07-29 03:31:21 +03:00
}
2023-08-01 21:55:18 +03:00
function DlgShowAST({ hideWindow, syntaxTree, expression }: DlgShowASTProps) {
2023-09-04 20:37:55 +03:00
const { darkMode, colors } = useConceptTheme();
const [hoverID, setHoverID] = useState<number | undefined>(undefined);
const hoverNode = useMemo(
() => syntaxTree.find(node => node.uid === hoverID)
, [hoverID, syntaxTree]);
2023-08-01 21:55:18 +03:00
const nodes: GraphNode[] = useMemo(
() => syntaxTree.map(node => ({
id: String(node.uid),
2023-09-21 14:58:01 +03:00
label: labelSyntaxTree(node),
fill: colorbgSyntaxTree(node, colors),
})), [syntaxTree, colors]);
2023-08-01 21:55:18 +03:00
const edges: GraphEdge[] = useMemo(
() => {
const result: GraphEdge[] = [];
syntaxTree.forEach(node => {
if (node.parent !== node.uid) {
2023-08-01 21:55:18 +03:00
result.push({
id: String(node.uid),
source: String(node.parent),
target: String(node.uid)
});
}
});
return result;
}, [syntaxTree]);
2023-07-29 03:31:21 +03:00
2023-09-04 20:37:55 +03:00
const handleHoverIn = useCallback(
(node: GraphNode) => setHoverID(Number(node.id))
, []);
2023-09-04 20:37:55 +03:00
const handleHoverOut = useCallback(
() => setHoverID(undefined)
, []);
2023-09-04 20:37:55 +03:00
2023-07-29 03:31:21 +03:00
return (
2023-12-04 14:19:54 +03:00
<Modal
hideWindow={hideWindow}
readonly
>
<div className='flex flex-col items-start gap-2 mt-2'>
<div className='w-full text-lg text-center'>
{!hoverNode ? expression : null}
{hoverNode ?
<div>
<span>{expression.slice(0, hoverNode.start)}</span>
<span className='clr-selected'>{expression.slice(hoverNode.start, hoverNode.finish)}</span>
<span>{expression.slice(hoverNode.finish)}</span>
</div> : null}
</div>
<div className='flex-wrap w-full h-full overflow-auto'>
<div
className='relative'
style={{
width: 'calc(100vw - 6rem - 2px)',
height: 'calc(100vh - 14rem - 2px)'
}}
2023-07-29 03:31:21 +03:00
>
2023-12-04 14:19:54 +03:00
<GraphCanvas
nodes={nodes}
edges={edges}
layoutType='hierarchicalTd'
labelFontUrl={resources.graph_font}
theme={darkMode ? graphDarkT : graphLightT}
onNodePointerOver={handleHoverIn}
onNodePointerOut={handleHoverOut}
/>
</div>
</div>
</div>
</Modal>);
2023-07-29 03:31:21 +03:00
}
export default DlgShowAST;