triangle-types 1.0.264 → 1.0.265

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.
Files changed (4) hide show
  1. package/dist/src/types/web/WebDocumentFragment.d.ts +6 -0
  2. package/dist/src/types/web/WebDocumentFragment.js +15 -0
  3. package/package.json +1 -1
  4. package/src/types/web/WebDocumentFragment.ts +22 -0
package/dist/src/types/web/WebDocumentFragment.d.ts CHANGED
@@ -1,3 +1,4 @@
1
+ import { WebDocument } from "./WebDocument.js";
1
2
  declare const fragment_type_ids: readonly ["LINE", "CHAR"];
2
3
  export type FragmentTypeID = typeof fragment_type_ids[number];
3
4
  export declare function is_fragment_type_id(fragment_type_id: any): fragment_type_id is FragmentTypeID;
@@ -15,4 +16,9 @@ export declare class WebDocumentFragment {
15
16
  constructor(web_document_fragment: WebDocumentFragment);
16
17
  static is(web_document_fragment: any): web_document_fragment is WebDocumentFragment;
17
18
  }
19
+ export declare class WebDocumentFragmentAux extends WebDocumentFragment {
20
+ readonly web_document: WebDocument;
21
+ constructor(web_document_fragment: WebDocumentFragment);
22
+ static is(web_document_fragment: any): web_document_fragment is WebDocumentFragmentAux;
23
+ }
18
24
  export {};
package/dist/src/types/web/WebDocumentFragment.js CHANGED
@@ -1,3 +1,4 @@
1
+ import { WebDocument } from "./WebDocument.js";
1
2
  const fragment_type_ids = ["LINE", "CHAR"];
2
3
  export function is_fragment_type_id(fragment_type_id) {
3
4
  return fragment_type_ids.includes(fragment_type_id);
@@ -39,3 +40,17 @@ export class WebDocumentFragment {
39
40
  (web_document_fragment.vector === undefined || Array.isArray(web_document_fragment.vector) && web_document_fragment.vector.every((coordinate) => typeof coordinate === "number")));
40
41
  }
41
42
  }
43
+ export class WebDocumentFragmentAux extends WebDocumentFragment {
44
+ web_document;
45
+ constructor(web_document_fragment) {
46
+ if (!WebDocumentFragmentAux.is(web_document_fragment)) {
47
+ throw Error("Invalid input.");
48
+ }
49
+ super(web_document_fragment);
50
+ this.web_document = web_document_fragment.web_document;
51
+ }
52
+ static is(web_document_fragment) {
53
+ return (WebDocumentFragment.is(web_document_fragment) &&
54
+ WebDocument.is(web_document_fragment.web_document));
55
+ }
56
+ }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "triangle-types",
3
- "version": "1.0.264",
3
+ "version": "1.0.265",
4
4
  "main": "dist/src/index.js",
5
5
  "types": "dist/src/index.d.ts",
6
6
  "scripts": {
package/src/types/web/WebDocumentFragment.ts CHANGED
@@ -1,3 +1,5 @@
1
+ import { WebDocument } from "./WebDocument"
2
+
1
3
  const fragment_type_ids = ["LINE", "CHAR"] as const
2
4
 
3
5
  export type FragmentTypeID = typeof fragment_type_ids[number]
@@ -47,4 +49,24 @@ export class WebDocumentFragment {
47
49
  (web_document_fragment.vector === undefined || Array.isArray(web_document_fragment.vector) && web_document_fragment.vector.every((coordinate : any) => typeof coordinate === "number"))
48
50
  )
49
51
  }
52
+ }
53
+
54
+ export class WebDocumentFragmentAux extends WebDocumentFragment {
55
+ readonly web_document : WebDocument
56
+
57
+
58
+ constructor(web_document_fragment : WebDocumentFragment) {
59
+ if (!WebDocumentFragmentAux.is(web_document_fragment)) {
60
+ throw Error("Invalid input.")
61
+ }
62
+ super(web_document_fragment)
63
+ this.web_document = web_document_fragment.web_document
64
+ }
65
+
66
+ static is(web_document_fragment : any) : web_document_fragment is WebDocumentFragmentAux {
67
+ return (
68
+ WebDocumentFragment.is(web_document_fragment) &&
69
+ WebDocument.is(web_document_fragment.web_document)
70
+ )
71
+ }
50
72
  }