state.ts 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525
  1. /**
  2. * Copyright (c) 2018 mol* contributors, licensed under MIT, See LICENSE file for more info.
  3. *
  4. * @author David Sehnal <david.sehnal@gmail.com>
  5. */
  6. import { StateObject, StateObjectCell } from './object';
  7. import { StateTree } from './tree';
  8. import { Transform } from './transform';
  9. import { Transformer } from './transformer';
  10. import { UUID } from 'mol-util';
  11. import { RuntimeContext, Task } from 'mol-task';
  12. import { StateSelection } from './state/selection';
  13. import { RxEventHelper } from 'mol-util/rx-event-helper';
  14. import { StateTreeBuilder } from './tree/builder';
  15. import { StateAction } from './action';
  16. import { StateActionManager } from './action/manager';
  17. import { TransientTree } from './tree/transient';
  18. import { LogEntry } from 'mol-util/log-entry';
  19. import { now, formatTimespan } from 'mol-util/now';
  20. export { State }
  21. class State {
  22. private _tree: TransientTree = StateTree.createEmpty().asTransient();
  23. protected errorFree = true;
  24. private transformCache = new Map<Transform.Ref, unknown>();
  25. private ev = RxEventHelper.create();
  26. readonly globalContext: unknown = void 0;
  27. readonly events = {
  28. cell: {
  29. stateUpdated: this.ev<State.ObjectEvent & { cellState: StateObjectCell.State}>(),
  30. created: this.ev<State.ObjectEvent & { cell: StateObjectCell }>(),
  31. removed: this.ev<State.ObjectEvent & { parent: Transform.Ref }>(),
  32. },
  33. object: {
  34. updated: this.ev<State.ObjectEvent & { action: 'in-place' | 'recreate', obj: StateObject, oldObj?: StateObject }>(),
  35. created: this.ev<State.ObjectEvent & { obj: StateObject }>(),
  36. removed: this.ev<State.ObjectEvent & { obj?: StateObject }>()
  37. },
  38. log: this.ev<LogEntry>(),
  39. changed: this.ev<void>()
  40. };
  41. readonly behaviors = {
  42. currentObject: this.ev.behavior<State.ObjectEvent>({ state: this, ref: Transform.RootRef })
  43. };
  44. readonly actions = new StateActionManager();
  45. get tree(): StateTree { return this._tree; }
  46. get current() { return this.behaviors.currentObject.value.ref; }
  47. build() { return this._tree.build(); }
  48. readonly cells: State.Cells = new Map();
  49. getSnapshot(): State.Snapshot {
  50. return { tree: StateTree.toJSON(this._tree) };
  51. }
  52. setSnapshot(snapshot: State.Snapshot) {
  53. const tree = StateTree.fromJSON(snapshot.tree);
  54. return this.update(tree);
  55. }
  56. setCurrent(ref: Transform.Ref) {
  57. this.behaviors.currentObject.next({ state: this, ref });
  58. }
  59. updateCellState(ref: Transform.Ref, stateOrProvider: ((old: StateObjectCell.State) => Partial<StateObjectCell.State>) | Partial<StateObjectCell.State>) {
  60. const update = typeof stateOrProvider === 'function'
  61. ? stateOrProvider(this.tree.cellStates.get(ref))
  62. : stateOrProvider;
  63. if (this._tree.updateCellState(ref, update)) {
  64. this.events.cell.stateUpdated.next({ state: this, ref, cellState: this.tree.cellStates.get(ref) });
  65. }
  66. }
  67. dispose() {
  68. this.ev.dispose();
  69. }
  70. /**
  71. * Select Cells by ref or a query generated on the fly.
  72. * @example state.select('test')
  73. * @example state.select(q => q.byRef('test').subtree())
  74. */
  75. select(selector: Transform.Ref | ((q: typeof StateSelection.Generators) => StateSelection.Selector)) {
  76. if (typeof selector === 'string') return StateSelection.select(selector, this);
  77. return StateSelection.select(selector(StateSelection.Generators), this)
  78. }
  79. /** If no ref is specified, apply to root */
  80. apply<A extends StateAction>(action: A, params: StateAction.Params<A>, ref: Transform.Ref = Transform.RootRef): Task<void> {
  81. return Task.create('Apply Action', ctx => {
  82. const cell = this.cells.get(ref);
  83. if (!cell) throw new Error(`'${ref}' does not exist.`);
  84. if (cell.status !== 'ok') throw new Error(`Action cannot be applied to a cell with status '${cell.status}'`);
  85. return runTask(action.definition.apply({ cell, a: cell.obj!, params, state: this }, this.globalContext), ctx);
  86. });
  87. }
  88. update(tree: StateTree | StateTreeBuilder): Task<void> {
  89. const _tree = (StateTreeBuilder.is(tree) ? tree.getTree() : tree).asTransient();
  90. return Task.create('Update Tree', async taskCtx => {
  91. let updated = false;
  92. try {
  93. const oldTree = this._tree;
  94. this._tree = _tree;
  95. const ctx: UpdateContext = {
  96. parent: this,
  97. editInfo: StateTreeBuilder.is(tree) ? tree.editInfo : void 0,
  98. errorFree: this.errorFree,
  99. taskCtx,
  100. oldTree,
  101. tree: _tree,
  102. cells: this.cells as Map<Transform.Ref, StateObjectCell>,
  103. transformCache: this.transformCache,
  104. changed: false,
  105. hadError: false,
  106. newCurrent: void 0
  107. };
  108. this.errorFree = true;
  109. // TODO: handle "cancelled" error? Or would this be handled automatically?
  110. updated = await update(ctx);
  111. } finally {
  112. if (updated) this.events.changed.next();
  113. }
  114. });
  115. }
  116. constructor(rootObject: StateObject, params?: { globalContext?: unknown }) {
  117. const tree = this._tree;
  118. const root = tree.root;
  119. (this.cells as Map<Transform.Ref, StateObjectCell>).set(root.ref, {
  120. transform: root,
  121. sourceRef: void 0,
  122. obj: rootObject,
  123. status: 'ok',
  124. version: root.version,
  125. errorText: void 0
  126. });
  127. this.globalContext = params && params.globalContext;
  128. }
  129. }
  130. namespace State {
  131. export type Cells = ReadonlyMap<Transform.Ref, StateObjectCell>
  132. export type Tree = StateTree
  133. export type Builder = StateTreeBuilder
  134. export interface ObjectEvent {
  135. state: State,
  136. ref: Ref
  137. }
  138. export interface Snapshot {
  139. readonly tree: StateTree.Serialized
  140. }
  141. export function create(rootObject: StateObject, params?: { globalContext?: unknown, defaultObjectProps?: unknown }) {
  142. return new State(rootObject, params);
  143. }
  144. }
  145. type Ref = Transform.Ref
  146. interface UpdateContext {
  147. parent: State,
  148. editInfo: StateTreeBuilder.EditInfo | undefined
  149. errorFree: boolean,
  150. taskCtx: RuntimeContext,
  151. oldTree: StateTree,
  152. tree: TransientTree,
  153. cells: Map<Transform.Ref, StateObjectCell>,
  154. transformCache: Map<Ref, unknown>,
  155. changed: boolean,
  156. hadError: boolean,
  157. newCurrent?: Ref
  158. }
  159. async function update(ctx: UpdateContext) {
  160. // if only a single node was added/updated, we can skip potentially expensive diffing
  161. const fastTrack = !!(ctx.errorFree && ctx.editInfo && ctx.editInfo.count === 1 && ctx.editInfo.lastUpdate && ctx.editInfo.sourceTree === ctx.oldTree);
  162. let deletes: Transform.Ref[], deletedObjects: (StateObject | undefined)[] = [], roots: Transform.Ref[];
  163. if (fastTrack) {
  164. deletes = [];
  165. roots = [ctx.editInfo!.lastUpdate!];
  166. } else {
  167. // find all nodes that will definitely be deleted.
  168. // this is done in "post order", meaning that leaves will be deleted first.
  169. deletes = findDeletes(ctx);
  170. const current = ctx.parent.current;
  171. let hasCurrent = false;
  172. for (const d of deletes) {
  173. if (d === current) {
  174. hasCurrent = true;
  175. break;
  176. }
  177. }
  178. if (hasCurrent) {
  179. const newCurrent = findNewCurrent(ctx, current, deletes);
  180. ctx.parent.setCurrent(newCurrent);
  181. }
  182. for (const d of deletes) {
  183. const obj = ctx.cells.has(d) ? ctx.cells.get(d)!.obj : void 0;
  184. ctx.cells.delete(d);
  185. ctx.transformCache.delete(d);
  186. deletedObjects.push(obj);
  187. }
  188. // Find roots where transform version changed or where nodes will be added.
  189. roots = findUpdateRoots(ctx.cells, ctx.tree);
  190. }
  191. // Init empty cells where not present
  192. // this is done in "pre order", meaning that "parents" will be created 1st.
  193. const addedCells = initCells(ctx, roots);
  194. // Ensure cell states stay consistent
  195. if (!ctx.editInfo) {
  196. syncStates(ctx);
  197. }
  198. // Notify additions of new cells.
  199. for (const cell of addedCells) {
  200. ctx.parent.events.cell.created.next({ state: ctx.parent, ref: cell.transform.ref, cell });
  201. }
  202. for (let i = 0; i < deletes.length; i++) {
  203. const d = deletes[i];
  204. const parent = ctx.oldTree.transforms.get(d).parent;
  205. ctx.parent.events.object.removed.next({ state: ctx.parent, ref: d, obj: deletedObjects[i] });
  206. ctx.parent.events.cell.removed.next({ state: ctx.parent, ref: d, parent: parent });
  207. }
  208. if (deletedObjects.length) deletedObjects = [];
  209. // Set status of cells that will be updated to 'pending'.
  210. initCellStatus(ctx, roots);
  211. // Sequentially update all the subtrees.
  212. for (const root of roots) {
  213. await updateSubtree(ctx, root);
  214. }
  215. if (ctx.newCurrent) ctx.parent.setCurrent(ctx.newCurrent);
  216. return deletes.length > 0 || roots.length > 0 || ctx.changed;
  217. }
  218. function findUpdateRoots(cells: Map<Transform.Ref, StateObjectCell>, tree: StateTree) {
  219. const findState = { roots: [] as Ref[], cells };
  220. StateTree.doPreOrder(tree, tree.root, findState, findUpdateRootsVisitor);
  221. return findState.roots;
  222. }
  223. function findUpdateRootsVisitor(n: Transform, _: any, s: { roots: Ref[], cells: Map<Ref, StateObjectCell> }) {
  224. const cell = s.cells.get(n.ref);
  225. if (!cell || cell.version !== n.version || cell.status === 'error') {
  226. s.roots.push(n.ref);
  227. return false;
  228. }
  229. return true;
  230. }
  231. type FindDeletesCtx = { newTree: StateTree, cells: State.Cells, deletes: Ref[] }
  232. function checkDeleteVisitor(n: Transform, _: any, ctx: FindDeletesCtx) {
  233. if (!ctx.newTree.transforms.has(n.ref) && ctx.cells.has(n.ref)) ctx.deletes.push(n.ref);
  234. }
  235. function findDeletes(ctx: UpdateContext): Ref[] {
  236. const deleteCtx: FindDeletesCtx = { newTree: ctx.tree, cells: ctx.cells, deletes: [] };
  237. StateTree.doPostOrder(ctx.oldTree, ctx.oldTree.root, deleteCtx, checkDeleteVisitor);
  238. return deleteCtx.deletes;
  239. }
  240. function syncStatesVisitor(n: Transform, tree: StateTree, oldState: StateTree.CellStates) {
  241. if (!oldState.has(n.ref)) return;
  242. (tree as TransientTree).updateCellState(n.ref, oldState.get(n.ref));
  243. }
  244. function syncStates(ctx: UpdateContext) {
  245. StateTree.doPreOrder(ctx.tree, ctx.tree.root, ctx.oldTree.cellStates, syncStatesVisitor);
  246. }
  247. function setCellStatus(ctx: UpdateContext, ref: Ref, status: StateObjectCell.Status, errorText?: string) {
  248. const cell = ctx.cells.get(ref)!;
  249. const changed = cell.status !== status;
  250. cell.status = status;
  251. cell.errorText = errorText;
  252. if (changed) ctx.parent.events.cell.stateUpdated.next({ state: ctx.parent, ref, cellState: ctx.tree.cellStates.get(ref) });
  253. }
  254. function initCellStatusVisitor(t: Transform, _: any, ctx: UpdateContext) {
  255. ctx.cells.get(t.ref)!.transform = t;
  256. setCellStatus(ctx, t.ref, 'pending');
  257. }
  258. function initCellStatus(ctx: UpdateContext, roots: Ref[]) {
  259. for (const root of roots) {
  260. StateTree.doPreOrder(ctx.tree, ctx.tree.transforms.get(root), ctx, initCellStatusVisitor);
  261. }
  262. }
  263. type InitCellsCtx = { ctx: UpdateContext, added: StateObjectCell[] }
  264. function initCellsVisitor(transform: Transform, _: any, { ctx, added }: InitCellsCtx) {
  265. if (ctx.cells.has(transform.ref)) {
  266. return;
  267. }
  268. const cell: StateObjectCell = {
  269. transform,
  270. sourceRef: void 0,
  271. status: 'pending',
  272. version: UUID.create22(),
  273. errorText: void 0
  274. };
  275. ctx.cells.set(transform.ref, cell);
  276. added.push(cell);
  277. }
  278. function initCells(ctx: UpdateContext, roots: Ref[]) {
  279. const initCtx: InitCellsCtx = { ctx, added: [] };
  280. for (const root of roots) {
  281. StateTree.doPreOrder(ctx.tree, ctx.tree.transforms.get(root), initCtx, initCellsVisitor);
  282. }
  283. return initCtx.added;
  284. }
  285. function findNewCurrent(ctx: UpdateContext, start: Ref, deletes: Ref[]) {
  286. const deleteSet = new Set(deletes);
  287. return _findNewCurrent(ctx.oldTree, start, deleteSet);
  288. }
  289. function _findNewCurrent(tree: StateTree, ref: Ref, deletes: Set<Ref>): Ref {
  290. if (ref === Transform.RootRef) return ref;
  291. const node = tree.transforms.get(ref)!;
  292. const siblings = tree.children.get(node.parent)!.values();
  293. let prevCandidate: Ref | undefined = void 0, seenRef = false;
  294. while (true) {
  295. const s = siblings.next();
  296. if (s.done) break;
  297. if (deletes.has(s.value)) continue;
  298. const t = tree.transforms.get(s.value);
  299. if (t.props && t.props.isGhost) continue;
  300. if (s.value === ref) {
  301. seenRef = true;
  302. if (!deletes.has(ref)) prevCandidate = ref;
  303. continue;
  304. }
  305. if (seenRef) return t.ref;
  306. prevCandidate = t.ref;
  307. }
  308. if (prevCandidate) return prevCandidate;
  309. return _findNewCurrent(tree, node.parent, deletes);
  310. }
  311. /** Set status and error text of the cell. Remove all existing objects in the subtree. */
  312. function doError(ctx: UpdateContext, ref: Ref, errorText: string | undefined) {
  313. ctx.hadError = true;
  314. (ctx.parent as any as { errorFree: boolean }).errorFree = false;
  315. if (errorText) {
  316. setCellStatus(ctx, ref, 'error', errorText);
  317. ctx.parent.events.log.next({ type: 'error', timestamp: new Date(), message: errorText });
  318. }
  319. const cell = ctx.cells.get(ref)!;
  320. if (cell.obj) {
  321. const obj = cell.obj;
  322. cell.obj = void 0;
  323. ctx.parent.events.object.removed.next({ state: ctx.parent, ref, obj });
  324. ctx.transformCache.delete(ref);
  325. }
  326. // remove the objects in the child nodes if they exist
  327. const children = ctx.tree.children.get(ref).values();
  328. while (true) {
  329. const next = children.next();
  330. if (next.done) return;
  331. doError(ctx, next.value, void 0);
  332. }
  333. }
  334. type UpdateNodeResult =
  335. | { action: 'created', obj: StateObject }
  336. | { action: 'updated', obj: StateObject }
  337. | { action: 'replaced', oldObj?: StateObject, obj: StateObject }
  338. | { action: 'none' }
  339. async function updateSubtree(ctx: UpdateContext, root: Ref) {
  340. setCellStatus(ctx, root, 'processing');
  341. try {
  342. const start = now();
  343. const update = await updateNode(ctx, root);
  344. const time = now() - start;
  345. if (update.action !== 'none') ctx.changed = true;
  346. setCellStatus(ctx, root, 'ok');
  347. if (update.action === 'created') {
  348. ctx.parent.events.object.created.next({ state: ctx.parent, ref: root, obj: update.obj! });
  349. ctx.parent.events.log.next(LogEntry.info(`Created ${update.obj.label} in ${formatTimespan(time)}.`));
  350. if (!ctx.hadError) {
  351. const transform = ctx.tree.transforms.get(root);
  352. if (!transform.props || !transform.props.isGhost) ctx.newCurrent = root;
  353. }
  354. } else if (update.action === 'updated') {
  355. ctx.parent.events.object.updated.next({ state: ctx.parent, ref: root, action: 'in-place', obj: update.obj });
  356. ctx.parent.events.log.next(LogEntry.info(`Updated ${update.obj.label} in ${formatTimespan(time)}.`));
  357. } else if (update.action === 'replaced') {
  358. ctx.parent.events.object.updated.next({ state: ctx.parent, ref: root, action: 'recreate', obj: update.obj, oldObj: update.oldObj });
  359. ctx.parent.events.log.next(LogEntry.info(`Updated ${update.obj.label} in ${formatTimespan(time)}.`));
  360. }
  361. } catch (e) {
  362. ctx.changed = true;
  363. if (!ctx.hadError) ctx.newCurrent = root;
  364. doError(ctx, root, '' + e);
  365. return;
  366. }
  367. const children = ctx.tree.children.get(root).values();
  368. while (true) {
  369. const next = children.next();
  370. if (next.done) return;
  371. await updateSubtree(ctx, next.value);
  372. }
  373. }
  374. async function updateNode(ctx: UpdateContext, currentRef: Ref): Promise<UpdateNodeResult> {
  375. const { oldTree, tree } = ctx;
  376. const current = ctx.cells.get(currentRef)!;
  377. const transform = current.transform;
  378. // special case for Root
  379. if (current.transform.ref === Transform.RootRef) return { action: 'none' };
  380. const parentCell = StateSelection.findAncestorOfType(tree, ctx.cells, currentRef, transform.transformer.definition.from);
  381. if (!parentCell) {
  382. throw new Error(`No suitable parent found for '${currentRef}'`);
  383. }
  384. const parent = parentCell.obj!;
  385. current.sourceRef = parentCell.transform.ref;
  386. if (!oldTree.transforms.has(currentRef)) {
  387. const obj = await createObject(ctx, currentRef, transform.transformer, parent, transform.params);
  388. current.obj = obj;
  389. current.version = transform.version;
  390. return { action: 'created', obj };
  391. } else {
  392. const oldParams = oldTree.transforms.get(currentRef)!.params;
  393. const updateKind = !!current.obj
  394. ? await updateObject(ctx, currentRef, transform.transformer, parent, current.obj!, oldParams, transform.params)
  395. : Transformer.UpdateResult.Recreate;
  396. switch (updateKind) {
  397. case Transformer.UpdateResult.Recreate: {
  398. const oldObj = current.obj;
  399. const newObj = await createObject(ctx, currentRef, transform.transformer, parent, transform.params);
  400. current.obj = newObj;
  401. current.version = transform.version;
  402. return { action: 'replaced', oldObj, obj: newObj };
  403. }
  404. case Transformer.UpdateResult.Updated:
  405. current.version = transform.version;
  406. return { action: 'updated', obj: current.obj! };
  407. default:
  408. return { action: 'none' };
  409. }
  410. }
  411. }
  412. function runTask<T>(t: T | Task<T>, ctx: RuntimeContext) {
  413. if (typeof (t as any).runInContext === 'function') return (t as Task<T>).runInContext(ctx);
  414. return t as T;
  415. }
  416. function createObject(ctx: UpdateContext, ref: Ref, transformer: Transformer, a: StateObject, params: any) {
  417. const cache = Object.create(null);
  418. ctx.transformCache.set(ref, cache);
  419. return runTask(transformer.definition.apply({ a, params, cache }, ctx.parent.globalContext), ctx.taskCtx);
  420. }
  421. async function updateObject(ctx: UpdateContext, ref: Ref, transformer: Transformer, a: StateObject, b: StateObject, oldParams: any, newParams: any) {
  422. if (!transformer.definition.update) {
  423. return Transformer.UpdateResult.Recreate;
  424. }
  425. let cache = ctx.transformCache.get(ref);
  426. if (!cache) {
  427. cache = Object.create(null);
  428. ctx.transformCache.set(ref, cache);
  429. }
  430. return runTask(transformer.definition.update({ a, oldParams, b, newParams, cache }, ctx.parent.globalContext), ctx.taskCtx);
  431. }