import {OverlayTrigger} from "react-bootstrap"; import React from "react"; import {v4 as uuidv4} from "uuid"; const resourcesWidthStyle = (occupied, max) => { return { width: `${Math.min(occupied * 100 / max, 100)}%`, } }; function EEMRenderer({occupied, max}) { return (
{`${occupied}/${max} EEM connectors used`}
); } function IDCTipRender({occupied, max}) { return ({`${occupied}/${max} IDC connectors used`}
); } function ClockTipRender({occupied, max}) { return ({`${occupied}/${max} clock connectors used`}
); } const resource_tip = { "eem": EEMTipRender, "clk": ClockTipRender, "idc": IDCTipRender } function RenderResources({resources, library}) { if (!resources) return null; let result = []; resources.forEach((value, _) => { if (library[value.name]) result.push(library[value.name](value)); }); return result; } export function Resources({resources}) { return (