triangle-types 1.0.263 → 1.0.265

package/dist/src/types/label/Label.d.ts

@@ -1,7 +1,8 @@
 export declare class Label {
     readonly label_id: string;
     readonly resource_type_id: string;
-    readonly name?: string;
+    readonly name: string;
+    readonly description: string;
     constructor(label: any);
     static is(label: any): label is Label;
 }

package/dist/src/types/label/Label.js

@@ -2,6 +2,7 @@ export class Label {
     label_id;
     resource_type_id;
     name;
+    description;
     constructor(label) {
         if (!Label.is(label)) {
             throw Error("Invalid input.");
@@ -9,11 +10,13 @@ export class Label {
         this.label_id = label.label_id;
         this.resource_type_id = label.resource_type_id;
         this.name = label.name;
+        this.description = label.description;
     }
     static is(label) {
         return (label !== undefined &&
             typeof label.label_id === "string" &&
             typeof label.resource_type_id === "string" &&
-            (label.name === undefined || typeof label.voter_id === "string"));
+            typeof label.name === "string" &&
+            typeof label.description === "string");
     }
 }

package/dist/src/types/web/WebDocumentFragment.d.ts

@@ -1,3 +1,4 @@
+import { WebDocument } from "./WebDocument.js";
 declare const fragment_type_ids: readonly ["LINE", "CHAR"];
 export type FragmentTypeID = typeof fragment_type_ids[number];
 export declare function is_fragment_type_id(fragment_type_id: any): fragment_type_id is FragmentTypeID;
@@ -15,4 +16,9 @@ export declare class WebDocumentFragment {
     constructor(web_document_fragment: WebDocumentFragment);
     static is(web_document_fragment: any): web_document_fragment is WebDocumentFragment;
 }
+export declare class WebDocumentFragmentAux extends WebDocumentFragment {
+    readonly web_document: WebDocument;
+    constructor(web_document_fragment: WebDocumentFragment);
+    static is(web_document_fragment: any): web_document_fragment is WebDocumentFragmentAux;
+}
 export {};

package/dist/src/types/web/WebDocumentFragment.js

@@ -1,3 +1,4 @@
+import { WebDocument } from "./WebDocument.js";
 const fragment_type_ids = ["LINE", "CHAR"];
 export function is_fragment_type_id(fragment_type_id) {
     return fragment_type_ids.includes(fragment_type_id);
@@ -39,3 +40,17 @@ export class WebDocumentFragment {
             (web_document_fragment.vector === undefined || Array.isArray(web_document_fragment.vector) && web_document_fragment.vector.every((coordinate) => typeof coordinate === "number")));
     }
 }
+export class WebDocumentFragmentAux extends WebDocumentFragment {
+    web_document;
+    constructor(web_document_fragment) {
+        if (!WebDocumentFragmentAux.is(web_document_fragment)) {
+            throw Error("Invalid input.");
+        }
+        super(web_document_fragment);
+        this.web_document = web_document_fragment.web_document;
+    }
+    static is(web_document_fragment) {
+        return (WebDocumentFragment.is(web_document_fragment) &&
+            WebDocument.is(web_document_fragment.web_document));
+    }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "triangle-types",
-    "version": "1.0.263",
+    "version": "1.0.265",
     "main": "dist/src/index.js",
     "types": "dist/src/index.d.ts",
     "scripts": {

package/src/types/label/Label.ts

@@ -1,7 +1,8 @@
 export class Label {
     readonly label_id : string
     readonly resource_type_id : string
-    readonly name? : string
+    readonly name : string
+    readonly description : string
 
     constructor(label : any) {
         if (!Label.is(label)) {
@@ -10,6 +11,7 @@ export class Label {
         this.label_id = label.label_id
         this.resource_type_id = label.resource_type_id
         this.name = label.name
+        this.description = label.description
     }
 
     static is(label : any) : label is Label {
@@ -17,7 +19,8 @@ export class Label {
             label !== undefined &&
             typeof label.label_id === "string" &&
             typeof label.resource_type_id === "string" &&
-            (label.name === undefined || typeof label.voter_id === "string")
+            typeof label.name === "string" &&
+            typeof label.description === "string"
         )
     }
 }

package/src/types/web/WebDocumentFragment.ts

@@ -1,3 +1,5 @@
+import { WebDocument } from "./WebDocument"
+
 const fragment_type_ids = ["LINE", "CHAR"] as const
 
 export type FragmentTypeID = typeof fragment_type_ids[number]
@@ -47,4 +49,24 @@ export class WebDocumentFragment {
             (web_document_fragment.vector === undefined || Array.isArray(web_document_fragment.vector) && web_document_fragment.vector.every((coordinate : any) => typeof coordinate === "number"))
         )
     }
+}
+
+export class WebDocumentFragmentAux extends WebDocumentFragment {
+    readonly web_document : WebDocument
+
+
+    constructor(web_document_fragment : WebDocumentFragment) {
+        if (!WebDocumentFragmentAux.is(web_document_fragment)) {
+            throw Error("Invalid input.")
+        }
+        super(web_document_fragment)
+        this.web_document = web_document_fragment.web_document
+    }
+
+    static is(web_document_fragment : any) : web_document_fragment is WebDocumentFragmentAux {
+        return (
+            WebDocumentFragment.is(web_document_fragment) &&
+            WebDocument.is(web_document_fragment.web_document)
+        )
+    }
 }