import { CGMLPoint } from './import'; export type ExportKeyNode = { '@id': string; '@for': string; '@attr.name'?: string; '@attr.type'?: string; }; export type ExportRect = { '@x': number; '@y': number; '@width': number; '@height': number; }; export type ExportPoint = { '@x': number; '@y': number; }; export type ExportDataNode = { '@key': string; content: string; rect?: ExportRect; point?: ExportPoint; }; export type ExportEdge = { '@id': string; '@source': string; '@target': string; data: Array; }; export type ExportNote = { '@id': string; position: CGMLPoint; text: string; }; export type ExportGraph = { '@id': string; node: Array; edge: Array; }; export type ExportNode = { '@id': string; data: Array; graph?: ExportGraph; }; export type ExportXMLNode = { '@version': string; '@encoding': string; }; export type ExportCGMLGraphmlNode = { '@xmlns': string; data: ExportDataNode; key: ExportKeyNode[]; graph: ExportGraph[]; }; export type ExportCGML = { '?xml': ExportXMLNode; graphml: ExportCGMLGraphmlNode; };