-- Parsing SCXML into states and transitions.
-- Error CONTEXT carries plpgsql line numbers, which would make this
-- expected output break on every unrelated edit.
\set SHOW_CONTEXT never
-- Quiet, so that the expected output is the same whether or not an earlier
-- test in the same database already created the extension.
set client_min_messages to warning;
create extension if not exists pg_statecharts_dev cascade;
reset client_min_messages;
\set chart '<scxml xmlns="http://www.w3.org/2005/07/scxml" name="orders.checkout" version="1.2.3" initial="pending"><state id="pending" name="Pending"><transition event="order.pay" target="paying"/><transition event="order.cancel" target="cancelled"/><onentry><script src="billing.reserve_stock"/><script src="notify_pending"/></onentry><onexit><script src="billing.release_hold"/></onexit></state><state id="paying" name="Paying"><initial><transition target="authorizing"/></initial><transition event="order.paid" target="fulfilling"/><state id="authorizing" name="Authorizing"><transition event="auth.ok" target="capturing"/></state><state id="capturing" name="Capturing"/></state><parallel id="fulfilling" name="Fulfilling"><transition event="order.done" target="complete"/><state id="packing" name="Packing"/><state id="invoicing" name="Invoicing"><initial><transition target="drafting"/></initial><state id="drafting" name="Drafting"/><state id="sent" name="Sent"/></state></parallel><final id="complete" name="Complete"><onentry><script src="audit.log_complete"/></onentry><onexit><script src="never.called"/></onexit></final><final id="cancelled" name="Cancelled"/></scxml>'
-- States come out in document order, with parent_id and is_initial resolved
-- from the enclosing <initial> element. Every child of a <parallel> is initial.
select id, name, parent_id, is_initial, is_final, on_entry::text, on_exit::text
from fsm.scxml_states(:'chart'::xml);
     id      |    name     | parent_id  | is_initial | is_final |                       on_entry                        |          on_exit           
-------------+-------------+------------+------------+----------+-------------------------------------------------------+----------------------------
 pending     | Pending     |            | t          | f        | {"(billing,reserve_stock)","(public,notify_pending)"} | {"(billing,release_hold)"}
 paying      | Paying      |            | f          | f        | {}                                                    | {}
 authorizing | Authorizing | paying     | t          | f        | {}                                                    | {}
 capturing   | Capturing   | paying     | f          | f        | {}                                                    | {}
 fulfilling  | Fulfilling  |            | f          | f        | {}                                                    | {}
 packing     | Packing     | fulfilling | t          | f        | {}                                                    | {}
 invoicing   | Invoicing   | fulfilling | t          | f        | {}                                                    | {}
 drafting    | Drafting    | invoicing  | t          | f        | {}                                                    | {}
 sent        | Sent        | invoicing  | f          | f        | {}                                                    | {}
 complete    | Complete    |            | f          | t        | {"(audit,log_complete)"}                              | {}
 cancelled   | Cancelled   |            | f          | t        | {}                                                    | {}
(11 rows)

-- Transitions belong to the state that encloses them. The <initial>
-- transitions and anything under a <final> must not appear here.
select event, source_state, target_state from fsm.scxml_transitions(:'chart'::xml);
    event     | source_state | target_state 
--------------+--------------+--------------
 order.pay    | pending      | paying
 order.cancel | pending      | cancelled
 order.paid   | paying       | fulfilling
 auth.ok      | authorizing  | capturing
 order.done   | fulfilling   | complete
(5 rows)

-- A dotted src is split on the first dot, an undotted one defaults to public
select (fsm.scxml_states(
  '<scxml xmlns="http://www.w3.org/2005/07/scxml" name="c" version="1.0" initial="s">
     <state id="s"><onentry>
       <script src="plain"/><script src="a.b"/><script src="a.b.c"/>
     </onentry></state>
   </scxml>'::xml)).on_entry::text as callbacks;
              callbacks               
--------------------------------------
 {"(public,plain)","(a,b)","(a,b.c)"}
(1 row)

-- XML entities in attributes have to be decoded, not passed through escaped
select id, name from fsm.scxml_states(
  '<scxml xmlns="http://www.w3.org/2005/07/scxml" name="c" version="1.0" initial="s">
     <state id="s" name="Pick &amp; Pack &lt;fast&gt;"/>
   </scxml>'::xml);
 id |        name        
----+--------------------
 s  | Pick & Pack <fast>
(1 row)

-- Namespaceless documents are accepted too
select id from fsm.scxml_states(
  '<scxml name="c" version="1.0" initial="s"><state id="s"/></scxml>'::xml);
 id 
----
 s
(1 row)

-- An unnamed state gets an empty name rather than being rejected
select id, name = '' as name_is_empty from fsm.scxml_states(
  '<scxml name="c" version="1.0" initial="s"><state id="s"/></scxml>'::xml);
 id | name_is_empty 
----+---------------
 s  | t
(1 row)

--
-- Error cases
--
-- compound state without an <initial>
select fsm.scxml_states(
  '<scxml name="c" version="1.0" initial="p">
     <state id="p"><state id="c1"/><state id="c2"/></state>
   </scxml>'::xml);
ERROR:  state "p" has child states but no initial state
HINT:  add <initial><transition target="..."/></initial> inside <state id="p">
-- <initial> pointing at a state that is not a child
select fsm.scxml_states(
  '<scxml name="c" version="1.0" initial="p">
     <state id="p"><initial><transition target="nope"/></initial><state id="c1"/></state>
   </scxml>'::xml);
ERROR:  state "p" declares "nope" as its initial state, but has no such child
DETAIL:  child states are: c1
-- root initial pointing at nothing
select fsm.scxml_states(
  '<scxml name="c" version="1.0" initial="nope"><state id="s"/></scxml>'::xml);
ERROR:  the statechart declares "nope" as its initial state, but has no such top level state
DETAIL:  top level states are: s
-- state without an id
select fsm.scxml_states(
  '<scxml name="c" version="1.0" initial="s"><state id="s"/><state name="oops"/></scxml>'::xml);
ERROR:  found a <state> element without an id attribute
HINT:  every state, final and parallel element needs a unique id
-- no states at all
select fsm.scxml_states('<scxml name="c" version="1.0" initial="s"/>'::xml);
ERROR:  the statechart has no states
-- no initial attribute
select fsm.scxml_states('<scxml name="c" version="1.0"><state id="s"/></scxml>'::xml);
ERROR:  the <scxml> element has no initial attribute
HINT:  add initial="<id of the starting state>" to <scxml>
-- A transition without an event, or without a target, is rejected by name.
-- fsm.transition has NOT NULL on both, and a NULL here used to make the
-- generator's string_agg silently drop the row from the migration.
select fsm.scxml_transitions(
  '<scxml name="c" version="1.0" initial="a">
     <state id="a"><transition target="b"/><transition event="go" target="b"/></state>
     <state id="b"/>
   </scxml>'::xml);
ERROR:  a transition out of state "a" has no event attribute
HINT:  every <transition> needs event="..." and target="..."; eventless transitions are not supported
select fsm.scxml_transitions(
  '<scxml name="c" version="1.0" initial="a">
     <state id="a"><transition event="go" target="b"/></state>
     <state id="b"><transition event="stop"/></state>
   </scxml>'::xml);
ERROR:  the transition on event "stop" out of state "b" has no target attribute
HINT:  every <transition> needs event="..." and target="..."; targetless (internal) transitions are not supported
-- A transition inside <final> used to be silently excluded by the xpath; the
-- runtime would refuse the chart at insert time, so the generator has to too.
select fsm.scxml_transitions(
  '<scxml name="c" version="1.0" initial="a">
     <state id="a"><transition event="finish" target="b"/></state>
     <final id="b"><transition event="x" target="a"/></final>
   </scxml>'::xml);
ERROR:  final state "b" has a transition, but a final state cannot be left
HINT:  remove the <transition> from <final id="b">, or make it a <state>