@sciencestack-ai/tokens 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +102 -0
- package/dist/base/AbstractTokenNode.d.ts +100 -0
- package/dist/base/AbstractTokenNode.d.ts.map +1 -0
- package/dist/base/AbstractTokenNode.js +253 -0
- package/dist/base/AbstractTokenNode.js.map +1 -0
- package/dist/base/BaseTableFigureTokenNode.d.ts +26 -0
- package/dist/base/BaseTableFigureTokenNode.d.ts.map +1 -0
- package/dist/base/BaseTableFigureTokenNode.js +113 -0
- package/dist/base/BaseTableFigureTokenNode.js.map +1 -0
- package/dist/base/BaseTokenNode.d.ts +25 -0
- package/dist/base/BaseTokenNode.d.ts.map +1 -0
- package/dist/base/BaseTokenNode.js +137 -0
- package/dist/base/BaseTokenNode.js.map +1 -0
- package/dist/base/ITokenNodeFactory.d.ts +6 -0
- package/dist/base/ITokenNodeFactory.d.ts.map +1 -0
- package/dist/base/ITokenNodeFactory.js +2 -0
- package/dist/base/ITokenNodeFactory.js.map +1 -0
- package/dist/base/NodeRoles.d.ts +6 -0
- package/dist/base/NodeRoles.d.ts.map +1 -0
- package/dist/base/NodeRoles.js +7 -0
- package/dist/base/NodeRoles.js.map +1 -0
- package/dist/base/TokenNodeFactory.d.ts +9 -0
- package/dist/base/TokenNodeFactory.d.ts.map +1 -0
- package/dist/base/TokenNodeFactory.js +94 -0
- package/dist/base/TokenNodeFactory.js.map +1 -0
- package/dist/content/CaptionTokenNode.d.ts +23 -0
- package/dist/content/CaptionTokenNode.d.ts.map +1 -0
- package/dist/content/CaptionTokenNode.js +79 -0
- package/dist/content/CaptionTokenNode.js.map +1 -0
- package/dist/content/QuoteTokenNode.d.ts +12 -0
- package/dist/content/QuoteTokenNode.d.ts.map +1 -0
- package/dist/content/QuoteTokenNode.js +27 -0
- package/dist/content/QuoteTokenNode.js.map +1 -0
- package/dist/content/TextTokenNode.d.ts +26 -0
- package/dist/content/TextTokenNode.d.ts.map +1 -0
- package/dist/content/TextTokenNode.js +70 -0
- package/dist/content/TextTokenNode.js.map +1 -0
- package/dist/document/AbstractSectionTokenNode.d.ts +12 -0
- package/dist/document/AbstractSectionTokenNode.d.ts.map +1 -0
- package/dist/document/AbstractSectionTokenNode.js +22 -0
- package/dist/document/AbstractSectionTokenNode.js.map +1 -0
- package/dist/document/AppendixTokenNode.d.ts +12 -0
- package/dist/document/AppendixTokenNode.d.ts.map +1 -0
- package/dist/document/AppendixTokenNode.js +24 -0
- package/dist/document/AppendixTokenNode.js.map +1 -0
- package/dist/document/BaseEnvTokenNode.d.ts +20 -0
- package/dist/document/BaseEnvTokenNode.d.ts.map +1 -0
- package/dist/document/BaseEnvTokenNode.js +76 -0
- package/dist/document/BaseEnvTokenNode.js.map +1 -0
- package/dist/document/DocumentTokenNode.d.ts +11 -0
- package/dist/document/DocumentTokenNode.d.ts.map +1 -0
- package/dist/document/DocumentTokenNode.js +17 -0
- package/dist/document/DocumentTokenNode.js.map +1 -0
- package/dist/document/EnvironmentTokenNode.d.ts +12 -0
- package/dist/document/EnvironmentTokenNode.d.ts.map +1 -0
- package/dist/document/EnvironmentTokenNode.js +22 -0
- package/dist/document/EnvironmentTokenNode.js.map +1 -0
- package/dist/document/GroupTokenNode.d.ts +9 -0
- package/dist/document/GroupTokenNode.d.ts.map +1 -0
- package/dist/document/GroupTokenNode.js +16 -0
- package/dist/document/GroupTokenNode.js.map +1 -0
- package/dist/document/MathEnvTokenNode.d.ts +21 -0
- package/dist/document/MathEnvTokenNode.d.ts.map +1 -0
- package/dist/document/MathEnvTokenNode.js +91 -0
- package/dist/document/MathEnvTokenNode.js.map +1 -0
- package/dist/document/SectionTokenNode.d.ts +17 -0
- package/dist/document/SectionTokenNode.d.ts.map +1 -0
- package/dist/document/SectionTokenNode.js +66 -0
- package/dist/document/SectionTokenNode.js.map +1 -0
- package/dist/document/TitleTokenNode.d.ts +11 -0
- package/dist/document/TitleTokenNode.d.ts.map +1 -0
- package/dist/document/TitleTokenNode.js +19 -0
- package/dist/document/TitleTokenNode.js.map +1 -0
- package/dist/export_types.d.ts +46 -0
- package/dist/export_types.d.ts.map +1 -0
- package/dist/export_types.js +27 -0
- package/dist/export_types.js.map +1 -0
- package/dist/figures/DiagramTokenNode.d.ts +22 -0
- package/dist/figures/DiagramTokenNode.d.ts.map +1 -0
- package/dist/figures/DiagramTokenNode.js +62 -0
- package/dist/figures/DiagramTokenNode.js.map +1 -0
- package/dist/figures/FigureTokenNode.d.ts +11 -0
- package/dist/figures/FigureTokenNode.d.ts.map +1 -0
- package/dist/figures/FigureTokenNode.js +18 -0
- package/dist/figures/FigureTokenNode.js.map +1 -0
- package/dist/figures/IncludeGraphicsTokenNode.d.ts +20 -0
- package/dist/figures/IncludeGraphicsTokenNode.d.ts.map +1 -0
- package/dist/figures/IncludeGraphicsTokenNode.js +44 -0
- package/dist/figures/IncludeGraphicsTokenNode.js.map +1 -0
- package/dist/figures/IncludePdfTokenNode.d.ts +18 -0
- package/dist/figures/IncludePdfTokenNode.d.ts.map +1 -0
- package/dist/figures/IncludePdfTokenNode.js +38 -0
- package/dist/figures/IncludePdfTokenNode.js.map +1 -0
- package/dist/figures/SubFigureTokenNode.d.ts +11 -0
- package/dist/figures/SubFigureTokenNode.d.ts.map +1 -0
- package/dist/figures/SubFigureTokenNode.js +18 -0
- package/dist/figures/SubFigureTokenNode.js.map +1 -0
- package/dist/graph/graphTypes.d.ts +42 -0
- package/dist/graph/graphTypes.d.ts.map +1 -0
- package/dist/graph/graphTypes.js +75 -0
- package/dist/graph/graphTypes.js.map +1 -0
- package/dist/graph/index.d.ts +4 -0
- package/dist/graph/index.d.ts.map +1 -0
- package/dist/graph/index.js +3 -0
- package/dist/graph/index.js.map +1 -0
- package/dist/graph/mathColors.d.ts +11 -0
- package/dist/graph/mathColors.d.ts.map +1 -0
- package/dist/graph/mathColors.js +20 -0
- package/dist/graph/mathColors.js.map +1 -0
- package/dist/graph/mathDepGraph.d.ts +4 -0
- package/dist/graph/mathDepGraph.d.ts.map +1 -0
- package/dist/graph/mathDepGraph.js +320 -0
- package/dist/graph/mathDepGraph.js.map +1 -0
- package/dist/index.d.ts +42 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +54 -0
- package/dist/index.js.map +1 -0
- package/dist/lists/ListItemTokenNode.d.ts +15 -0
- package/dist/lists/ListItemTokenNode.d.ts.map +1 -0
- package/dist/lists/ListItemTokenNode.js +91 -0
- package/dist/lists/ListItemTokenNode.js.map +1 -0
- package/dist/lists/ListTokenNode.d.ts +19 -0
- package/dist/lists/ListTokenNode.d.ts.map +1 -0
- package/dist/lists/ListTokenNode.js +52 -0
- package/dist/lists/ListTokenNode.js.map +1 -0
- package/dist/metadata/AuthorTokenNode.d.ts +12 -0
- package/dist/metadata/AuthorTokenNode.d.ts.map +1 -0
- package/dist/metadata/AuthorTokenNode.js +39 -0
- package/dist/metadata/AuthorTokenNode.js.map +1 -0
- package/dist/metadata/MetadataTokenNode.d.ts +16 -0
- package/dist/metadata/MetadataTokenNode.d.ts.map +1 -0
- package/dist/metadata/MetadataTokenNode.js +35 -0
- package/dist/metadata/MetadataTokenNode.js.map +1 -0
- package/dist/references/BibitemTokenNode.d.ts +34 -0
- package/dist/references/BibitemTokenNode.d.ts.map +1 -0
- package/dist/references/BibitemTokenNode.js +149 -0
- package/dist/references/BibitemTokenNode.js.map +1 -0
- package/dist/references/CitationTokenNode.d.ts +19 -0
- package/dist/references/CitationTokenNode.d.ts.map +1 -0
- package/dist/references/CitationTokenNode.js +56 -0
- package/dist/references/CitationTokenNode.js.map +1 -0
- package/dist/references/FootnoteTokenNode.d.ts +13 -0
- package/dist/references/FootnoteTokenNode.d.ts.map +1 -0
- package/dist/references/FootnoteTokenNode.js +24 -0
- package/dist/references/FootnoteTokenNode.js.map +1 -0
- package/dist/references/ReferenceTokenNode.d.ts +19 -0
- package/dist/references/ReferenceTokenNode.d.ts.map +1 -0
- package/dist/references/ReferenceTokenNode.js +87 -0
- package/dist/references/ReferenceTokenNode.js.map +1 -0
- package/dist/references/UrlTokenNode.d.ts +17 -0
- package/dist/references/UrlTokenNode.d.ts.map +1 -0
- package/dist/references/UrlTokenNode.js +33 -0
- package/dist/references/UrlTokenNode.js.map +1 -0
- package/dist/styles.d.ts +9 -0
- package/dist/styles.d.ts.map +1 -0
- package/dist/styles.js +122 -0
- package/dist/styles.js.map +1 -0
- package/dist/tables/SubTableTokenNode.d.ts +11 -0
- package/dist/tables/SubTableTokenNode.d.ts.map +1 -0
- package/dist/tables/SubTableTokenNode.js +18 -0
- package/dist/tables/SubTableTokenNode.js.map +1 -0
- package/dist/tables/TableTokenNode.d.ts +11 -0
- package/dist/tables/TableTokenNode.d.ts.map +1 -0
- package/dist/tables/TableTokenNode.js +18 -0
- package/dist/tables/TableTokenNode.js.map +1 -0
- package/dist/tables/TabularTokenNode.d.ts +63 -0
- package/dist/tables/TabularTokenNode.d.ts.map +1 -0
- package/dist/tables/TabularTokenNode.js +318 -0
- package/dist/tables/TabularTokenNode.js.map +1 -0
- package/dist/technical/AlgorithmTokenNode.d.ts +22 -0
- package/dist/technical/AlgorithmTokenNode.d.ts.map +1 -0
- package/dist/technical/AlgorithmTokenNode.js +54 -0
- package/dist/technical/AlgorithmTokenNode.js.map +1 -0
- package/dist/technical/CodeTokenNode.d.ts +16 -0
- package/dist/technical/CodeTokenNode.d.ts.map +1 -0
- package/dist/technical/CodeTokenNode.js +43 -0
- package/dist/technical/CodeTokenNode.js.map +1 -0
- package/dist/technical/CommandTokenNode.d.ts +14 -0
- package/dist/technical/CommandTokenNode.d.ts.map +1 -0
- package/dist/technical/CommandTokenNode.js +26 -0
- package/dist/technical/CommandTokenNode.js.map +1 -0
- package/dist/technical/EquationArrayTokenNode.d.ts +40 -0
- package/dist/technical/EquationArrayTokenNode.d.ts.map +1 -0
- package/dist/technical/EquationArrayTokenNode.js +220 -0
- package/dist/technical/EquationArrayTokenNode.js.map +1 -0
- package/dist/technical/EquationTokenNode.d.ts +19 -0
- package/dist/technical/EquationTokenNode.d.ts.map +1 -0
- package/dist/technical/EquationTokenNode.js +96 -0
- package/dist/technical/EquationTokenNode.js.map +1 -0
- package/dist/tokenProcessing.d.ts +4 -0
- package/dist/tokenProcessing.d.ts.map +1 -0
- package/dist/tokenProcessing.js +19 -0
- package/dist/tokenProcessing.js.map +1 -0
- package/dist/types.d.ts +287 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +90 -0
- package/dist/types.js.map +1 -0
- package/dist/utils/arxiv.d.ts +57 -0
- package/dist/utils/arxiv.d.ts.map +1 -0
- package/dist/utils/arxiv.js +142 -0
- package/dist/utils/arxiv.js.map +1 -0
- package/dist/utils/citationConverters.d.ts +33 -0
- package/dist/utils/citationConverters.d.ts.map +1 -0
- package/dist/utils/citationConverters.js +151 -0
- package/dist/utils/citationConverters.js.map +1 -0
- package/dist/utils.d.ts +14 -0
- package/dist/utils.d.ts.map +1 -0
- package/dist/utils.js +117 -0
- package/dist/utils.js.map +1 -0
- package/package.json +44 -0
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
import { DiagramToken } from '../types';
|
|
2
|
+
import { BaseTokenNode } from '../base/BaseTokenNode';
|
|
3
|
+
import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
|
|
4
|
+
import { CopyContentOptions, LatexExportOptions, MarkdownExportOptions } from '../export_types';
|
|
5
|
+
export declare class DiagramTokenNode extends BaseTokenNode {
|
|
6
|
+
protected tokenFactory?: ITokenNodeFactory | undefined;
|
|
7
|
+
constructor(token: DiagramToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
|
|
8
|
+
get token(): DiagramToken;
|
|
9
|
+
get width(): number;
|
|
10
|
+
get height(): number;
|
|
11
|
+
get name(): string;
|
|
12
|
+
getError(): {
|
|
13
|
+
message: string;
|
|
14
|
+
type: import("..").GraphicsErrorType;
|
|
15
|
+
} | undefined;
|
|
16
|
+
getCode(): string;
|
|
17
|
+
getPath(): string | undefined;
|
|
18
|
+
getCopyContent(options?: CopyContentOptions): string;
|
|
19
|
+
getLatexContent(options?: LatexExportOptions): string;
|
|
20
|
+
getMarkdownContent(options?: MarkdownExportOptions): string;
|
|
21
|
+
}
|
|
22
|
+
//# sourceMappingURL=DiagramTokenNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DiagramTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/DiagramTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAwB,MAAM,iBAAiB,CAAC;AAEtH,qBAAa,gBAAiB,SAAQ,aAAa;IAI/C,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,YAAY,EACnB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,YAAY,CAExB;IAED,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,IAAI,IAAI,WAEP;IAED,QAAQ;;;;IAIR,OAAO;IAKP,OAAO;IAKP,cAAc,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAIpD,eAAe,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAmBrD,kBAAkB,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,MAAM;CAS5D"}
|
|
@@ -0,0 +1,62 @@
|
|
|
1
|
+
import { BaseTokenNode } from '../base/BaseTokenNode';
|
|
2
|
+
import { getAssetRelativePath } from '../export_types';
|
|
3
|
+
export class DiagramTokenNode extends BaseTokenNode {
|
|
4
|
+
tokenFactory;
|
|
5
|
+
constructor(token, id, tokenFactory) {
|
|
6
|
+
super(token, id, tokenFactory);
|
|
7
|
+
this.tokenFactory = tokenFactory;
|
|
8
|
+
}
|
|
9
|
+
get token() {
|
|
10
|
+
return this._token;
|
|
11
|
+
}
|
|
12
|
+
get width() {
|
|
13
|
+
return this.token.width ?? 0;
|
|
14
|
+
}
|
|
15
|
+
get height() {
|
|
16
|
+
return this.token.height ?? 0;
|
|
17
|
+
}
|
|
18
|
+
get name() {
|
|
19
|
+
return this.token.name; // tikzpicture, picture, etc.
|
|
20
|
+
}
|
|
21
|
+
getError() {
|
|
22
|
+
return this.token.error;
|
|
23
|
+
}
|
|
24
|
+
getCode() {
|
|
25
|
+
// e.g. \begin{tikzpicture} ... \end{tikzpicture}
|
|
26
|
+
return this.token.content;
|
|
27
|
+
}
|
|
28
|
+
getPath() {
|
|
29
|
+
// svg path or image path
|
|
30
|
+
return this.token.path;
|
|
31
|
+
}
|
|
32
|
+
getCopyContent(options) {
|
|
33
|
+
return this.getPath() ?? '';
|
|
34
|
+
}
|
|
35
|
+
getLatexContent(options) {
|
|
36
|
+
let comment = '';
|
|
37
|
+
const path = this.getPath();
|
|
38
|
+
if (!path) {
|
|
39
|
+
return '';
|
|
40
|
+
}
|
|
41
|
+
const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
|
|
42
|
+
comment = '\n% Alternatively use path: \n% ';
|
|
43
|
+
// Check if the file is an SVG and use appropriate command
|
|
44
|
+
if (relativePath.toLowerCase().endsWith('.svg')) {
|
|
45
|
+
const pathWithoutExt = relativePath.replace(/\.svg$/i, '');
|
|
46
|
+
comment += `\\includesvg{${pathWithoutExt}}\n`;
|
|
47
|
+
}
|
|
48
|
+
else {
|
|
49
|
+
comment += `\\includegraphics{${relativePath}}\n`;
|
|
50
|
+
}
|
|
51
|
+
return comment + this.getCode();
|
|
52
|
+
}
|
|
53
|
+
getMarkdownContent(options) {
|
|
54
|
+
const path = this.getPath();
|
|
55
|
+
if (!path) {
|
|
56
|
+
return '';
|
|
57
|
+
}
|
|
58
|
+
const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
|
|
59
|
+
return ``;
|
|
60
|
+
}
|
|
61
|
+
}
|
|
62
|
+
//# sourceMappingURL=DiagramTokenNode.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DiagramTokenNode.js","sourceRoot":"","sources":["../../src/figures/DiagramTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAiE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEtH,MAAM,OAAO,gBAAiB,SAAQ,aAAa;IAIrC;IAHZ,YACE,KAAmB,EACnB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAsB,CAAC;IACrC,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,6BAA6B;IACvD,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,iDAAiD;QACjD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,yBAAyB;QACzB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,cAAc,CAAC,OAA4B;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,eAAe,CAAC,OAA4B;QAC1C,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,GAAG,kCAAkC,CAAC;QAE7C,0DAA0D;QAC1D,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC3D,OAAO,IAAI,gBAAgB,cAAc,KAAK,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,qBAAqB,YAAY,KAAK,CAAC;QACpD,CAAC;QACD,OAAO,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAClC,CAAC;IAED,kBAAkB,CAAC,OAA+B;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,QAAQ,YAAY,GAAG,CAAC;IACjC,CAAC;CACF"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { FigureToken } from '../types';
|
|
2
|
+
import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
|
|
3
|
+
import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
|
|
4
|
+
export declare class FigureTokenNode extends BaseTableFigureTokenNode {
|
|
5
|
+
protected tokenFactory?: ITokenNodeFactory | undefined;
|
|
6
|
+
constructor(token: FigureToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
|
|
7
|
+
get token(): FigureToken;
|
|
8
|
+
protected getLabelPrefix(): string;
|
|
9
|
+
getEnvironmentName(): string;
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=FigureTokenNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"FigureTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/FigureTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,qBAAa,eAAgB,SAAQ,wBAAwB;IAIzD,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,WAAW,EAClB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,WAAW,CAEvB;IAED,SAAS,CAAC,cAAc,IAAI,MAAM;IAIlC,kBAAkB,IAAI,MAAM;CAG7B"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
|
|
2
|
+
export class FigureTokenNode extends BaseTableFigureTokenNode {
|
|
3
|
+
tokenFactory;
|
|
4
|
+
constructor(token, id, tokenFactory) {
|
|
5
|
+
super(token, id, tokenFactory);
|
|
6
|
+
this.tokenFactory = tokenFactory;
|
|
7
|
+
}
|
|
8
|
+
get token() {
|
|
9
|
+
return this._token;
|
|
10
|
+
}
|
|
11
|
+
getLabelPrefix() {
|
|
12
|
+
return 'fig';
|
|
13
|
+
}
|
|
14
|
+
getEnvironmentName() {
|
|
15
|
+
return 'Figure';
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
//# sourceMappingURL=FigureTokenNode.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"FigureTokenNode.js","sourceRoot":"","sources":["../../src/figures/FigureTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAG5E,MAAM,OAAO,eAAgB,SAAQ,wBAAwB;IAI/C;IAHZ,YACE,KAAkB,EAClB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAqB,CAAC;IACpC,CAAC;IAES,cAAc;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kBAAkB;QAChB,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import { IncludeGraphicsToken } from '../types';
|
|
2
|
+
import { BaseTokenNode } from '../base/BaseTokenNode';
|
|
3
|
+
import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
|
|
4
|
+
import { CopyContentOptions, LatexExportOptions, MarkdownExportOptions } from '../export_types';
|
|
5
|
+
export declare class IncludeGraphicsTokenNode extends BaseTokenNode {
|
|
6
|
+
protected tokenFactory?: ITokenNodeFactory | undefined;
|
|
7
|
+
constructor(token: IncludeGraphicsToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
|
|
8
|
+
get token(): IncludeGraphicsToken;
|
|
9
|
+
get width(): number;
|
|
10
|
+
get height(): number;
|
|
11
|
+
getPath(): string | undefined;
|
|
12
|
+
getError(): {
|
|
13
|
+
message: string;
|
|
14
|
+
type: import("..").GraphicsErrorType;
|
|
15
|
+
} | undefined;
|
|
16
|
+
getCopyContent(options?: CopyContentOptions): string;
|
|
17
|
+
getLatexContent(options?: LatexExportOptions): string;
|
|
18
|
+
getMarkdownContent(options?: MarkdownExportOptions): string;
|
|
19
|
+
}
|
|
20
|
+
//# sourceMappingURL=IncludeGraphicsTokenNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"IncludeGraphicsTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/IncludeGraphicsTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAwB,MAAM,iBAAiB,CAAC;AAEtH,qBAAa,wBAAyB,SAAQ,aAAa;IAIvD,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,oBAAoB,EAC3B,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,oBAAoB,CAEhC;IAED,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,OAAO;IAIP,QAAQ;;;;IAIR,cAAc,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAIpD,eAAe,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IASrD,kBAAkB,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,MAAM;CAQ5D"}
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
import { BaseTokenNode } from '../base/BaseTokenNode';
|
|
2
|
+
import { getAssetRelativePath } from '../export_types';
|
|
3
|
+
export class IncludeGraphicsTokenNode extends BaseTokenNode {
|
|
4
|
+
tokenFactory;
|
|
5
|
+
constructor(token, id, tokenFactory) {
|
|
6
|
+
super(token, id, tokenFactory);
|
|
7
|
+
this.tokenFactory = tokenFactory;
|
|
8
|
+
}
|
|
9
|
+
get token() {
|
|
10
|
+
return this._token;
|
|
11
|
+
}
|
|
12
|
+
get width() {
|
|
13
|
+
return this.token.width ?? 0;
|
|
14
|
+
}
|
|
15
|
+
get height() {
|
|
16
|
+
return this.token.height ?? 0;
|
|
17
|
+
}
|
|
18
|
+
getPath() {
|
|
19
|
+
return this.token.path;
|
|
20
|
+
}
|
|
21
|
+
getError() {
|
|
22
|
+
return this.token.error;
|
|
23
|
+
}
|
|
24
|
+
getCopyContent(options) {
|
|
25
|
+
return this.getPath() ?? '';
|
|
26
|
+
}
|
|
27
|
+
getLatexContent(options) {
|
|
28
|
+
const path = this.getPath();
|
|
29
|
+
if (!path) {
|
|
30
|
+
return '';
|
|
31
|
+
}
|
|
32
|
+
const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
|
|
33
|
+
return `\\includegraphics{${relativePath}}`;
|
|
34
|
+
}
|
|
35
|
+
getMarkdownContent(options) {
|
|
36
|
+
const path = this.getPath();
|
|
37
|
+
if (!path) {
|
|
38
|
+
return '';
|
|
39
|
+
}
|
|
40
|
+
const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
|
|
41
|
+
return ``;
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
//# sourceMappingURL=IncludeGraphicsTokenNode.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"IncludeGraphicsTokenNode.js","sourceRoot":"","sources":["../../src/figures/IncludeGraphicsTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAiE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEtH,MAAM,OAAO,wBAAyB,SAAQ,aAAa;IAI7C;IAHZ,YACE,KAA2B,EAC3B,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAA8B,CAAC;IAC7C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,cAAc,CAAC,OAA4B;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,eAAe,CAAC,OAA4B;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,qBAAqB,YAAY,GAAG,CAAC;IAC9C,CAAC;IAED,kBAAkB,CAAC,OAA+B;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,QAAQ,YAAY,GAAG,CAAC;IACjC,CAAC;CACF"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { IncludePdfToken } from '../types';
|
|
2
|
+
import { BaseTokenNode } from '../base/BaseTokenNode';
|
|
3
|
+
import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
|
|
4
|
+
import { CopyContentOptions, LatexExportOptions, MarkdownExportOptions } from '../export_types';
|
|
5
|
+
export declare class IncludePdfTokenNode extends BaseTokenNode {
|
|
6
|
+
protected tokenFactory?: ITokenNodeFactory | undefined;
|
|
7
|
+
constructor(token: IncludePdfToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
|
|
8
|
+
get token(): IncludePdfToken;
|
|
9
|
+
getPath(): string | undefined;
|
|
10
|
+
getError(): {
|
|
11
|
+
message: string;
|
|
12
|
+
type: import("..").GraphicsErrorType;
|
|
13
|
+
} | undefined;
|
|
14
|
+
getCopyContent(options?: CopyContentOptions): string;
|
|
15
|
+
getLatexContent(options?: LatexExportOptions): string;
|
|
16
|
+
getMarkdownContent(options?: MarkdownExportOptions): string;
|
|
17
|
+
}
|
|
18
|
+
//# sourceMappingURL=IncludePdfTokenNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"IncludePdfTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/IncludePdfTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAwB,MAAM,iBAAiB,CAAC;AAEtH,qBAAa,mBAAoB,SAAQ,aAAa;IAIlD,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,eAAe,EACtB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,eAAe,CAE3B;IAED,OAAO;IAIP,QAAQ;;;;IAIR,cAAc,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IAIpD,eAAe,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,MAAM;IASrD,kBAAkB,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,MAAM;CAQ5D"}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
import { BaseTokenNode } from '../base/BaseTokenNode';
|
|
2
|
+
import { getAssetRelativePath } from '../export_types';
|
|
3
|
+
export class IncludePdfTokenNode extends BaseTokenNode {
|
|
4
|
+
tokenFactory;
|
|
5
|
+
constructor(token, id, tokenFactory) {
|
|
6
|
+
super(token, id, tokenFactory);
|
|
7
|
+
this.tokenFactory = tokenFactory;
|
|
8
|
+
}
|
|
9
|
+
get token() {
|
|
10
|
+
return this._token;
|
|
11
|
+
}
|
|
12
|
+
getPath() {
|
|
13
|
+
return this.token.path;
|
|
14
|
+
}
|
|
15
|
+
getError() {
|
|
16
|
+
return this.token.error;
|
|
17
|
+
}
|
|
18
|
+
getCopyContent(options) {
|
|
19
|
+
return this.getPath() ?? '';
|
|
20
|
+
}
|
|
21
|
+
getLatexContent(options) {
|
|
22
|
+
const path = this.getPath();
|
|
23
|
+
if (!path) {
|
|
24
|
+
return '';
|
|
25
|
+
}
|
|
26
|
+
const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
|
|
27
|
+
return `\\includepdf{${relativePath}}`;
|
|
28
|
+
}
|
|
29
|
+
getMarkdownContent(options) {
|
|
30
|
+
const path = this.getPath();
|
|
31
|
+
if (!path) {
|
|
32
|
+
return '';
|
|
33
|
+
}
|
|
34
|
+
const relativePath = getAssetRelativePath(path, options?.paperId, options?.assetsFolderName);
|
|
35
|
+
return ``;
|
|
36
|
+
}
|
|
37
|
+
}
|
|
38
|
+
//# sourceMappingURL=IncludePdfTokenNode.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"IncludePdfTokenNode.js","sourceRoot":"","sources":["../../src/figures/IncludePdfTokenNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAiE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEtH,MAAM,OAAO,mBAAoB,SAAQ,aAAa;IAIxC;IAHZ,YACE,KAAsB,EACtB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAyB,CAAC;IACxC,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,cAAc,CAAC,OAA4B;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,eAAe,CAAC,OAA4B;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,gBAAgB,YAAY,GAAG,CAAC;IACzC,CAAC;IAED,kBAAkB,CAAC,OAA+B;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC7F,OAAO,QAAQ,YAAY,GAAG,CAAC;IACjC,CAAC;CACF"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { SubFigureToken } from '../types';
|
|
2
|
+
import { ITokenNodeFactory } from '../base/ITokenNodeFactory';
|
|
3
|
+
import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
|
|
4
|
+
export declare class SubFigureTokenNode extends BaseTableFigureTokenNode {
|
|
5
|
+
protected tokenFactory?: ITokenNodeFactory | undefined;
|
|
6
|
+
constructor(token: SubFigureToken, id?: string, tokenFactory?: ITokenNodeFactory | undefined);
|
|
7
|
+
get token(): SubFigureToken;
|
|
8
|
+
protected getLabelPrefix(): string;
|
|
9
|
+
getEnvironmentName(): string;
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=SubFigureTokenNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SubFigureTokenNode.d.ts","sourceRoot":"","sources":["../../src/figures/SubFigureTokenNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAG1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,qBAAa,kBAAmB,SAAQ,wBAAwB;IAI5D,SAAS,CAAC,YAAY,CAAC,EAAE,iBAAiB;gBAF1C,KAAK,EAAE,cAAc,EACrB,EAAE,CAAC,EAAE,MAAM,EACD,YAAY,CAAC,EAAE,iBAAiB,YAAA;IAK5C,IAAI,KAAK,IAAI,cAAc,CAE1B;IAED,SAAS,CAAC,cAAc,IAAI,MAAM;IAIlC,kBAAkB,IAAI,MAAM;CAG7B"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { BaseTableFigureTokenNode } from '../base/BaseTableFigureTokenNode';
|
|
2
|
+
export class SubFigureTokenNode extends BaseTableFigureTokenNode {
|
|
3
|
+
tokenFactory;
|
|
4
|
+
constructor(token, id, tokenFactory) {
|
|
5
|
+
super(token, id, tokenFactory);
|
|
6
|
+
this.tokenFactory = tokenFactory;
|
|
7
|
+
}
|
|
8
|
+
get token() {
|
|
9
|
+
return this._token;
|
|
10
|
+
}
|
|
11
|
+
getLabelPrefix() {
|
|
12
|
+
return 'subfig';
|
|
13
|
+
}
|
|
14
|
+
getEnvironmentName() {
|
|
15
|
+
return 'Figure';
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
//# sourceMappingURL=SubFigureTokenNode.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SubFigureTokenNode.js","sourceRoot":"","sources":["../../src/figures/SubFigureTokenNode.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,MAAM,OAAO,kBAAmB,SAAQ,wBAAwB;IAIlD;IAHZ,YACE,KAAqB,EACrB,EAAW,EACD,YAAgC;QAE1C,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QAFrB,iBAAY,GAAZ,YAAY,CAAoB;IAG5C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAwB,CAAC;IACvC,CAAC;IAES,cAAc;QACtB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,kBAAkB;QAChB,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
|
|
@@ -0,0 +1,42 @@
|
|
|
1
|
+
import { AbstractTokenNode } from '../';
|
|
2
|
+
export declare enum GraphNodeType {
|
|
3
|
+
mathEnv = "mathEnv",// e.g. theorem/lemma/definition/etc
|
|
4
|
+
proof = "proof"
|
|
5
|
+
}
|
|
6
|
+
export declare class GraphNode {
|
|
7
|
+
node: AbstractTokenNode;
|
|
8
|
+
type: GraphNodeType;
|
|
9
|
+
label: string;
|
|
10
|
+
parentNode?: GraphNode;
|
|
11
|
+
constructor(node: AbstractTokenNode, type: GraphNodeType, label: string);
|
|
12
|
+
get id(): string;
|
|
13
|
+
}
|
|
14
|
+
export declare class GraphEdge {
|
|
15
|
+
source: GraphNode;
|
|
16
|
+
target: GraphNode;
|
|
17
|
+
label?: string;
|
|
18
|
+
partial?: boolean;
|
|
19
|
+
constructor(source: GraphNode, target: GraphNode, label?: string, partial?: boolean);
|
|
20
|
+
}
|
|
21
|
+
export interface GraphData {
|
|
22
|
+
nodes: GraphNode[];
|
|
23
|
+
edges: GraphEdge[];
|
|
24
|
+
}
|
|
25
|
+
type NodeJson = {
|
|
26
|
+
id: string;
|
|
27
|
+
type: string;
|
|
28
|
+
numbering: string;
|
|
29
|
+
title?: string;
|
|
30
|
+
};
|
|
31
|
+
type EdgeJson = {
|
|
32
|
+
from: string;
|
|
33
|
+
to: string;
|
|
34
|
+
type: string;
|
|
35
|
+
indirect?: boolean;
|
|
36
|
+
};
|
|
37
|
+
export declare function graphdataToJSONForLLM(graphData: GraphData): {
|
|
38
|
+
nodes: NodeJson[];
|
|
39
|
+
edges: EdgeJson[];
|
|
40
|
+
};
|
|
41
|
+
export {};
|
|
42
|
+
//# sourceMappingURL=graphTypes.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"graphTypes.d.ts","sourceRoot":"","sources":["../../src/graph/graphTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,KAAK,CAAC;AAE1D,oBAAY,aAAa;IACvB,OAAO,YAAY,CAAE,oCAAoC;IACzD,KAAK,UAAU;CAChB;AAED,qBAAa,SAAS;IACb,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,SAAS,CAAC;gBAElB,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM;IAMvE,IAAI,EAAE,IAAI,MAAM,CAEf;CACF;AAED,qBAAa,SAAS;IACb,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,SAAS,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;gBAEb,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO;CAMpF;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAED,KAAK,QAAQ,GAAG;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,KAAK,QAAQ,GAAG;IACd,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,SAAS;;;EA2CzD"}
|
|
@@ -0,0 +1,75 @@
|
|
|
1
|
+
import { MathEnvTokenNode } from '../';
|
|
2
|
+
export var GraphNodeType;
|
|
3
|
+
(function (GraphNodeType) {
|
|
4
|
+
GraphNodeType["mathEnv"] = "mathEnv";
|
|
5
|
+
GraphNodeType["proof"] = "proof";
|
|
6
|
+
})(GraphNodeType || (GraphNodeType = {}));
|
|
7
|
+
export class GraphNode {
|
|
8
|
+
node;
|
|
9
|
+
type;
|
|
10
|
+
label;
|
|
11
|
+
parentNode; // For proof nodes attached to theorem nodes
|
|
12
|
+
constructor(node, type, label) {
|
|
13
|
+
this.node = node;
|
|
14
|
+
this.type = type;
|
|
15
|
+
this.label = label;
|
|
16
|
+
}
|
|
17
|
+
get id() {
|
|
18
|
+
return this.node.id;
|
|
19
|
+
}
|
|
20
|
+
}
|
|
21
|
+
export class GraphEdge {
|
|
22
|
+
source;
|
|
23
|
+
target;
|
|
24
|
+
label;
|
|
25
|
+
partial;
|
|
26
|
+
constructor(source, target, label, partial) {
|
|
27
|
+
this.source = source;
|
|
28
|
+
this.target = target;
|
|
29
|
+
this.label = label;
|
|
30
|
+
this.partial = partial;
|
|
31
|
+
}
|
|
32
|
+
}
|
|
33
|
+
export function graphdataToJSONForLLM(graphData) {
|
|
34
|
+
const nodes = [];
|
|
35
|
+
const edges = [];
|
|
36
|
+
const convertNodeToStr = (node) => {
|
|
37
|
+
if (node instanceof MathEnvTokenNode) {
|
|
38
|
+
const name = node.name.toLowerCase();
|
|
39
|
+
const nodeId = name + ' ' + node.numbering;
|
|
40
|
+
return nodeId;
|
|
41
|
+
}
|
|
42
|
+
return node.id;
|
|
43
|
+
};
|
|
44
|
+
for (const graphNode of graphData.nodes) {
|
|
45
|
+
const node = graphNode.node;
|
|
46
|
+
const nodeId = convertNodeToStr(node);
|
|
47
|
+
const nodeJson = {
|
|
48
|
+
id: nodeId,
|
|
49
|
+
type: node.name || node.constructor.name,
|
|
50
|
+
numbering: node.numbering ?? ''
|
|
51
|
+
};
|
|
52
|
+
if (typeof node.getTitleStr === 'function') {
|
|
53
|
+
const titleStr = node.getTitleStr(false);
|
|
54
|
+
if (titleStr.length > 0)
|
|
55
|
+
nodeJson.title = titleStr;
|
|
56
|
+
}
|
|
57
|
+
nodes.push(nodeJson);
|
|
58
|
+
}
|
|
59
|
+
for (const edge of graphData.edges) {
|
|
60
|
+
let label = edge.label ?? '';
|
|
61
|
+
if (label == 'proof') {
|
|
62
|
+
label = 'in proof of ' + convertNodeToStr(edge.target.node);
|
|
63
|
+
}
|
|
64
|
+
const edgeJson = {
|
|
65
|
+
from: convertNodeToStr(edge.source.node),
|
|
66
|
+
to: convertNodeToStr(edge.target.node),
|
|
67
|
+
type: label
|
|
68
|
+
};
|
|
69
|
+
if (edge.partial)
|
|
70
|
+
edgeJson.indirect = true;
|
|
71
|
+
edges.push(edgeJson);
|
|
72
|
+
}
|
|
73
|
+
return { nodes, edges };
|
|
74
|
+
}
|
|
75
|
+
//# sourceMappingURL=graphTypes.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"graphTypes.js","sourceRoot":"","sources":["../../src/graph/graphTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAE1D,MAAM,CAAN,IAAY,aAGX;AAHD,WAAY,aAAa;IACvB,oCAAmB,CAAA;IACnB,gCAAe,CAAA;AACjB,CAAC,EAHW,aAAa,KAAb,aAAa,QAGxB;AAED,MAAM,OAAO,SAAS;IACb,IAAI,CAAoB;IACxB,IAAI,CAAgB;IACpB,KAAK,CAAS;IACd,UAAU,CAAa,CAAC,4CAA4C;IAE3E,YAAY,IAAuB,EAAE,IAAmB,EAAE,KAAa;QACrE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,IAAI,EAAE;QACJ,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACtB,CAAC;CACF;AAED,MAAM,OAAO,SAAS;IACb,MAAM,CAAY;IAClB,MAAM,CAAY;IAClB,KAAK,CAAU;IACf,OAAO,CAAW;IAEzB,YAAY,MAAiB,EAAE,MAAiB,EAAE,KAAc,EAAE,OAAiB;QACjF,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAqBD,MAAM,UAAU,qBAAqB,CAAC,SAAoB;IACxD,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,MAAM,gBAAgB,GAAG,CAAC,IAAuB,EAAE,EAAE;QACnD,IAAI,IAAI,YAAY,gBAAgB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;YAC3C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;QAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAa;YACzB,EAAE,EAAE,MAAM;YACV,IAAI,EAAG,IAAY,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI;YACjD,SAAS,EAAG,IAAY,CAAC,SAAS,IAAI,EAAE;SACzC,CAAC;QACF,IAAI,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAI,IAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC;QACrD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;YACrB,KAAK,GAAG,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,QAAQ,GAAa;YACzB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACxC,EAAE,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACtC,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,IAAI,IAAI,CAAC,OAAO;YAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,IAAI,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,IAAI,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { AbstractTokenNode } from '../';
|
|
2
|
+
export declare const MathEnvColors: {
|
|
3
|
+
readonly theorem: "#228B22";
|
|
4
|
+
readonly lemma: "#228B22";
|
|
5
|
+
readonly corollary: "#228B22";
|
|
6
|
+
readonly proposition: "#228B22";
|
|
7
|
+
readonly definition: "#1E90FF";
|
|
8
|
+
readonly default: "#A9A9A9";
|
|
9
|
+
};
|
|
10
|
+
export declare function getMathEnvColor(node?: AbstractTokenNode): string;
|
|
11
|
+
//# sourceMappingURL=mathColors.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mathColors.d.ts","sourceRoot":"","sources":["../../src/graph/mathColors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,KAAK,CAAC;AAE1D,eAAO,MAAM,aAAa;;;;;;;CAShB,CAAC;AAEX,wBAAgB,eAAe,CAAC,IAAI,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAKhE"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import { MathEnvTokenNode } from '../';
|
|
2
|
+
export const MathEnvColors = {
|
|
3
|
+
theorem: '#228B22',
|
|
4
|
+
lemma: '#228B22', // Forest Green
|
|
5
|
+
corollary: '#228B22',
|
|
6
|
+
proposition: '#228B22',
|
|
7
|
+
definition: '#1E90FF',
|
|
8
|
+
// remark: '#A9A9A9', // DarkGray
|
|
9
|
+
// example: '#B0B0B0', // Gray, lighter than Remark
|
|
10
|
+
default: '#A9A9A9' // Default color (DarkGray)
|
|
11
|
+
};
|
|
12
|
+
export function getMathEnvColor(node) {
|
|
13
|
+
if (!node || !(node instanceof MathEnvTokenNode))
|
|
14
|
+
return MathEnvColors.default;
|
|
15
|
+
const name = node.name;
|
|
16
|
+
if (!name)
|
|
17
|
+
return MathEnvColors.default;
|
|
18
|
+
return MathEnvColors[name.toLowerCase()] ?? MathEnvColors.default;
|
|
19
|
+
}
|
|
20
|
+
//# sourceMappingURL=mathColors.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mathColors.js","sourceRoot":"","sources":["../../src/graph/mathColors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAE1D,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,SAAS,EAAE,eAAe;IACjC,SAAS,EAAE,SAAS;IACpB,WAAW,EAAE,SAAS;IACtB,UAAU,EAAE,SAAS;IACrB,iCAAiC;IACjC,mDAAmD;IACnD,OAAO,EAAE,SAAS,CAAC,2BAA2B;CACtC,CAAC;AAEX,MAAM,UAAU,eAAe,CAAC,IAAwB;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,YAAY,gBAAgB,CAAC;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC;IAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC;IACxC,OAAO,aAAa,CAAC,IAAI,CAAC,WAAW,EAAgC,CAAC,IAAI,aAAa,CAAC,OAAO,CAAC;AAClG,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mathDepGraph.d.ts","sourceRoot":"","sources":["../../src/graph/mathDepGraph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAQ9D,OAAO,EAAE,SAAS,EAAuC,MAAM,cAAc,CAAC;AAyU9E,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,SAAS,CAU/E"}
|