state.ts 21 KB

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