triangle-types 1.0.217 → 1.0.219

package/dist/src/index.d.ts

@@ -102,6 +102,7 @@ export * from "./types/state_permits/WI/WIStatePermit.js";
 export * from "./types/state_permits/WI/WIStatePermitDocument.js";
 export * from "./types/user/Tenant.js";
 export * from "./types/user/TenantDocument.js";
+export * from "./types/user/TenantDocumentFragment.js";
 export * from "./types/user/TenantProvision.js";
 export * from "./types/user/User.js";
 export * from "./types/user/UserComment.js";

package/dist/src/index.js

@@ -102,6 +102,7 @@ export * from "./types/state_permits/WI/WIStatePermit.js";
 export * from "./types/state_permits/WI/WIStatePermitDocument.js";
 export * from "./types/user/Tenant.js";
 export * from "./types/user/TenantDocument.js";
+export * from "./types/user/TenantDocumentFragment.js";
 export * from "./types/user/TenantProvision.js";
 export * from "./types/user/User.js";
 export * from "./types/user/UserComment.js";

package/dist/src/types/user/TenantDocument.d.ts

@@ -1,7 +1,7 @@
 import { FragmentTypeID } from "../fragments/Fragment.js";
 export declare class TenantDocument {
+    readonly tenant_document_id: string;
     readonly tenant_id: string;
-    readonly document_id: string;
     readonly file_suffix_id: string;
     readonly name: string;
     readonly fragment_type_id?: FragmentTypeID;

package/dist/src/types/user/TenantDocument.js

@@ -1,7 +1,7 @@
 import { is_fragment_type_id } from "../fragments/Fragment.js";
 export class TenantDocument {
+    tenant_document_id;
     tenant_id;
-    document_id;
     file_suffix_id;
     name;
     fragment_type_id;
@@ -13,8 +13,8 @@ export class TenantDocument {
         if (!TenantDocument.is(tenant_document)) {
             throw Error("Invalid input.");
         }
+        this.tenant_document_id = tenant_document.tenant_document_id;
         this.tenant_id = tenant_document.tenant_id;
-        this.document_id = tenant_document.document_id;
         this.file_suffix_id = tenant_document.file_suffix_id;
         this.name = tenant_document.name;
         this.fragment_type_id = tenant_document.fragment_type_id;
@@ -25,8 +25,8 @@ export class TenantDocument {
     }
     static is(tenant_document) {
         return (tenant_document !== undefined &&
+            typeof tenant_document.tenant_document_id === "string" &&
             typeof tenant_document.tenant_id === "string" &&
-            typeof tenant_document.document_id === "string" &&
             typeof tenant_document.file_suffix_id === "string" &&
             typeof tenant_document.name === "string" &&
             (tenant_document.fragment_type_id === undefined || is_fragment_type_id(tenant_document.fragment_type_id)) &&

package/dist/src/types/user/TenantDocumentFragment.d.ts

@@ -0,0 +1,15 @@
+import { FragmentTypeID } from "../fragments/Fragment.js";
+export declare class TenantDocumentFragment {
+    readonly tenant_document_id: string;
+    readonly fragment_id: string;
+    readonly fragment_type_id: FragmentTypeID;
+    readonly max_size: number;
+    readonly min_index: number;
+    readonly max_index: number;
+    readonly title: string;
+    readonly text: string;
+    readonly vector: number[];
+    readonly [x: string]: any;
+    constructor(tenant_document_fragment: TenantDocumentFragment);
+    static is(tenant_document_fragment: any): tenant_document_fragment is TenantDocumentFragment;
+}

package/dist/src/types/user/TenantDocumentFragment.js

@@ -0,0 +1,38 @@
+import { is_fragment_type_id } from "../fragments/Fragment.js";
+export class TenantDocumentFragment {
+    tenant_document_id;
+    fragment_id;
+    fragment_type_id;
+    max_size;
+    min_index;
+    max_index;
+    title;
+    text;
+    vector;
+    constructor(tenant_document_fragment) {
+        if (!TenantDocumentFragment.is(tenant_document_fragment)) {
+            throw Error("Invalid input.");
+        }
+        this.tenant_document_id = tenant_document_fragment.tenant_document_id;
+        this.fragment_id = tenant_document_fragment.fragment_id;
+        this.fragment_type_id = tenant_document_fragment.fragment_type_id;
+        this.max_size = tenant_document_fragment.max_size;
+        this.min_index = tenant_document_fragment.min_index;
+        this.max_index = tenant_document_fragment.max_index;
+        this.title = tenant_document_fragment.title;
+        this.text = tenant_document_fragment.text;
+        this.vector = tenant_document_fragment.vector;
+    }
+    static is(tenant_document_fragment) {
+        return (tenant_document_fragment !== undefined &&
+            typeof tenant_document_fragment.tenant_document_id === "string" &&
+            typeof tenant_document_fragment.fragment_id === "string" &&
+            is_fragment_type_id(tenant_document_fragment.fragment_type_id) &&
+            typeof tenant_document_fragment.max_size === "number" &&
+            typeof tenant_document_fragment.min_index === "number" &&
+            typeof tenant_document_fragment.max_index === "number" &&
+            typeof tenant_document_fragment.title === "string" &&
+            typeof tenant_document_fragment.text === "string" &&
+            Array.isArray(tenant_document_fragment.vector) && tenant_document_fragment.vector.every((coordinate) => typeof coordinate === "number"));
+    }
+}

package/package.json

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

package/src/index.ts

@@ -125,6 +125,7 @@ export * from "./types/state_permits/WI/WIStatePermitDocument"
 
 export * from "./types/user/Tenant"
 export * from "./types/user/TenantDocument"
+export * from "./types/user/TenantDocumentFragment"
 export * from "./types/user/TenantProvision"
 export * from "./types/user/User"
 export * from "./types/user/UserComment"

package/src/types/user/TenantDocument.ts

@@ -1,8 +1,8 @@
 import { FragmentTypeID, is_fragment_type_id } from "../fragments/Fragment"
 
 export class TenantDocument {
+    readonly tenant_document_id : string
     readonly tenant_id : string
-    readonly document_id : string
     readonly file_suffix_id : string
     readonly name : string
     readonly fragment_type_id? : FragmentTypeID
@@ -16,8 +16,8 @@ export class TenantDocument {
         if (!TenantDocument.is(tenant_document)) {
             throw Error("Invalid input.")
         }
+        this.tenant_document_id = tenant_document.tenant_document_id
         this.tenant_id = tenant_document.tenant_id
-        this.document_id = tenant_document.document_id
         this.file_suffix_id = tenant_document.file_suffix_id
         this.name = tenant_document.name
         this.fragment_type_id = tenant_document.fragment_type_id
@@ -30,8 +30,8 @@ export class TenantDocument {
     static is(tenant_document : any) : tenant_document is TenantDocument {
         return (
             tenant_document !== undefined &&
+            typeof tenant_document.tenant_document_id === "string" &&
             typeof tenant_document.tenant_id === "string" &&
-            typeof tenant_document.document_id === "string" &&
             typeof tenant_document.file_suffix_id === "string" &&
             typeof tenant_document.name === "string" &&
             (tenant_document.fragment_type_id === undefined || is_fragment_type_id(tenant_document.fragment_type_id)) &&

package/src/types/user/TenantDocumentFragment.ts

@@ -0,0 +1,44 @@
+import { FragmentTypeID, is_fragment_type_id } from "../fragments/Fragment"
+
+export class TenantDocumentFragment {
+    readonly tenant_document_id : string
+    readonly fragment_id : string
+    readonly fragment_type_id : FragmentTypeID
+    readonly max_size : number
+    readonly min_index : number
+    readonly max_index : number
+    readonly title : string
+    readonly text : string
+    readonly vector : number[]
+    readonly [x : string] : any
+
+    constructor(tenant_document_fragment : TenantDocumentFragment) {
+        if (!TenantDocumentFragment.is(tenant_document_fragment)) {
+            throw Error("Invalid input.")
+        }
+        this.tenant_document_id = tenant_document_fragment.tenant_document_id
+        this.fragment_id = tenant_document_fragment.fragment_id
+        this.fragment_type_id = tenant_document_fragment.fragment_type_id
+        this.max_size = tenant_document_fragment.max_size
+        this.min_index = tenant_document_fragment.min_index
+        this.max_index = tenant_document_fragment.max_index
+        this.title = tenant_document_fragment.title
+        this.text = tenant_document_fragment.text
+        this.vector = tenant_document_fragment.vector
+    }
+
+    static is(tenant_document_fragment : any) : tenant_document_fragment is TenantDocumentFragment {
+        return (
+            tenant_document_fragment !== undefined &&
+            typeof tenant_document_fragment.tenant_document_id === "string" &&
+            typeof tenant_document_fragment.fragment_id === "string" &&
+            is_fragment_type_id(tenant_document_fragment.fragment_type_id) &&
+            typeof tenant_document_fragment.max_size === "number" &&
+            typeof tenant_document_fragment.min_index === "number" &&
+            typeof tenant_document_fragment.max_index === "number" &&
+            typeof tenant_document_fragment.title === "string" &&
+            typeof tenant_document_fragment.text === "string" &&
+            Array.isArray(tenant_document_fragment.vector) && tenant_document_fragment.vector.every((coordinate : any) => typeof coordinate === "number")
+        )
+    }
+}