1
0
silverbullet/packages/common/spaces/space.ts

223 lines
6.2 KiB
TypeScript
Raw Normal View History

2022-04-07 13:21:30 +00:00
import { SpacePrimitives } from "./space_primitives";
import { PageMeta } from "../types";
2022-04-25 08:33:38 +00:00
import { EventEmitter } from "@plugos/plugos/event";
import { Plug } from "@plugos/plugos/plug";
import { Manifest } from "../manifest";
import { plugPrefix, trashPrefix } from "./constants";
import { safeRun } from "../util";
2022-04-07 13:21:30 +00:00
const pageWatchInterval = 2000;
2022-04-05 15:02:17 +00:00
export type SpaceEvents = {
pageCreated: (meta: PageMeta) => void;
pageChanged: (meta: PageMeta) => void;
pageDeleted: (name: string) => void;
pageListUpdated: (pages: Set<PageMeta>) => void;
};
2022-04-07 13:21:30 +00:00
export class Space extends EventEmitter<SpaceEvents> {
pageMetaCache = new Map<string, PageMeta>();
watchedPages = new Set<string>();
private initialPageListLoad = true;
private saving = false;
constructor(private space: SpacePrimitives, private trashEnabled = true) {
super();
}
2022-04-26 17:04:36 +00:00
public async updatePageList() {
let newPageList = await this.space.fetchPageList();
let deletedPages = new Set<string>(this.pageMetaCache.keys());
newPageList.pages.forEach((meta) => {
const pageName = meta.name;
const oldPageMeta = this.pageMetaCache.get(pageName);
2022-05-17 09:53:17 +00:00
const newPageMeta: PageMeta = {
2022-04-26 17:04:36 +00:00
name: pageName,
lastModified: meta.lastModified,
2022-05-17 09:53:17 +00:00
perm: meta.perm,
2022-04-26 17:04:36 +00:00
};
if (
!oldPageMeta &&
(pageName.startsWith(plugPrefix) || !this.initialPageListLoad)
) {
this.emit("pageCreated", newPageMeta);
} else if (
oldPageMeta &&
oldPageMeta.lastModified !== newPageMeta.lastModified &&
(!this.trashEnabled ||
(this.trashEnabled && !pageName.startsWith(trashPrefix)))
) {
this.emit("pageChanged", newPageMeta);
2022-04-07 13:21:30 +00:00
}
2022-04-26 17:04:36 +00:00
// Page found, not deleted
deletedPages.delete(pageName);
2022-04-07 13:21:30 +00:00
2022-04-26 17:04:36 +00:00
// Update in cache
this.pageMetaCache.set(pageName, newPageMeta);
2022-04-07 13:21:30 +00:00
});
2022-04-26 17:04:36 +00:00
for (const deletedPage of deletedPages) {
this.pageMetaCache.delete(deletedPage);
this.emit("pageDeleted", deletedPage);
}
this.emit("pageListUpdated", this.listPages());
this.initialPageListLoad = false;
2022-04-07 13:21:30 +00:00
}
watch() {
setInterval(() => {
safeRun(async () => {
if (this.saving) {
return;
}
for (const pageName of this.watchedPages) {
const oldMeta = this.pageMetaCache.get(pageName);
if (!oldMeta) {
// No longer in cache, meaning probably deleted let's unwatch
this.watchedPages.delete(pageName);
continue;
}
// This seems weird, but simply fetching it will compare to local cache and trigger an event if necessary
await this.getPageMeta(pageName);
2022-04-07 13:21:30 +00:00
}
});
}, pageWatchInterval);
2022-04-26 17:04:36 +00:00
this.updatePageList().catch(console.error);
2022-04-07 13:21:30 +00:00
}
async deletePage(name: string, deleteDate?: number): Promise<void> {
await this.getPageMeta(name); // Check if page exists, if not throws Error
if (this.trashEnabled) {
let pageData = await this.readPage(name);
// Move to trash
await this.writePage(
`${trashPrefix}${name}`,
pageData.text,
2022-04-10 09:04:07 +00:00
true,
2022-04-07 13:21:30 +00:00
deleteDate
);
}
await this.space.deletePage(name);
this.pageMetaCache.delete(name);
this.emit("pageDeleted", name);
this.emit("pageListUpdated", new Set([...this.pageMetaCache.values()]));
}
async getPageMeta(name: string): Promise<PageMeta> {
let oldMeta = this.pageMetaCache.get(name);
let newMeta = await this.space.getPageMeta(name);
if (oldMeta) {
if (oldMeta.lastModified !== newMeta.lastModified) {
// Changed on disk, trigger event
this.emit("pageChanged", newMeta);
}
}
return this.metaCacher(name, newMeta);
2022-04-07 13:21:30 +00:00
}
2022-04-05 15:02:17 +00:00
invokeFunction(
plug: Plug<any>,
env: string,
name: string,
args: any[]
2022-04-07 13:21:30 +00:00
): Promise<any> {
return this.space.invokeFunction(plug, env, name, args);
}
2022-04-26 17:04:36 +00:00
listPages(unfiltered = false): Set<PageMeta> {
if (unfiltered) {
return new Set(this.pageMetaCache.values());
} else {
return new Set(
[...this.pageMetaCache.values()].filter(
(pageMeta) =>
!pageMeta.name.startsWith(trashPrefix) &&
!pageMeta.name.startsWith(plugPrefix)
)
);
}
2022-04-07 13:21:30 +00:00
}
listTrash(): Set<PageMeta> {
return new Set(
[...this.pageMetaCache.values()]
.filter(
(pageMeta) =>
pageMeta.name.startsWith(trashPrefix) &&
!pageMeta.name.startsWith(plugPrefix)
)
.map((pageMeta) => ({
...pageMeta,
name: pageMeta.name.substring(trashPrefix.length),
}))
);
}
listPlugs(): Set<PageMeta> {
return new Set(
[...this.pageMetaCache.values()].filter((pageMeta) =>
pageMeta.name.startsWith(plugPrefix)
)
);
}
proxySyscall(plug: Plug<any>, name: string, args: any[]): Promise<any> {
return this.space.proxySyscall(plug, name, args);
}
async readPage(name: string): Promise<{ text: string; meta: PageMeta }> {
let pageData = await this.space.readPage(name);
let previousMeta = this.pageMetaCache.get(name);
if (previousMeta) {
if (previousMeta.lastModified !== pageData.meta.lastModified) {
// Page changed since last cached metadata, trigger event
this.emit("pageChanged", pageData.meta);
}
}
2022-04-07 13:21:30 +00:00
this.pageMetaCache.set(name, pageData.meta);
return pageData;
}
watchPage(pageName: string) {
this.watchedPages.add(pageName);
}
unwatchPage(pageName: string) {
this.watchedPages.delete(pageName);
}
async writePage(
name: string,
text: string,
selfUpdate?: boolean,
lastModified?: number
): Promise<PageMeta> {
try {
this.saving = true;
let pageMeta = await this.space.writePage(
name,
text,
selfUpdate,
lastModified
);
if (!selfUpdate) {
this.emit("pageChanged", pageMeta);
}
return this.metaCacher(name, pageMeta);
} finally {
this.saving = false;
}
}
fetchPageList(): Promise<{ pages: Set<PageMeta>; nowTimestamp: number }> {
return this.space.fetchPageList();
}
private metaCacher(name: string, pageMeta: PageMeta): PageMeta {
this.pageMetaCache.set(name, pageMeta);
return pageMeta;
}
2022-04-05 15:02:17 +00:00
}