com.fulcrologic.statecharts.chart — com.fulcrologic/statecharts 1.0.0-RC2

Main mechanism to define and navigate a statechart definition. The processing algorithm for such a statechart is protocol-based. The v20150901 implementation is the default.

::sc/k in the docstrings of this namespace assumes the alias [com.fulcrologic.statecharts :as sc], which can be generated as only an alias, though an empty namespace of that name does exist.

all-descendants clj/s

(all-descendants chart s)

Returns a set of IDs of the (recursive) descendants (children) of s

assign-parents clj/s

(assign-parents {parent-id :id initial :initial :as parent} nodes)

atomic-state? clj/s

(atomic-state? chart element-or-id)

child-states clj/s

(child-states chart element-or-id)

Find all of the immediate children (IDs) of element-or-id that are states (final, element-or-id, or parallel)

compare-in-document-order clj/s

(compare-in-document-order {:com.fulcrologic.statecharts/keys [id-ordinals]
                            :as chart}
                           a
                           b)

Comparator function returning -1, 0, or 1 to establish the relative order of two element IDs

compound-state? clj/s

(compound-state? chart element-or-id)

Returns true if the given state contains other states.

condition-node? clj/s

(condition-node? chart element-or-id)

Returns true if the given element is ALL of:

• An atomic state
• Has more than one transition
• NONE of the transitions require an event

descendant? clj/s

(descendant? chart s1 s2)

document-ordered-set clj/s

(document-ordered-set chart & initial-elements)

Returns a set that keeps the IDs in document order

element clj/s

(element chart element-or-id)

Find the node in the chart that has the given ID (of any type)

element-id clj/s

(element-id chart element-or-id)

entry-handlers clj/s

(entry-handlers chart element-or-id)

exit-handlers clj/s

(exit-handlers chart element-or-id)

Returns the immediate child elements that are on-exit.

final-state? clj/s

(final-state? chart element-or-id)

find-least-common-compound-ancestor clj/s

(find-least-common-compound-ancestor chart states)

Returns the ELEMENT that is the common compound ancestor of all the states. NOTE: This may be the state chart itself. The compound state returned will be the one closest to all of the states.

get-children clj/s

(get-children chart element-or-id type)

Returns the ID of the child nodes of the given element-or-id which have the given type.

get-parent clj/s

(get-parent chart element-or-id)

Get the immediate parent (id) of the given element-or-id. Returns :ROOT if the parent is the root, and nil if the element queried is already the root.

get-parent-state clj/s

[chart element-or-id]

Alias for nearest-ancestor-state.

get-proper-ancestors clj/s

(get-proper-ancestors chart element-or-id)

(get-proper-ancestors chart element-or-id stopping-element-or-id)

Returns the node ids from chart that are proper ancestors of element-or-id (an id or actual element-or-id). If stopping-element-or-id-or-id is included, then that will stop the retrieval (not including the stopping element-or-id). The results are in the ancestry order (i.e. deepest element-or-id first).

history-element? clj/s

(history-element? chart element-or-id)

history-elements clj/s

(history-elements chart element-or-id)

ids-in-document-order clj/s

(ids-in-document-order chart)

(ids-in-document-order
  {desired-order :com.fulcrologic.statecharts/document-order :as chart}
  {:keys [id] :as node})

Returns the IDs of the states in the given node, in document order (not including the node itself). You can specify ::sc/document-order :breadth-first on the top-level chart definition to get a depth-first interpretation vs. breadth.

in-document-order clj/s

(in-document-order chart nodes-or-ids)

Given a set/sequence of actual nodes-or-ids (as maps), returns a vector of those nodes-or-ids, but in document order.

in-entry-order clj/s

[chart nodes]

Same as in-document-order.

in-exit-order clj/s

(in-exit-order chart nodes)

The reverse of in-document-order.

initial-element clj/s

(initial-element chart element-or-id)

Returns the element that represents the <initial> element of a compound state element-or-id. Returns nil if the element isn't a compound state.

initial? clj/s

(initial? chart element-or-id)

invalid-history-elements clj/s

(invalid-history-elements chart)

Returns a sequence of history elements from chart that have errors. Each node will contain a :msgs key with the problem descriptions. This is a static check.

invocations clj/s

(invocations chart element-or-id)

Returns the IDs of the nodes that are invocations within element-or-id

nearest-ancestor-state clj/s

(nearest-ancestor-state chart element-or-id)

Returns the ID of the state (if any) that encloses the given element-or-id, or nil if there is no ancestor state.

parallel-state? clj/s

(parallel-state? chart element-or-id)

scxml clj/s

See chart. SCXML-compliant name for top-level element.

source clj/s

[chart element-or-id] Returns the source (nearest ancestor that is a state element) of an element (meant to be used for transitions).

state? clj/s

(state? chart element-or-id)

statechart clj/s

(statechart {:keys [initial name binding] :as attrs} & children)

Create a new state chart definition that mimics the structure and semantics of SCXML.

Attributes:

::sc/document-order - :breadth-first or :depth-first (default). See Conformance.adoc. :initial - ID(s) of initial state(s) of the chart. Default is the top-most initial element, or the first element in document order. :name - Optional name :binding - :late or :early (default is :early)

transition-element clj/s

(transition-element chart element-or-id)

Returns the element that represents the first transition of element-or-id. This should only be used on nodes that have a single required transition, such as <initial> and <history> nodes.

transitions clj/s

(transitions chart element-or-id)

with-default-initial-state clj/s

(with-default-initial-state {:keys [id initial] :as parent} children)

Scans children for an initial state. If no such state is found then it creates one and sets the target to the first child that is a state.