You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@commons.apache.org by at...@apache.org on 2014/09/15 15:36:45 UTC
svn commit: r922280 [22/40] - in
/websites/production/commons/content/proper/commons-scxml: ./ 0.5/ 0.6/
0.7/ 0.8/ 0.9/ apidocs/ apidocs/org/apache/commons/scxml2/
apidocs/org/apache/commons/scxml2/class-use/
apidocs/org/apache/commons/scxml2/env/ apid...
Modified: websites/production/commons/content/proper/commons-scxml/apidocs/src-html/org/apache/commons/scxml2/semantics/SCXMLSemanticsImpl.html
==============================================================================
--- websites/production/commons/content/proper/commons-scxml/apidocs/src-html/org/apache/commons/scxml2/semantics/SCXMLSemanticsImpl.html (original)
+++ websites/production/commons/content/proper/commons-scxml/apidocs/src-html/org/apache/commons/scxml2/semantics/SCXMLSemanticsImpl.html Mon Sep 15 13:36:40 2014
@@ -256,905 +256,936 @@
<span class="sourceLineNo">248</span> exitStates(exctx, step, statesToInvoke);<a name="line.248"></a>
<span class="sourceLineNo">249</span> executeTransitionContent(exctx, step);<a name="line.249"></a>
<span class="sourceLineNo">250</span> enterStates(exctx, step, statesToInvoke);<a name="line.250"></a>
-<span class="sourceLineNo">251</span> }<a name="line.251"></a>
-<span class="sourceLineNo">252</span><a name="line.252"></a>
-<span class="sourceLineNo">253</span> /**<a name="line.253"></a>
-<span class="sourceLineNo">254</span> * buildStep builds the exitSet and entrySet for the current configuration given the transitionList on the step.<a name="line.254"></a>
-<span class="sourceLineNo">255</span> *<a name="line.255"></a>
-<span class="sourceLineNo">256</span> * @param exctx The SCXML execution context<a name="line.256"></a>
-<span class="sourceLineNo">257</span> * @param step The step containing the list of transitions to be taken<a name="line.257"></a>
-<span class="sourceLineNo">258</span> * @throws ModelException if the result of taking the transitions would lead to an illegal configuration<a name="line.258"></a>
-<span class="sourceLineNo">259</span> */<a name="line.259"></a>
-<span class="sourceLineNo">260</span> public void buildStep(final SCXMLExecutionContext exctx, final Step step) throws ModelException {<a name="line.260"></a>
-<span class="sourceLineNo">261</span> step.getExitSet().clear();<a name="line.261"></a>
-<span class="sourceLineNo">262</span> step.getEntrySet().clear();<a name="line.262"></a>
-<span class="sourceLineNo">263</span> step.getDefaultEntrySet().clear();<a name="line.263"></a>
-<span class="sourceLineNo">264</span> step.getDefaultHistoryTransitionEntryMap().clear();<a name="line.264"></a>
-<span class="sourceLineNo">265</span><a name="line.265"></a>
-<span class="sourceLineNo">266</span> // compute exitSet, if there is something to exit<a name="line.266"></a>
-<span class="sourceLineNo">267</span> if (!exctx.getScInstance().getCurrentStatus().getStates().isEmpty()) {<a name="line.267"></a>
-<span class="sourceLineNo">268</span> computeExitSet(step, exctx.getScInstance().getCurrentStatus().getAllStates());<a name="line.268"></a>
-<span class="sourceLineNo">269</span> }<a name="line.269"></a>
-<span class="sourceLineNo">270</span> // compute entrySet<a name="line.270"></a>
-<span class="sourceLineNo">271</span> computeEntrySet(exctx, step);<a name="line.271"></a>
-<span class="sourceLineNo">272</span><a name="line.272"></a>
-<span class="sourceLineNo">273</span> // default result states to entrySet<a name="line.273"></a>
-<span class="sourceLineNo">274</span> Set<EnterableState> states = step.getEntrySet();<a name="line.274"></a>
-<span class="sourceLineNo">275</span> if (!step.getExitSet().isEmpty()) {<a name="line.275"></a>
-<span class="sourceLineNo">276</span> // calculate result states by taking current states, subtracting exitSet and adding entrySet<a name="line.276"></a>
-<span class="sourceLineNo">277</span> states = new HashSet<EnterableState>(exctx.getScInstance().getCurrentStatus().getStates());<a name="line.277"></a>
-<span class="sourceLineNo">278</span> states.removeAll(step.getExitSet());<a name="line.278"></a>
-<span class="sourceLineNo">279</span> states.addAll(step.getEntrySet());<a name="line.279"></a>
-<span class="sourceLineNo">280</span> }<a name="line.280"></a>
-<span class="sourceLineNo">281</span> // validate the result states represent a legal configuration<a name="line.281"></a>
-<span class="sourceLineNo">282</span> if (!isLegalConfig(states, exctx.getErrorReporter())) {<a name="line.282"></a>
-<span class="sourceLineNo">283</span> throw new ModelException("Illegal state machine configuration!");<a name="line.283"></a>
-<span class="sourceLineNo">284</span> }<a name="line.284"></a>
-<span class="sourceLineNo">285</span> }<a name="line.285"></a>
-<span class="sourceLineNo">286</span><a name="line.286"></a>
-<span class="sourceLineNo">287</span> /**<a name="line.287"></a>
-<span class="sourceLineNo">288</span> * Perform a macro step in the execution of a state machine.<a name="line.288"></a>
-<span class="sourceLineNo">289</span> * <p><a name="line.289"></a>
-<span class="sourceLineNo">290</span> * This macro step is corresponding to the Algorithm for SCXML processing mainEventLoop() procedure macro step<a name="line.290"></a>
-<span class="sourceLineNo">291</span> * sub-flow, which are the first <em>3</em> steps of the described <em>4</em>, so everything up to the blocking<a name="line.291"></a>
-<span class="sourceLineNo">292</span> * wait for an external event.<a name="line.292"></a>
-<span class="sourceLineNo">293</span> * <p><a name="line.293"></a>
-<span class="sourceLineNo">294</span> * @param exctx The execution context for this step<a name="line.294"></a>
-<span class="sourceLineNo">295</span> * @param statesToInvoke the set of activated states which invokes need to be invoked at the end of the current<a name="line.295"></a>
-<span class="sourceLineNo">296</span> * macro step<a name="line.296"></a>
-<span class="sourceLineNo">297</span> * @throws ModelException if a SCXML model error occurred during the execution.<a name="line.297"></a>
-<span class="sourceLineNo">298</span> */<a name="line.298"></a>
-<span class="sourceLineNo">299</span> public void macroStep(final SCXMLExecutionContext exctx, final Set<TransitionalState> statesToInvoke)<a name="line.299"></a>
-<span class="sourceLineNo">300</span> throws ModelException {<a name="line.300"></a>
-<span class="sourceLineNo">301</span> do {<a name="line.301"></a>
-<span class="sourceLineNo">302</span> boolean macroStepDone = false;<a name="line.302"></a>
-<span class="sourceLineNo">303</span> do {<a name="line.303"></a>
-<span class="sourceLineNo">304</span> Step step = new Step(null);<a name="line.304"></a>
-<span class="sourceLineNo">305</span> selectTransitions(exctx, step);<a name="line.305"></a>
-<span class="sourceLineNo">306</span> if (step.getTransitList().isEmpty()) {<a name="line.306"></a>
-<span class="sourceLineNo">307</span> TriggerEvent event = exctx.nextInternalEvent();<a name="line.307"></a>
-<span class="sourceLineNo">308</span> if (event != null) {<a name="line.308"></a>
-<span class="sourceLineNo">309</span> if (isCancelEvent(event)) {<a name="line.309"></a>
-<span class="sourceLineNo">310</span> exctx.stopRunning();<a name="line.310"></a>
-<span class="sourceLineNo">311</span> }<a name="line.311"></a>
-<span class="sourceLineNo">312</span> else {<a name="line.312"></a>
-<span class="sourceLineNo">313</span> setSystemEventVariable(exctx.getScInstance(), event, true);<a name="line.313"></a>
-<span class="sourceLineNo">314</span> step = new Step(event);<a name="line.314"></a>
-<span class="sourceLineNo">315</span> selectTransitions(exctx, step);<a name="line.315"></a>
-<span class="sourceLineNo">316</span> }<a name="line.316"></a>
-<span class="sourceLineNo">317</span> }<a name="line.317"></a>
-<span class="sourceLineNo">318</span> }<a name="line.318"></a>
-<span class="sourceLineNo">319</span> if (step.getTransitList().isEmpty()) {<a name="line.319"></a>
-<span class="sourceLineNo">320</span> macroStepDone = true;<a name="line.320"></a>
-<span class="sourceLineNo">321</span> }<a name="line.321"></a>
-<span class="sourceLineNo">322</span> else {<a name="line.322"></a>
-<span class="sourceLineNo">323</span> microStep(exctx, step, statesToInvoke);<a name="line.323"></a>
-<span class="sourceLineNo">324</span> setSystemAllStatesVariable(exctx.getScInstance());<a name="line.324"></a>
-<span class="sourceLineNo">325</span> }<a name="line.325"></a>
+<span class="sourceLineNo">251</span> step.clearIntermediateState();<a name="line.251"></a>
+<span class="sourceLineNo">252</span> }<a name="line.252"></a>
+<span class="sourceLineNo">253</span><a name="line.253"></a>
+<span class="sourceLineNo">254</span> /**<a name="line.254"></a>
+<span class="sourceLineNo">255</span> * buildStep builds the exitSet and entrySet for the current configuration given the transitionList on the step.<a name="line.255"></a>
+<span class="sourceLineNo">256</span> *<a name="line.256"></a>
+<span class="sourceLineNo">257</span> * @param exctx The SCXML execution context<a name="line.257"></a>
+<span class="sourceLineNo">258</span> * @param step The step containing the list of transitions to be taken<a name="line.258"></a>
+<span class="sourceLineNo">259</span> * @throws ModelException if the result of taking the transitions would lead to an illegal configuration<a name="line.259"></a>
+<span class="sourceLineNo">260</span> */<a name="line.260"></a>
+<span class="sourceLineNo">261</span> public void buildStep(final SCXMLExecutionContext exctx, final Step step) throws ModelException {<a name="line.261"></a>
+<span class="sourceLineNo">262</span> step.clearIntermediateState();<a name="line.262"></a>
+<span class="sourceLineNo">263</span><a name="line.263"></a>
+<span class="sourceLineNo">264</span> // compute exitSet, if there is something to exit and record their History configurations if applicable<a name="line.264"></a>
+<span class="sourceLineNo">265</span> if (!exctx.getScInstance().getCurrentStatus().getStates().isEmpty()) {<a name="line.265"></a>
+<span class="sourceLineNo">266</span> computeExitSet(step, exctx.getScInstance().getCurrentStatus());<a name="line.266"></a>
+<span class="sourceLineNo">267</span> }<a name="line.267"></a>
+<span class="sourceLineNo">268</span> // compute entrySet<a name="line.268"></a>
+<span class="sourceLineNo">269</span> computeEntrySet(exctx, step);<a name="line.269"></a>
+<span class="sourceLineNo">270</span><a name="line.270"></a>
+<span class="sourceLineNo">271</span> // default result states to entrySet<a name="line.271"></a>
+<span class="sourceLineNo">272</span> Set<EnterableState> states = step.getEntrySet();<a name="line.272"></a>
+<span class="sourceLineNo">273</span> if (!step.getExitSet().isEmpty()) {<a name="line.273"></a>
+<span class="sourceLineNo">274</span> // calculate result states by taking current states, subtracting exitSet and adding entrySet<a name="line.274"></a>
+<span class="sourceLineNo">275</span> states = new HashSet<EnterableState>(exctx.getScInstance().getCurrentStatus().getStates());<a name="line.275"></a>
+<span class="sourceLineNo">276</span> states.removeAll(step.getExitSet());<a name="line.276"></a>
+<span class="sourceLineNo">277</span> states.addAll(step.getEntrySet());<a name="line.277"></a>
+<span class="sourceLineNo">278</span> }<a name="line.278"></a>
+<span class="sourceLineNo">279</span> // validate the result states represent a legal configuration<a name="line.279"></a>
+<span class="sourceLineNo">280</span> if (!isLegalConfig(states, exctx.getErrorReporter())) {<a name="line.280"></a>
+<span class="sourceLineNo">281</span> throw new ModelException("Illegal state machine configuration!");<a name="line.281"></a>
+<span class="sourceLineNo">282</span> }<a name="line.282"></a>
+<span class="sourceLineNo">283</span> }<a name="line.283"></a>
+<span class="sourceLineNo">284</span><a name="line.284"></a>
+<span class="sourceLineNo">285</span> /**<a name="line.285"></a>
+<span class="sourceLineNo">286</span> * Perform a macro step in the execution of a state machine.<a name="line.286"></a>
+<span class="sourceLineNo">287</span> * <p><a name="line.287"></a>
+<span class="sourceLineNo">288</span> * This macro step is corresponding to the Algorithm for SCXML processing mainEventLoop() procedure macro step<a name="line.288"></a>
+<span class="sourceLineNo">289</span> * sub-flow, which are the first <em>3</em> steps of the described <em>4</em>, so everything up to the blocking<a name="line.289"></a>
+<span class="sourceLineNo">290</span> * wait for an external event.<a name="line.290"></a>
+<span class="sourceLineNo">291</span> * <p><a name="line.291"></a>
+<span class="sourceLineNo">292</span> * @param exctx The execution context for this step<a name="line.292"></a>
+<span class="sourceLineNo">293</span> * @param statesToInvoke the set of activated states which invokes need to be invoked at the end of the current<a name="line.293"></a>
+<span class="sourceLineNo">294</span> * macro step<a name="line.294"></a>
+<span class="sourceLineNo">295</span> * @throws ModelException if a SCXML model error occurred during the execution.<a name="line.295"></a>
+<span class="sourceLineNo">296</span> */<a name="line.296"></a>
+<span class="sourceLineNo">297</span> public void macroStep(final SCXMLExecutionContext exctx, final Set<TransitionalState> statesToInvoke)<a name="line.297"></a>
+<span class="sourceLineNo">298</span> throws ModelException {<a name="line.298"></a>
+<span class="sourceLineNo">299</span> do {<a name="line.299"></a>
+<span class="sourceLineNo">300</span> boolean macroStepDone = false;<a name="line.300"></a>
+<span class="sourceLineNo">301</span> do {<a name="line.301"></a>
+<span class="sourceLineNo">302</span> Step step = new Step(null);<a name="line.302"></a>
+<span class="sourceLineNo">303</span> selectTransitions(exctx, step);<a name="line.303"></a>
+<span class="sourceLineNo">304</span> if (step.getTransitList().isEmpty()) {<a name="line.304"></a>
+<span class="sourceLineNo">305</span> TriggerEvent event = exctx.nextInternalEvent();<a name="line.305"></a>
+<span class="sourceLineNo">306</span> if (event != null) {<a name="line.306"></a>
+<span class="sourceLineNo">307</span> if (isCancelEvent(event)) {<a name="line.307"></a>
+<span class="sourceLineNo">308</span> exctx.stopRunning();<a name="line.308"></a>
+<span class="sourceLineNo">309</span> }<a name="line.309"></a>
+<span class="sourceLineNo">310</span> else {<a name="line.310"></a>
+<span class="sourceLineNo">311</span> setSystemEventVariable(exctx.getScInstance(), event, true);<a name="line.311"></a>
+<span class="sourceLineNo">312</span> step = new Step(event);<a name="line.312"></a>
+<span class="sourceLineNo">313</span> selectTransitions(exctx, step);<a name="line.313"></a>
+<span class="sourceLineNo">314</span> }<a name="line.314"></a>
+<span class="sourceLineNo">315</span> }<a name="line.315"></a>
+<span class="sourceLineNo">316</span> }<a name="line.316"></a>
+<span class="sourceLineNo">317</span> if (step.getTransitList().isEmpty()) {<a name="line.317"></a>
+<span class="sourceLineNo">318</span> macroStepDone = true;<a name="line.318"></a>
+<span class="sourceLineNo">319</span> }<a name="line.319"></a>
+<span class="sourceLineNo">320</span> else {<a name="line.320"></a>
+<span class="sourceLineNo">321</span> microStep(exctx, step, statesToInvoke);<a name="line.321"></a>
+<span class="sourceLineNo">322</span> setSystemAllStatesVariable(exctx.getScInstance());<a name="line.322"></a>
+<span class="sourceLineNo">323</span> }<a name="line.323"></a>
+<span class="sourceLineNo">324</span><a name="line.324"></a>
+<span class="sourceLineNo">325</span> } while (exctx.isRunning() && !macroStepDone);<a name="line.325"></a>
<span class="sourceLineNo">326</span><a name="line.326"></a>
-<span class="sourceLineNo">327</span> } while (exctx.isRunning() && !macroStepDone);<a name="line.327"></a>
-<span class="sourceLineNo">328</span><a name="line.328"></a>
-<span class="sourceLineNo">329</span> if (exctx.isRunning() && !statesToInvoke.isEmpty()) {<a name="line.329"></a>
-<span class="sourceLineNo">330</span> initiateInvokes(exctx, statesToInvoke);<a name="line.330"></a>
-<span class="sourceLineNo">331</span> statesToInvoke.clear();<a name="line.331"></a>
-<span class="sourceLineNo">332</span> }<a name="line.332"></a>
-<span class="sourceLineNo">333</span> } while (exctx.isRunning() && exctx.hasPendingInternalEvent());<a name="line.333"></a>
-<span class="sourceLineNo">334</span> }<a name="line.334"></a>
-<span class="sourceLineNo">335</span><a name="line.335"></a>
-<span class="sourceLineNo">336</span> /**<a name="line.336"></a>
-<span class="sourceLineNo">337</span> * Compute and store the set of states to exit for the current list of transitions in the provided step.<a name="line.337"></a>
+<span class="sourceLineNo">327</span> if (exctx.isRunning() && !statesToInvoke.isEmpty()) {<a name="line.327"></a>
+<span class="sourceLineNo">328</span> initiateInvokes(exctx, statesToInvoke);<a name="line.328"></a>
+<span class="sourceLineNo">329</span> statesToInvoke.clear();<a name="line.329"></a>
+<span class="sourceLineNo">330</span> }<a name="line.330"></a>
+<span class="sourceLineNo">331</span> } while (exctx.isRunning() && exctx.hasPendingInternalEvent());<a name="line.331"></a>
+<span class="sourceLineNo">332</span> }<a name="line.332"></a>
+<span class="sourceLineNo">333</span><a name="line.333"></a>
+<span class="sourceLineNo">334</span> /**<a name="line.334"></a>
+<span class="sourceLineNo">335</span> * Compute and store the set of states to exit for the current list of transitions in the provided step.<a name="line.335"></a>
+<span class="sourceLineNo">336</span> * <p><a name="line.336"></a>
+<span class="sourceLineNo">337</span> * This method corresponds to the Algorithm for SCXML processing computeExitSet() procedure.<a name="line.337"></a>
<span class="sourceLineNo">338</span> * <p><a name="line.338"></a>
-<span class="sourceLineNo">339</span> * This method corresponds to the Algorithm for SCXML processing computeExitSet() procedure.<a name="line.339"></a>
-<span class="sourceLineNo">340</span> * <p><a name="line.340"></a>
-<span class="sourceLineNo">341</span> * @param step The step containing the list of transitions to be taken<a name="line.341"></a>
-<span class="sourceLineNo">342</span> * @param configuration The current configuration of the state machine ({@link Status#getAllStates()}).<a name="line.342"></a>
-<span class="sourceLineNo">343</span> */<a name="line.343"></a>
-<span class="sourceLineNo">344</span> public void computeExitSet(final Step step, final Set<EnterableState> configuration) {<a name="line.344"></a>
-<span class="sourceLineNo">345</span> for (SimpleTransition st : step.getTransitList()) {<a name="line.345"></a>
-<span class="sourceLineNo">346</span> computeExitSet(st, step.getExitSet(), configuration);<a name="line.346"></a>
-<span class="sourceLineNo">347</span> }<a name="line.347"></a>
-<span class="sourceLineNo">348</span> }<a name="line.348"></a>
-<span class="sourceLineNo">349</span><a name="line.349"></a>
-<span class="sourceLineNo">350</span> /**<a name="line.350"></a>
-<span class="sourceLineNo">351</span> * Compute and store the set of states to exit for one specific transition in the provided step.<a name="line.351"></a>
-<span class="sourceLineNo">352</span> * <p><a name="line.352"></a>
-<span class="sourceLineNo">353</span> * This method corresponds to the Algorithm for SCXML processing computeExitSet() procedure.<a name="line.353"></a>
+<span class="sourceLineNo">339</span> * @param step The step containing the list of transitions to be taken<a name="line.339"></a>
+<span class="sourceLineNo">340</span> * @param currentStatus The current status of the state machine ({@link SCInstance#getCurrentStatus()}).<a name="line.340"></a>
+<span class="sourceLineNo">341</span> */<a name="line.341"></a>
+<span class="sourceLineNo">342</span> public void computeExitSet(final Step step, final Status currentStatus) {<a name="line.342"></a>
+<span class="sourceLineNo">343</span> if (!currentStatus.getStates().isEmpty()) {<a name="line.343"></a>
+<span class="sourceLineNo">344</span> Set<EnterableState> configuration = currentStatus.getAllStates();<a name="line.344"></a>
+<span class="sourceLineNo">345</span> for (SimpleTransition st : step.getTransitList()) {<a name="line.345"></a>
+<span class="sourceLineNo">346</span> computeExitSet(st, step.getExitSet(), configuration);<a name="line.346"></a>
+<span class="sourceLineNo">347</span> }<a name="line.347"></a>
+<span class="sourceLineNo">348</span> recordHistory(step, currentStatus.getStates(), configuration);<a name="line.348"></a>
+<span class="sourceLineNo">349</span> }<a name="line.349"></a>
+<span class="sourceLineNo">350</span> }<a name="line.350"></a>
+<span class="sourceLineNo">351</span><a name="line.351"></a>
+<span class="sourceLineNo">352</span> /**<a name="line.352"></a>
+<span class="sourceLineNo">353</span> * Compute and store the set of states to exit for one specific transition in the provided step.<a name="line.353"></a>
<span class="sourceLineNo">354</span> * <p><a name="line.354"></a>
-<span class="sourceLineNo">355</span> * @param transition The transition to compute the states to exit from<a name="line.355"></a>
-<span class="sourceLineNo">356</span> * @param exitSet The set for adding the states to exit to<a name="line.356"></a>
-<span class="sourceLineNo">357</span> * @param configuration The current configuration of the state machine ({@link Status#getAllStates()}).<a name="line.357"></a>
-<span class="sourceLineNo">358</span> */<a name="line.358"></a>
-<span class="sourceLineNo">359</span> public void computeExitSet(SimpleTransition transition, Set<EnterableState> exitSet, Set<EnterableState> configuration) {<a name="line.359"></a>
-<span class="sourceLineNo">360</span> if (!transition.getTargets().isEmpty()) {<a name="line.360"></a>
-<span class="sourceLineNo">361</span> TransitionalState transitionDomain = transition.getTransitionDomain();<a name="line.361"></a>
-<span class="sourceLineNo">362</span> if (transitionDomain == null) {<a name="line.362"></a>
-<span class="sourceLineNo">363</span> // root transition: every active state will be exited<a name="line.363"></a>
-<span class="sourceLineNo">364</span> exitSet.addAll(configuration);<a name="line.364"></a>
-<span class="sourceLineNo">365</span> }<a name="line.365"></a>
-<span class="sourceLineNo">366</span> else {<a name="line.366"></a>
-<span class="sourceLineNo">367</span> for (EnterableState state : configuration) {<a name="line.367"></a>
-<span class="sourceLineNo">368</span> if (state.isDescendantOf(transitionDomain)) {<a name="line.368"></a>
-<span class="sourceLineNo">369</span> exitSet.add(state);<a name="line.369"></a>
-<span class="sourceLineNo">370</span> }<a name="line.370"></a>
-<span class="sourceLineNo">371</span> }<a name="line.371"></a>
-<span class="sourceLineNo">372</span> }<a name="line.372"></a>
-<span class="sourceLineNo">373</span> }<a name="line.373"></a>
-<span class="sourceLineNo">374</span> }<a name="line.374"></a>
-<span class="sourceLineNo">375</span><a name="line.375"></a>
-<span class="sourceLineNo">376</span> /**<a name="line.376"></a>
-<span class="sourceLineNo">377</span> * Compute and store the set of states to enter for the current list of transitions in the provided step.<a name="line.377"></a>
-<span class="sourceLineNo">378</span> * <p><a name="line.378"></a>
-<span class="sourceLineNo">379</span> * This method corresponds to the Algorithm for SCXML processing computeEntrySet() procedure.<a name="line.379"></a>
+<span class="sourceLineNo">355</span> * This method corresponds to the Algorithm for SCXML processing computeExitSet() procedure.<a name="line.355"></a>
+<span class="sourceLineNo">356</span> * <p><a name="line.356"></a>
+<span class="sourceLineNo">357</span> * @param transition The transition to compute the states to exit from<a name="line.357"></a>
+<span class="sourceLineNo">358</span> * @param exitSet The set for adding the states to exit to<a name="line.358"></a>
+<span class="sourceLineNo">359</span> * @param configuration The current configuration of the state machine ({@link Status#getAllStates()}).<a name="line.359"></a>
+<span class="sourceLineNo">360</span> */<a name="line.360"></a>
+<span class="sourceLineNo">361</span> public void computeExitSet(SimpleTransition transition, Set<EnterableState> exitSet, Set<EnterableState> configuration) {<a name="line.361"></a>
+<span class="sourceLineNo">362</span> if (!transition.getTargets().isEmpty()) {<a name="line.362"></a>
+<span class="sourceLineNo">363</span> TransitionalState transitionDomain = transition.getTransitionDomain();<a name="line.363"></a>
+<span class="sourceLineNo">364</span> if (transitionDomain == null) {<a name="line.364"></a>
+<span class="sourceLineNo">365</span> // root transition: every active state will be exited<a name="line.365"></a>
+<span class="sourceLineNo">366</span> exitSet.addAll(configuration);<a name="line.366"></a>
+<span class="sourceLineNo">367</span> }<a name="line.367"></a>
+<span class="sourceLineNo">368</span> else {<a name="line.368"></a>
+<span class="sourceLineNo">369</span> for (EnterableState state : configuration) {<a name="line.369"></a>
+<span class="sourceLineNo">370</span> if (state.isDescendantOf(transitionDomain)) {<a name="line.370"></a>
+<span class="sourceLineNo">371</span> exitSet.add(state);<a name="line.371"></a>
+<span class="sourceLineNo">372</span> }<a name="line.372"></a>
+<span class="sourceLineNo">373</span> }<a name="line.373"></a>
+<span class="sourceLineNo">374</span> }<a name="line.374"></a>
+<span class="sourceLineNo">375</span> }<a name="line.375"></a>
+<span class="sourceLineNo">376</span> }<a name="line.376"></a>
+<span class="sourceLineNo">377</span><a name="line.377"></a>
+<span class="sourceLineNo">378</span> /**<a name="line.378"></a>
+<span class="sourceLineNo">379</span> * Record the history configurations for states to exit if applicable and temporarily store this in the step.<a name="line.379"></a>
<span class="sourceLineNo">380</span> * <p><a name="line.380"></a>
-<span class="sourceLineNo">381</span> * @param exctx The execution context for this step<a name="line.381"></a>
-<span class="sourceLineNo">382</span> * @param step The step containing the list of transitions to be taken<a name="line.382"></a>
-<span class="sourceLineNo">383</span> */<a name="line.383"></a>
-<span class="sourceLineNo">384</span> public void computeEntrySet(final SCXMLExecutionContext exctx, final Step step) {<a name="line.384"></a>
-<span class="sourceLineNo">385</span> Set<History> historyTargets = new HashSet<History>();<a name="line.385"></a>
-<span class="sourceLineNo">386</span> Set<EnterableState> entrySet = new HashSet<EnterableState>();<a name="line.386"></a>
-<span class="sourceLineNo">387</span> for (SimpleTransition st : step.getTransitList()) {<a name="line.387"></a>
-<span class="sourceLineNo">388</span> for (TransitionTarget tt : st.getTargets()) {<a name="line.388"></a>
-<span class="sourceLineNo">389</span> if (tt instanceof EnterableState) {<a name="line.389"></a>
-<span class="sourceLineNo">390</span> entrySet.add((EnterableState) tt);<a name="line.390"></a>
-<span class="sourceLineNo">391</span> }<a name="line.391"></a>
-<span class="sourceLineNo">392</span> else {<a name="line.392"></a>
-<span class="sourceLineNo">393</span> // History<a name="line.393"></a>
-<span class="sourceLineNo">394</span> historyTargets.add((History)tt);<a name="line.394"></a>
-<span class="sourceLineNo">395</span> }<a name="line.395"></a>
-<span class="sourceLineNo">396</span> }<a name="line.396"></a>
-<span class="sourceLineNo">397</span> }<a name="line.397"></a>
-<span class="sourceLineNo">398</span> for (EnterableState es : entrySet) {<a name="line.398"></a>
-<span class="sourceLineNo">399</span> addDescendantStatesToEnter(exctx, step, es);<a name="line.399"></a>
-<span class="sourceLineNo">400</span> }<a name="line.400"></a>
-<span class="sourceLineNo">401</span> for (History h : historyTargets) {<a name="line.401"></a>
-<span class="sourceLineNo">402</span> addDescendantStatesToEnter(exctx, step, h);<a name="line.402"></a>
-<span class="sourceLineNo">403</span> }<a name="line.403"></a>
-<span class="sourceLineNo">404</span> for (SimpleTransition st : step.getTransitList()) {<a name="line.404"></a>
-<span class="sourceLineNo">405</span> TransitionalState ancestor = st.getTransitionDomain();<a name="line.405"></a>
-<span class="sourceLineNo">406</span> for (TransitionTarget tt : st.getTargets()) {<a name="line.406"></a>
-<span class="sourceLineNo">407</span> addAncestorStatesToEnter(exctx, step, tt, ancestor);<a name="line.407"></a>
-<span class="sourceLineNo">408</span> }<a name="line.408"></a>
-<span class="sourceLineNo">409</span> }<a name="line.409"></a>
-<span class="sourceLineNo">410</span> }<a name="line.410"></a>
-<span class="sourceLineNo">411</span><a name="line.411"></a>
-<span class="sourceLineNo">412</span> /**<a name="line.412"></a>
-<span class="sourceLineNo">413</span> * This method corresponds to the Algorithm for SCXML processing addDescendantStatesToEnter() procedure.<a name="line.413"></a>
-<span class="sourceLineNo">414</span> *<a name="line.414"></a>
-<span class="sourceLineNo">415</span> * @param exctx The execution context for this step<a name="line.415"></a>
-<span class="sourceLineNo">416</span> * @param step The step<a name="line.416"></a>
-<span class="sourceLineNo">417</span> * @param tt The TransitionTarget<a name="line.417"></a>
-<span class="sourceLineNo">418</span> */<a name="line.418"></a>
-<span class="sourceLineNo">419</span> public void addDescendantStatesToEnter(final SCXMLExecutionContext exctx, final Step step,<a name="line.419"></a>
-<span class="sourceLineNo">420</span> final TransitionTarget tt) {<a name="line.420"></a>
-<span class="sourceLineNo">421</span> if (tt instanceof History) {<a name="line.421"></a>
-<span class="sourceLineNo">422</span> History h = (History) tt;<a name="line.422"></a>
-<span class="sourceLineNo">423</span> if (exctx.getScInstance().isEmpty(h)) {<a name="line.423"></a>
-<span class="sourceLineNo">424</span> step.getDefaultHistoryTransitionEntryMap().put(h.getParent(), h.getTransition());<a name="line.424"></a>
-<span class="sourceLineNo">425</span> for (TransitionTarget dtt : h.getTransition().getTargets()) {<a name="line.425"></a>
-<span class="sourceLineNo">426</span> addDescendantStatesToEnter(exctx, step, dtt);<a name="line.426"></a>
-<span class="sourceLineNo">427</span> addAncestorStatesToEnter(exctx, step, dtt, tt.getParent());<a name="line.427"></a>
-<span class="sourceLineNo">428</span> }<a name="line.428"></a>
-<span class="sourceLineNo">429</span> } else {<a name="line.429"></a>
-<span class="sourceLineNo">430</span> for (TransitionTarget dtt : exctx.getScInstance().getLastConfiguration(h)) {<a name="line.430"></a>
-<span class="sourceLineNo">431</span> addDescendantStatesToEnter(exctx, step, dtt);<a name="line.431"></a>
-<span class="sourceLineNo">432</span> addAncestorStatesToEnter(exctx, step, dtt, tt.getParent());<a name="line.432"></a>
-<span class="sourceLineNo">433</span> }<a name="line.433"></a>
-<span class="sourceLineNo">434</span> }<a name="line.434"></a>
-<span class="sourceLineNo">435</span> }<a name="line.435"></a>
-<span class="sourceLineNo">436</span> else { // tt instanceof EnterableState<a name="line.436"></a>
-<span class="sourceLineNo">437</span> EnterableState es = (EnterableState)tt;<a name="line.437"></a>
-<span class="sourceLineNo">438</span> step.getEntrySet().add(es);<a name="line.438"></a>
-<span class="sourceLineNo">439</span> if (es instanceof Parallel) {<a name="line.439"></a>
-<span class="sourceLineNo">440</span> for (EnterableState child : ((Parallel)es).getChildren()) {<a name="line.440"></a>
-<span class="sourceLineNo">441</span> if (!containsDescendant(step.getEntrySet(), child)) {<a name="line.441"></a>
-<span class="sourceLineNo">442</span> addDescendantStatesToEnter(exctx, step, child);<a name="line.442"></a>
-<span class="sourceLineNo">443</span> }<a name="line.443"></a>
-<span class="sourceLineNo">444</span> }<a name="line.444"></a>
-<span class="sourceLineNo">445</span> }<a name="line.445"></a>
-<span class="sourceLineNo">446</span> else if (es instanceof State && ((State) es).isComposite()) {<a name="line.446"></a>
-<span class="sourceLineNo">447</span> step.getDefaultEntrySet().add(es);<a name="line.447"></a>
-<span class="sourceLineNo">448</span> for (TransitionTarget dtt : ((State)es).getInitial().getTransition().getTargets()) {<a name="line.448"></a>
-<span class="sourceLineNo">449</span> addDescendantStatesToEnter(exctx, step, dtt);<a name="line.449"></a>
-<span class="sourceLineNo">450</span> addAncestorStatesToEnter(exctx, step, dtt, tt);<a name="line.450"></a>
-<span class="sourceLineNo">451</span> }<a name="line.451"></a>
-<span class="sourceLineNo">452</span> }<a name="line.452"></a>
-<span class="sourceLineNo">453</span> }<a name="line.453"></a>
-<span class="sourceLineNo">454</span> }<a name="line.454"></a>
-<span class="sourceLineNo">455</span><a name="line.455"></a>
-<span class="sourceLineNo">456</span> /**<a name="line.456"></a>
-<span class="sourceLineNo">457</span> * This method corresponds to the Algorithm for SCXML processing addAncestorStatesToEnter() procedure.<a name="line.457"></a>
-<span class="sourceLineNo">458</span> *<a name="line.458"></a>
-<span class="sourceLineNo">459</span> * @param exctx The execution context for this step<a name="line.459"></a>
-<span class="sourceLineNo">460</span> * @param step The step<a name="line.460"></a>
-<span class="sourceLineNo">461</span> * @param tt The TransitionTarget<a name="line.461"></a>
-<span class="sourceLineNo">462</span> * @param ancestor The ancestor TransitionTarget<a name="line.462"></a>
-<span class="sourceLineNo">463</span> */<a name="line.463"></a>
-<span class="sourceLineNo">464</span> public void addAncestorStatesToEnter(final SCXMLExecutionContext exctx, final Step step,<a name="line.464"></a>
-<span class="sourceLineNo">465</span> final TransitionTarget tt, TransitionTarget ancestor) {<a name="line.465"></a>
-<span class="sourceLineNo">466</span> // for for anc in getProperAncestors(tt,ancestor)<a name="line.466"></a>
-<span class="sourceLineNo">467</span> for (int i = tt.getNumberOfAncestors()-1; i > -1; i--) {<a name="line.467"></a>
-<span class="sourceLineNo">468</span> EnterableState anc = tt.getAncestor(i);<a name="line.468"></a>
-<span class="sourceLineNo">469</span> if (anc == ancestor) {<a name="line.469"></a>
-<span class="sourceLineNo">470</span> break;<a name="line.470"></a>
-<span class="sourceLineNo">471</span> }<a name="line.471"></a>
-<span class="sourceLineNo">472</span> step.getEntrySet().add(anc);<a name="line.472"></a>
-<span class="sourceLineNo">473</span> if (anc instanceof Parallel) {<a name="line.473"></a>
-<span class="sourceLineNo">474</span> for (EnterableState child : ((Parallel)anc).getChildren()) {<a name="line.474"></a>
-<span class="sourceLineNo">475</span> if (!containsDescendant(step.getEntrySet(), child)) {<a name="line.475"></a>
-<span class="sourceLineNo">476</span> addDescendantStatesToEnter(exctx, step, child);<a name="line.476"></a>
-<span class="sourceLineNo">477</span> }<a name="line.477"></a>
-<span class="sourceLineNo">478</span> }<a name="line.478"></a>
-<span class="sourceLineNo">479</span><a name="line.479"></a>
-<span class="sourceLineNo">480</span> }<a name="line.480"></a>
-<span class="sourceLineNo">481</span> }<a name="line.481"></a>
-<span class="sourceLineNo">482</span> }<a name="line.482"></a>
-<span class="sourceLineNo">483</span><a name="line.483"></a>
-<span class="sourceLineNo">484</span> /**<a name="line.484"></a>
-<span class="sourceLineNo">485</span> * @return Returns true if a member of the provided states set is a descendant of the provided state.<a name="line.485"></a>
-<span class="sourceLineNo">486</span> * @param states the set of states to check for descendants<a name="line.486"></a>
-<span class="sourceLineNo">487</span> * @param state the state to check with<a name="line.487"></a>
-<span class="sourceLineNo">488</span> */<a name="line.488"></a>
-<span class="sourceLineNo">489</span> public boolean containsDescendant(Set<EnterableState> states, EnterableState state) {<a name="line.489"></a>
-<span class="sourceLineNo">490</span> for (EnterableState es : states) {<a name="line.490"></a>
-<span class="sourceLineNo">491</span> if (es.isDescendantOf(state)) {<a name="line.491"></a>
-<span class="sourceLineNo">492</span> return true;<a name="line.492"></a>
-<span class="sourceLineNo">493</span> }<a name="line.493"></a>
-<span class="sourceLineNo">494</span> }<a name="line.494"></a>
-<span class="sourceLineNo">495</span> return false;<a name="line.495"></a>
-<span class="sourceLineNo">496</span> }<a name="line.496"></a>
-<span class="sourceLineNo">497</span><a name="line.497"></a>
-<span class="sourceLineNo">498</span> /**<a name="line.498"></a>
-<span class="sourceLineNo">499</span> * This method corresponds to the Algorithm for SCXML processing selectTransitions() as well as the<a name="line.499"></a>
-<span class="sourceLineNo">500</span> * selectEventlessTransitions() procedure, depending on the event (or null) in the provided step<a name="line.500"></a>
-<span class="sourceLineNo">501</span> * <p><a name="line.501"></a>
-<span class="sourceLineNo">502</span> * @param exctx The execution context for this step<a name="line.502"></a>
-<span class="sourceLineNo">503</span> * @param step The step<a name="line.503"></a>
-<span class="sourceLineNo">504</span> */<a name="line.504"></a>
-<span class="sourceLineNo">505</span> public void selectTransitions(final SCXMLExecutionContext exctx, final Step step) throws ModelException {<a name="line.505"></a>
-<span class="sourceLineNo">506</span> step.getTransitList().clear();<a name="line.506"></a>
-<span class="sourceLineNo">507</span> ArrayList<Transition> enabledTransitions = new ArrayList<Transition>();<a name="line.507"></a>
-<span class="sourceLineNo">508</span><a name="line.508"></a>
-<span class="sourceLineNo">509</span> ArrayList<EnterableState> configuration = new ArrayList<EnterableState>(exctx.getScInstance().getCurrentStatus().getAllStates());<a name="line.509"></a>
-<span class="sourceLineNo">510</span> Collections.sort(configuration,DocumentOrder.documentOrderComparator);<a name="line.510"></a>
-<span class="sourceLineNo">511</span><a name="line.511"></a>
-<span class="sourceLineNo">512</span> HashSet<EnterableState> visited = new HashSet<EnterableState>();<a name="line.512"></a>
-<span class="sourceLineNo">513</span><a name="line.513"></a>
-<span class="sourceLineNo">514</span> String eventName = step.getEvent() != null ? step.getEvent().getName() : null;<a name="line.514"></a>
-<span class="sourceLineNo">515</span> for (EnterableState es : configuration) {<a name="line.515"></a>
-<span class="sourceLineNo">516</span> if (es.isAtomicState()) {<a name="line.516"></a>
-<span class="sourceLineNo">517</span> if (es instanceof Final) {<a name="line.517"></a>
-<span class="sourceLineNo">518</span> // Final states don't have transitions, skip to parent<a name="line.518"></a>
-<span class="sourceLineNo">519</span> if (es.getParent() == null) {<a name="line.519"></a>
-<span class="sourceLineNo">520</span> // should not happen: a top level active Final state should have stopped the state machine<a name="line.520"></a>
-<span class="sourceLineNo">521</span> throw new ModelException("Illegal state machine configuration: encountered top level <final> "<a name="line.521"></a>
-<span class="sourceLineNo">522</span> + "state while processing an event");<a name="line.522"></a>
-<span class="sourceLineNo">523</span> }<a name="line.523"></a>
-<span class="sourceLineNo">524</span> else {<a name="line.524"></a>
-<span class="sourceLineNo">525</span> es = es.getParent();<a name="line.525"></a>
-<span class="sourceLineNo">526</span> }<a name="line.526"></a>
-<span class="sourceLineNo">527</span> }<a name="line.527"></a>
-<span class="sourceLineNo">528</span> TransitionalState state = (TransitionalState)es;<a name="line.528"></a>
-<span class="sourceLineNo">529</span> TransitionalState current = state;<a name="line.529"></a>
-<span class="sourceLineNo">530</span> int ancestorIndex = state.getNumberOfAncestors()-1;<a name="line.530"></a>
-<span class="sourceLineNo">531</span> boolean transitionMatched = false;<a name="line.531"></a>
-<span class="sourceLineNo">532</span> do {<a name="line.532"></a>
-<span class="sourceLineNo">533</span> for (Transition transition : current.getTransitionsList()) {<a name="line.533"></a>
-<span class="sourceLineNo">534</span> if (transitionMatched = matchTransition(exctx, transition, eventName)) {<a name="line.534"></a>
-<span class="sourceLineNo">535</span> enabledTransitions.add(transition);<a name="line.535"></a>
-<span class="sourceLineNo">536</span> break;<a name="line.536"></a>
-<span class="sourceLineNo">537</span> }<a name="line.537"></a>
-<span class="sourceLineNo">538</span> }<a name="line.538"></a>
-<span class="sourceLineNo">539</span> current = (!transitionMatched && ancestorIndex > -1) ? state.getAncestor(ancestorIndex--) : null;<a name="line.539"></a>
-<span class="sourceLineNo">540</span> } while (!transitionMatched && current != null && visited.add(current));<a name="line.540"></a>
-<span class="sourceLineNo">541</span> }<a name="line.541"></a>
-<span class="sourceLineNo">542</span> }<a name="line.542"></a>
-<span class="sourceLineNo">543</span> removeConflictingTransitions(exctx, step, enabledTransitions);<a name="line.543"></a>
-<span class="sourceLineNo">544</span> }<a name="line.544"></a>
-<span class="sourceLineNo">545</span><a name="line.545"></a>
-<span class="sourceLineNo">546</span> /**<a name="line.546"></a>
-<span class="sourceLineNo">547</span> * This method corresponds to the Algorithm for SCXML processing removeConflictingTransitions() procedure.<a name="line.547"></a>
-<span class="sourceLineNo">548</span> *<a name="line.548"></a>
-<span class="sourceLineNo">549</span> * @param exctx The execution context for this step<a name="line.549"></a>
-<span class="sourceLineNo">550</span> * @param step The step<a name="line.550"></a>
-<span class="sourceLineNo">551</span> * @param enabledTransitions The list of enabled transitions<a name="line.551"></a>
-<span class="sourceLineNo">552</span> */<a name="line.552"></a>
-<span class="sourceLineNo">553</span> public void removeConflictingTransitions(final SCXMLExecutionContext exctx, final Step step,<a name="line.553"></a>
-<span class="sourceLineNo">554</span> final List<Transition> enabledTransitions) {<a name="line.554"></a>
-<span class="sourceLineNo">555</span> LinkedHashSet<Transition> filteredTransitions = new LinkedHashSet<Transition>();<a name="line.555"></a>
-<span class="sourceLineNo">556</span> LinkedHashSet<Transition> preemptedTransitions = new LinkedHashSet<Transition>();<a name="line.556"></a>
-<span class="sourceLineNo">557</span> Map<Transition, Set<EnterableState>> exitSets = new HashMap<Transition, Set<EnterableState>>();<a name="line.557"></a>
-<span class="sourceLineNo">558</span><a name="line.558"></a>
-<span class="sourceLineNo">559</span> Set<EnterableState> configuration = exctx.getScInstance().getCurrentStatus().getAllStates();<a name="line.559"></a>
-<span class="sourceLineNo">560</span> Collections.sort(enabledTransitions, DocumentOrder.documentOrderComparator);<a name="line.560"></a>
-<span class="sourceLineNo">561</span><a name="line.561"></a>
-<span class="sourceLineNo">562</span> for (Transition t1 : enabledTransitions) {<a name="line.562"></a>
-<span class="sourceLineNo">563</span> boolean t1Preempted = false;<a name="line.563"></a>
-<span class="sourceLineNo">564</span> Set<EnterableState> t1ExitSet = exitSets.get(t1);<a name="line.564"></a>
-<span class="sourceLineNo">565</span> for (Transition t2 : filteredTransitions) {<a name="line.565"></a>
-<span class="sourceLineNo">566</span> if (t1ExitSet == null) {<a name="line.566"></a>
-<span class="sourceLineNo">567</span> t1ExitSet = new HashSet<EnterableState>();<a name="line.567"></a>
-<span class="sourceLineNo">568</span> computeExitSet(t1, t1ExitSet, configuration);<a name="line.568"></a>
-<span class="sourceLineNo">569</span> exitSets.put(t1, t1ExitSet);<a name="line.569"></a>
-<span class="sourceLineNo">570</span> }<a name="line.570"></a>
-<span class="sourceLineNo">571</span> Set<EnterableState> t2ExitSet = exitSets.get(t2);<a name="line.571"></a>
-<span class="sourceLineNo">572</span> if (t2ExitSet == null) {<a name="line.572"></a>
-<span class="sourceLineNo">573</span> t2ExitSet = new HashSet<EnterableState>();<a name="line.573"></a>
-<span class="sourceLineNo">574</span> computeExitSet(t2, t2ExitSet, configuration);<a name="line.574"></a>
-<span class="sourceLineNo">575</span> exitSets.put(t2, t2ExitSet);<a name="line.575"></a>
-<span class="sourceLineNo">576</span> }<a name="line.576"></a>
-<span class="sourceLineNo">577</span> Set<EnterableState> smaller = t1ExitSet.size() < t2ExitSet.size() ? t1ExitSet : t2ExitSet;<a name="line.577"></a>
-<span class="sourceLineNo">578</span> Set<EnterableState> larger = smaller == t1ExitSet ? t2ExitSet : t1ExitSet;<a name="line.578"></a>
-<span class="sourceLineNo">579</span> boolean hasIntersection = false;<a name="line.579"></a>
-<span class="sourceLineNo">580</span> for (EnterableState s1 : smaller) {<a name="line.580"></a>
-<span class="sourceLineNo">581</span> hasIntersection = larger.contains(s1);<a name="line.581"></a>
-<span class="sourceLineNo">582</span> if (hasIntersection) {<a name="line.582"></a>
-<span class="sourceLineNo">583</span> break;<a name="line.583"></a>
-<span class="sourceLineNo">584</span> }<a name="line.584"></a>
-<span class="sourceLineNo">585</span> }<a name="line.585"></a>
-<span class="sourceLineNo">586</span> if (hasIntersection) {<a name="line.586"></a>
-<span class="sourceLineNo">587</span> if (t1.getParent().isDescendantOf(t2.getParent())) {<a name="line.587"></a>
-<span class="sourceLineNo">588</span> preemptedTransitions.add(t2);<a name="line.588"></a>
-<span class="sourceLineNo">589</span> }<a name="line.589"></a>
-<span class="sourceLineNo">590</span> else {<a name="line.590"></a>
-<span class="sourceLineNo">591</span> t1Preempted = true;<a name="line.591"></a>
-<span class="sourceLineNo">592</span> break;<a name="line.592"></a>
-<span class="sourceLineNo">593</span> }<a name="line.593"></a>
-<span class="sourceLineNo">594</span> }<a name="line.594"></a>
-<span class="sourceLineNo">595</span> }<a name="line.595"></a>
-<span class="sourceLineNo">596</span> if (t1Preempted) {<a name="line.596"></a>
-<span class="sourceLineNo">597</span> exitSets.remove(t1);<a name="line.597"></a>
-<span class="sourceLineNo">598</span> }<a name="line.598"></a>
-<span class="sourceLineNo">599</span> else {<a name="line.599"></a>
-<span class="sourceLineNo">600</span> for (Transition preempted : preemptedTransitions) {<a name="line.600"></a>
-<span class="sourceLineNo">601</span> filteredTransitions.remove(preempted);<a name="line.601"></a>
-<span class="sourceLineNo">602</span> exitSets.remove(preempted);<a name="line.602"></a>
-<span class="sourceLineNo">603</span> }<a name="line.603"></a>
-<span class="sourceLineNo">604</span> filteredTransitions.add(t1);<a name="line.604"></a>
-<span class="sourceLineNo">605</span> }<a name="line.605"></a>
-<span class="sourceLineNo">606</span> }<a name="line.606"></a>
-<span class="sourceLineNo">607</span> step.getTransitList().addAll(filteredTransitions);<a name="line.607"></a>
-<span class="sourceLineNo">608</span> }<a name="line.608"></a>
-<span class="sourceLineNo">609</span><a name="line.609"></a>
-<span class="sourceLineNo">610</span> /**<a name="line.610"></a>
-<span class="sourceLineNo">611</span> * @param exctx The execution context for this step<a name="line.611"></a>
-<span class="sourceLineNo">612</span> * @param transition The transition<a name="line.612"></a>
-<span class="sourceLineNo">613</span> * @param eventName The (optional) event name to match against<a name="line.613"></a>
-<span class="sourceLineNo">614</span> * @return Returns true if the transition matches against the provided eventName, or is event-less when no eventName<a name="line.614"></a>
-<span class="sourceLineNo">615</span> * is provided, <em>AND</em> its (optional) condition guard evaluates to true.<a name="line.615"></a>
-<span class="sourceLineNo">616</span> */<a name="line.616"></a>
-<span class="sourceLineNo">617</span> public boolean matchTransition(final SCXMLExecutionContext exctx, final Transition transition, final String eventName) {<a name="line.617"></a>
-<span class="sourceLineNo">618</span> if (eventName != null) {<a name="line.618"></a>
-<span class="sourceLineNo">619</span> if (!(transition.isNoEventsTransition() || transition.isAllEventsTransition())) {<a name="line.619"></a>
-<span class="sourceLineNo">620</span> boolean eventMatch = false;<a name="line.620"></a>
-<span class="sourceLineNo">621</span> for (String event : transition.getEvents()) {<a name="line.621"></a>
-<span class="sourceLineNo">622</span> if (eventName.startsWith(event)) {<a name="line.622"></a>
-<span class="sourceLineNo">623</span> if (eventName.length() == event.length() || eventName.charAt(event.length())=='.')<a name="line.623"></a>
-<span class="sourceLineNo">624</span> eventMatch = true;<a name="line.624"></a>
-<span class="sourceLineNo">625</span> break;<a name="line.625"></a>
-<span class="sourceLineNo">626</span> }<a name="line.626"></a>
-<span class="sourceLineNo">627</span> }<a name="line.627"></a>
-<span class="sourceLineNo">628</span> if (!eventMatch) {<a name="line.628"></a>
-<span class="sourceLineNo">629</span> return false;<a name="line.629"></a>
-<span class="sourceLineNo">630</span> }<a name="line.630"></a>
-<span class="sourceLineNo">631</span> }<a name="line.631"></a>
-<span class="sourceLineNo">632</span> }<a name="line.632"></a>
-<span class="sourceLineNo">633</span> else if (!transition.isNoEventsTransition()) {<a name="line.633"></a>
-<span class="sourceLineNo">634</span> return false;<a name="line.634"></a>
-<span class="sourceLineNo">635</span> }<a name="line.635"></a>
-<span class="sourceLineNo">636</span> if (transition.getCond() != null) {<a name="line.636"></a>
-<span class="sourceLineNo">637</span> Boolean result = Boolean.FALSE;<a name="line.637"></a>
-<span class="sourceLineNo">638</span> Context context = exctx.getScInstance().getContext(transition.getParent());<a name="line.638"></a>
-<span class="sourceLineNo">639</span> context.setLocal(Context.NAMESPACES_KEY, transition.getNamespaces());<a name="line.639"></a>
-<span class="sourceLineNo">640</span> try {<a name="line.640"></a>
-<span class="sourceLineNo">641</span> if ((result = exctx.getEvaluator().evalCond(context, transition.getCond())) == null) {<a name="line.641"></a>
-<span class="sourceLineNo">642</span> result = Boolean.FALSE;<a name="line.642"></a>
-<span class="sourceLineNo">643</span> if (exctx.getAppLog().isDebugEnabled()) {<a name="line.643"></a>
-<span class="sourceLineNo">644</span> exctx.getAppLog().debug("Treating as false because the cond expression was evaluated as null: '"<a name="line.644"></a>
-<span class="sourceLineNo">645</span> + transition.getCond() + "'");<a name="line.645"></a>
-<span class="sourceLineNo">646</span> }<a name="line.646"></a>
-<span class="sourceLineNo">647</span> }<a name="line.647"></a>
-<span class="sourceLineNo">648</span> }<a name="line.648"></a>
-<span class="sourceLineNo">649</span> catch (SCXMLExpressionException e) {<a name="line.649"></a>
-<span class="sourceLineNo">650</span> exctx.getInternalIOProcessor().addEvent(new TriggerEvent(TriggerEvent.ERROR_EXECUTION, TriggerEvent.ERROR_EVENT));<a name="line.650"></a>
-<span class="sourceLineNo">651</span> exctx.getErrorReporter().onError(ErrorConstants.EXPRESSION_ERROR, "Treating as false due to error: "<a name="line.651"></a>
-<span class="sourceLineNo">652</span> + e.getMessage(), transition);<a name="line.652"></a>
-<span class="sourceLineNo">653</span> }<a name="line.653"></a>
-<span class="sourceLineNo">654</span> finally {<a name="line.654"></a>
-<span class="sourceLineNo">655</span> context.setLocal(Context.NAMESPACES_KEY, null);<a name="line.655"></a>
-<span class="sourceLineNo">656</span> }<a name="line.656"></a>
-<span class="sourceLineNo">657</span> return result;<a name="line.657"></a>
+<span class="sourceLineNo">381</span> * These history configurations must be pre-recorded as they might impact (re)entrance calculation during<a name="line.381"></a>
+<span class="sourceLineNo">382</span> * {@link #computeEntrySet(SCXMLExecutionContext, Step)}.<a name="line.382"></a>
+<span class="sourceLineNo">383</span> * </p><a name="line.383"></a>
+<span class="sourceLineNo">384</span> * <p><a name="line.384"></a>
+<span class="sourceLineNo">385</span> * Only after the new configuration has been validated (see: {@link #isLegalConfig(Set, ErrorReporter)}), the<a name="line.385"></a>
+<span class="sourceLineNo">386</span> * history configurations will be persisted during the actual {@link #exitStates(SCXMLExecutionContext, Step, Set)}<a name="line.386"></a>
+<span class="sourceLineNo">387</span> * processing.<a name="line.387"></a>
+<span class="sourceLineNo">388</span> * </p><a name="line.388"></a>
+<span class="sourceLineNo">389</span> * @param step The step containing the list of states to exit, and the map to record the new history configurations<a name="line.389"></a>
+<span class="sourceLineNo">390</span> * @param states The current set of active atomic states in the state machine<a name="line.390"></a>
+<span class="sourceLineNo">391</span> * @param allStates The current set of all active states in the state machine<a name="line.391"></a>
+<span class="sourceLineNo">392</span> */<a name="line.392"></a>
+<span class="sourceLineNo">393</span> public void recordHistory(final Step step, final Set<EnterableState> states, final Set<EnterableState> allStates) {<a name="line.393"></a>
+<span class="sourceLineNo">394</span> for (EnterableState es : step.getExitSet()) {<a name="line.394"></a>
+<span class="sourceLineNo">395</span> if (es instanceof TransitionalState && ((TransitionalState)es).hasHistory()) {<a name="line.395"></a>
+<span class="sourceLineNo">396</span> TransitionalState ts = (TransitionalState)es;<a name="line.396"></a>
+<span class="sourceLineNo">397</span> Set<EnterableState> shallow = null;<a name="line.397"></a>
+<span class="sourceLineNo">398</span> Set<EnterableState> deep = null;<a name="line.398"></a>
+<span class="sourceLineNo">399</span> for (History h : ts.getHistory()) {<a name="line.399"></a>
+<span class="sourceLineNo">400</span> if (h.isDeep()) {<a name="line.400"></a>
+<span class="sourceLineNo">401</span> if (deep == null) {<a name="line.401"></a>
+<span class="sourceLineNo">402</span> //calculate deep history for a given state once<a name="line.402"></a>
+<span class="sourceLineNo">403</span> deep = new HashSet<EnterableState>();<a name="line.403"></a>
+<span class="sourceLineNo">404</span> for (EnterableState ott : states) {<a name="line.404"></a>
+<span class="sourceLineNo">405</span> if (ott.isDescendantOf(es)) {<a name="line.405"></a>
+<span class="sourceLineNo">406</span> deep.add(ott);<a name="line.406"></a>
+<span class="sourceLineNo">407</span> }<a name="line.407"></a>
+<span class="sourceLineNo">408</span> }<a name="line.408"></a>
+<span class="sourceLineNo">409</span> }<a name="line.409"></a>
+<span class="sourceLineNo">410</span> step.getNewHistoryConfigurations().put(h, deep);<a name="line.410"></a>
+<span class="sourceLineNo">411</span> } else {<a name="line.411"></a>
+<span class="sourceLineNo">412</span> if (shallow == null) {<a name="line.412"></a>
+<span class="sourceLineNo">413</span> //calculate shallow history for a given state once<a name="line.413"></a>
+<span class="sourceLineNo">414</span> shallow = new HashSet<EnterableState>(ts.getChildren());<a name="line.414"></a>
+<span class="sourceLineNo">415</span> shallow.retainAll(allStates);<a name="line.415"></a>
+<span class="sourceLineNo">416</span> }<a name="line.416"></a>
+<span class="sourceLineNo">417</span> step.getNewHistoryConfigurations().put(h, shallow);<a name="line.417"></a>
+<span class="sourceLineNo">418</span> }<a name="line.418"></a>
+<span class="sourceLineNo">419</span> }<a name="line.419"></a>
+<span class="sourceLineNo">420</span> }<a name="line.420"></a>
+<span class="sourceLineNo">421</span> }<a name="line.421"></a>
+<span class="sourceLineNo">422</span> }<a name="line.422"></a>
+<span class="sourceLineNo">423</span><a name="line.423"></a>
+<span class="sourceLineNo">424</span> /**<a name="line.424"></a>
+<span class="sourceLineNo">425</span> * Compute and store the set of states to enter for the current list of transitions in the provided step.<a name="line.425"></a>
+<span class="sourceLineNo">426</span> * <p><a name="line.426"></a>
+<span class="sourceLineNo">427</span> * This method corresponds to the Algorithm for SCXML processing computeEntrySet() procedure.<a name="line.427"></a>
+<span class="sourceLineNo">428</span> * <p><a name="line.428"></a>
+<span class="sourceLineNo">429</span> * @param exctx The execution context for this step<a name="line.429"></a>
+<span class="sourceLineNo">430</span> * @param step The step containing the list of transitions to be taken<a name="line.430"></a>
+<span class="sourceLineNo">431</span> */<a name="line.431"></a>
+<span class="sourceLineNo">432</span> public void computeEntrySet(final SCXMLExecutionContext exctx, final Step step) {<a name="line.432"></a>
+<span class="sourceLineNo">433</span> Set<History> historyTargets = new HashSet<History>();<a name="line.433"></a>
+<span class="sourceLineNo">434</span> Set<EnterableState> entrySet = new HashSet<EnterableState>();<a name="line.434"></a>
+<span class="sourceLineNo">435</span> for (SimpleTransition st : step.getTransitList()) {<a name="line.435"></a>
+<span class="sourceLineNo">436</span> for (TransitionTarget tt : st.getTargets()) {<a name="line.436"></a>
+<span class="sourceLineNo">437</span> if (tt instanceof EnterableState) {<a name="line.437"></a>
+<span class="sourceLineNo">438</span> entrySet.add((EnterableState) tt);<a name="line.438"></a>
+<span class="sourceLineNo">439</span> }<a name="line.439"></a>
+<span class="sourceLineNo">440</span> else {<a name="line.440"></a>
+<span class="sourceLineNo">441</span> // History<a name="line.441"></a>
+<span class="sourceLineNo">442</span> historyTargets.add((History)tt);<a name="line.442"></a>
+<span class="sourceLineNo">443</span> }<a name="line.443"></a>
+<span class="sourceLineNo">444</span> }<a name="line.444"></a>
+<span class="sourceLineNo">445</span> }<a name="line.445"></a>
+<span class="sourceLineNo">446</span> for (EnterableState es : entrySet) {<a name="line.446"></a>
+<span class="sourceLineNo">447</span> addDescendantStatesToEnter(exctx, step, es);<a name="line.447"></a>
+<span class="sourceLineNo">448</span> }<a name="line.448"></a>
+<span class="sourceLineNo">449</span> for (History h : historyTargets) {<a name="line.449"></a>
+<span class="sourceLineNo">450</span> addDescendantStatesToEnter(exctx, step, h);<a name="line.450"></a>
+<span class="sourceLineNo">451</span> }<a name="line.451"></a>
+<span class="sourceLineNo">452</span> for (SimpleTransition st : step.getTransitList()) {<a name="line.452"></a>
+<span class="sourceLineNo">453</span> TransitionalState ancestor = st.getTransitionDomain();<a name="line.453"></a>
+<span class="sourceLineNo">454</span> for (TransitionTarget tt : st.getTargets()) {<a name="line.454"></a>
+<span class="sourceLineNo">455</span> addAncestorStatesToEnter(exctx, step, tt, ancestor);<a name="line.455"></a>
+<span class="sourceLineNo">456</span> }<a name="line.456"></a>
+<span class="sourceLineNo">457</span> }<a name="line.457"></a>
+<span class="sourceLineNo">458</span> }<a name="line.458"></a>
+<span class="sourceLineNo">459</span><a name="line.459"></a>
+<span class="sourceLineNo">460</span> /**<a name="line.460"></a>
+<span class="sourceLineNo">461</span> * This method corresponds to the Algorithm for SCXML processing addDescendantStatesToEnter() procedure.<a name="line.461"></a>
+<span class="sourceLineNo">462</span> *<a name="line.462"></a>
+<span class="sourceLineNo">463</span> * @param exctx The execution context for this step<a name="line.463"></a>
+<span class="sourceLineNo">464</span> * @param step The step<a name="line.464"></a>
+<span class="sourceLineNo">465</span> * @param tt The TransitionTarget<a name="line.465"></a>
+<span class="sourceLineNo">466</span> */<a name="line.466"></a>
+<span class="sourceLineNo">467</span> public void addDescendantStatesToEnter(final SCXMLExecutionContext exctx, final Step step,<a name="line.467"></a>
+<span class="sourceLineNo">468</span> final TransitionTarget tt) {<a name="line.468"></a>
+<span class="sourceLineNo">469</span> if (tt instanceof History) {<a name="line.469"></a>
+<span class="sourceLineNo">470</span> History h = (History) tt;<a name="line.470"></a>
+<span class="sourceLineNo">471</span> Set<EnterableState> lastConfiguration = step.getNewHistoryConfigurations().get(h);<a name="line.471"></a>
+<span class="sourceLineNo">472</span> if (lastConfiguration == null) {<a name="line.472"></a>
+<span class="sourceLineNo">473</span> lastConfiguration = exctx.getScInstance().getLastConfiguration(h);<a name="line.473"></a>
+<span class="sourceLineNo">474</span> }<a name="line.474"></a>
+<span class="sourceLineNo">475</span> if (lastConfiguration.isEmpty()) {<a name="line.475"></a>
+<span class="sourceLineNo">476</span> step.getDefaultHistoryTransitions().put(h.getParent(), h.getTransition());<a name="line.476"></a>
+<span class="sourceLineNo">477</span> for (TransitionTarget dtt : h.getTransition().getTargets()) {<a name="line.477"></a>
+<span class="sourceLineNo">478</span> addDescendantStatesToEnter(exctx, step, dtt);<a name="line.478"></a>
+<span class="sourceLineNo">479</span> addAncestorStatesToEnter(exctx, step, dtt, tt.getParent());<a name="line.479"></a>
+<span class="sourceLineNo">480</span> }<a name="line.480"></a>
+<span class="sourceLineNo">481</span> } else {<a name="line.481"></a>
+<span class="sourceLineNo">482</span> for (TransitionTarget dtt : lastConfiguration) {<a name="line.482"></a>
+<span class="sourceLineNo">483</span> addDescendantStatesToEnter(exctx, step, dtt);<a name="line.483"></a>
+<span class="sourceLineNo">484</span> addAncestorStatesToEnter(exctx, step, dtt, tt.getParent());<a name="line.484"></a>
+<span class="sourceLineNo">485</span> }<a name="line.485"></a>
+<span class="sourceLineNo">486</span> }<a name="line.486"></a>
+<span class="sourceLineNo">487</span> }<a name="line.487"></a>
+<span class="sourceLineNo">488</span> else { // tt instanceof EnterableState<a name="line.488"></a>
+<span class="sourceLineNo">489</span> EnterableState es = (EnterableState)tt;<a name="line.489"></a>
+<span class="sourceLineNo">490</span> step.getEntrySet().add(es);<a name="line.490"></a>
+<span class="sourceLineNo">491</span> if (es instanceof Parallel) {<a name="line.491"></a>
+<span class="sourceLineNo">492</span> for (EnterableState child : ((Parallel)es).getChildren()) {<a name="line.492"></a>
+<span class="sourceLineNo">493</span> if (!containsDescendant(step.getEntrySet(), child)) {<a name="line.493"></a>
+<span class="sourceLineNo">494</span> addDescendantStatesToEnter(exctx, step, child);<a name="line.494"></a>
+<span class="sourceLineNo">495</span> }<a name="line.495"></a>
+<span class="sourceLineNo">496</span> }<a name="line.496"></a>
+<span class="sourceLineNo">497</span> }<a name="line.497"></a>
+<span class="sourceLineNo">498</span> else if (es instanceof State && ((State) es).isComposite()) {<a name="line.498"></a>
+<span class="sourceLineNo">499</span> step.getDefaultEntrySet().add(es);<a name="line.499"></a>
+<span class="sourceLineNo">500</span> for (TransitionTarget dtt : ((State)es).getInitial().getTransition().getTargets()) {<a name="line.500"></a>
+<span class="sourceLineNo">501</span> addDescendantStatesToEnter(exctx, step, dtt);<a name="line.501"></a>
+<span class="sourceLineNo">502</span> addAncestorStatesToEnter(exctx, step, dtt, tt);<a name="line.502"></a>
+<span class="sourceLineNo">503</span> }<a name="line.503"></a>
+<span class="sourceLineNo">504</span> }<a name="line.504"></a>
+<span class="sourceLineNo">505</span> }<a name="line.505"></a>
+<span class="sourceLineNo">506</span> }<a name="line.506"></a>
+<span class="sourceLineNo">507</span><a name="line.507"></a>
+<span class="sourceLineNo">508</span> /**<a name="line.508"></a>
+<span class="sourceLineNo">509</span> * This method corresponds to the Algorithm for SCXML processing addAncestorStatesToEnter() procedure.<a name="line.509"></a>
+<span class="sourceLineNo">510</span> *<a name="line.510"></a>
+<span class="sourceLineNo">511</span> * @param exctx The execution context for this step<a name="line.511"></a>
+<span class="sourceLineNo">512</span> * @param step The step<a name="line.512"></a>
+<span class="sourceLineNo">513</span> * @param tt The TransitionTarget<a name="line.513"></a>
+<span class="sourceLineNo">514</span> * @param ancestor The ancestor TransitionTarget<a name="line.514"></a>
+<span class="sourceLineNo">515</span> */<a name="line.515"></a>
+<span class="sourceLineNo">516</span> public void addAncestorStatesToEnter(final SCXMLExecutionContext exctx, final Step step,<a name="line.516"></a>
+<span class="sourceLineNo">517</span> final TransitionTarget tt, TransitionTarget ancestor) {<a name="line.517"></a>
+<span class="sourceLineNo">518</span> // for for anc in getProperAncestors(tt,ancestor)<a name="line.518"></a>
+<span class="sourceLineNo">519</span> for (int i = tt.getNumberOfAncestors()-1; i > -1; i--) {<a name="line.519"></a>
+<span class="sourceLineNo">520</span> EnterableState anc = tt.getAncestor(i);<a name="line.520"></a>
+<span class="sourceLineNo">521</span> if (anc == ancestor) {<a name="line.521"></a>
+<span class="sourceLineNo">522</span> break;<a name="line.522"></a>
+<span class="sourceLineNo">523</span> }<a name="line.523"></a>
+<span class="sourceLineNo">524</span> step.getEntrySet().add(anc);<a name="line.524"></a>
+<span class="sourceLineNo">525</span> if (anc instanceof Parallel) {<a name="line.525"></a>
+<span class="sourceLineNo">526</span> for (EnterableState child : ((Parallel)anc).getChildren()) {<a name="line.526"></a>
+<span class="sourceLineNo">527</span> if (!containsDescendant(step.getEntrySet(), child)) {<a name="line.527"></a>
+<span class="sourceLineNo">528</span> addDescendantStatesToEnter(exctx, step, child);<a name="line.528"></a>
+<span class="sourceLineNo">529</span> }<a name="line.529"></a>
+<span class="sourceLineNo">530</span> }<a name="line.530"></a>
+<span class="sourceLineNo">531</span><a name="line.531"></a>
+<span class="sourceLineNo">532</span> }<a name="line.532"></a>
+<span class="sourceLineNo">533</span> }<a name="line.533"></a>
+<span class="sourceLineNo">534</span> }<a name="line.534"></a>
+<span class="sourceLineNo">535</span><a name="line.535"></a>
+<span class="sourceLineNo">536</span> /**<a name="line.536"></a>
+<span class="sourceLineNo">537</span> * @return Returns true if a member of the provided states set is a descendant of the provided state.<a name="line.537"></a>
+<span class="sourceLineNo">538</span> * @param states the set of states to check for descendants<a name="line.538"></a>
+<span class="sourceLineNo">539</span> * @param state the state to check with<a name="line.539"></a>
+<span class="sourceLineNo">540</span> */<a name="line.540"></a>
+<span class="sourceLineNo">541</span> public boolean containsDescendant(Set<EnterableState> states, EnterableState state) {<a name="line.541"></a>
+<span class="sourceLineNo">542</span> for (EnterableState es : states) {<a name="line.542"></a>
+<span class="sourceLineNo">543</span> if (es.isDescendantOf(state)) {<a name="line.543"></a>
+<span class="sourceLineNo">544</span> return true;<a name="line.544"></a>
+<span class="sourceLineNo">545</span> }<a name="line.545"></a>
+<span class="sourceLineNo">546</span> }<a name="line.546"></a>
+<span class="sourceLineNo">547</span> return false;<a name="line.547"></a>
+<span class="sourceLineNo">548</span> }<a name="line.548"></a>
+<span class="sourceLineNo">549</span><a name="line.549"></a>
+<span class="sourceLineNo">550</span> /**<a name="line.550"></a>
+<span class="sourceLineNo">551</span> * This method corresponds to the Algorithm for SCXML processing selectTransitions() as well as the<a name="line.551"></a>
+<span class="sourceLineNo">552</span> * selectEventlessTransitions() procedure, depending on the event (or null) in the provided step<a name="line.552"></a>
+<span class="sourceLineNo">553</span> * <p><a name="line.553"></a>
+<span class="sourceLineNo">554</span> * @param exctx The execution context for this step<a name="line.554"></a>
+<span class="sourceLineNo">555</span> * @param step The step<a name="line.555"></a>
+<span class="sourceLineNo">556</span> */<a name="line.556"></a>
+<span class="sourceLineNo">557</span> public void selectTransitions(final SCXMLExecutionContext exctx, final Step step) throws ModelException {<a name="line.557"></a>
+<span class="sourceLineNo">558</span> step.getTransitList().clear();<a name="line.558"></a>
+<span class="sourceLineNo">559</span> ArrayList<Transition> enabledTransitions = new ArrayList<Transition>();<a name="line.559"></a>
+<span class="sourceLineNo">560</span><a name="line.560"></a>
+<span class="sourceLineNo">561</span> ArrayList<EnterableState> configuration = new ArrayList<EnterableState>(exctx.getScInstance().getCurrentStatus().getAllStates());<a name="line.561"></a>
+<span class="sourceLineNo">562</span> Collections.sort(configuration,DocumentOrder.documentOrderComparator);<a name="line.562"></a>
+<span class="sourceLineNo">563</span><a name="line.563"></a>
+<span class="sourceLineNo">564</span> HashSet<EnterableState> visited = new HashSet<EnterableState>();<a name="line.564"></a>
+<span class="sourceLineNo">565</span><a name="line.565"></a>
+<span class="sourceLineNo">566</span> String eventName = step.getEvent() != null ? step.getEvent().getName() : null;<a name="line.566"></a>
+<span class="sourceLineNo">567</span> for (EnterableState es : configuration) {<a name="line.567"></a>
+<span class="sourceLineNo">568</span> if (es.isAtomicState()) {<a name="line.568"></a>
+<span class="sourceLineNo">569</span> if (es instanceof Final) {<a name="line.569"></a>
+<span class="sourceLineNo">570</span> // Final states don't have transitions, skip to parent<a name="line.570"></a>
+<span class="sourceLineNo">571</span> if (es.getParent() == null) {<a name="line.571"></a>
+<span class="sourceLineNo">572</span> // should not happen: a top level active Final state should have stopped the state machine<a name="line.572"></a>
+<span class="sourceLineNo">573</span> throw new ModelException("Illegal state machine configuration: encountered top level <final> "<a name="line.573"></a>
+<span class="sourceLineNo">574</span> + "state while processing an event");<a name="line.574"></a>
+<span class="sourceLineNo">575</span> }<a name="line.575"></a>
+<span class="sourceLineNo">576</span> else {<a name="line.576"></a>
+<span class="sourceLineNo">577</span> es = es.getParent();<a name="line.577"></a>
+<span class="sourceLineNo">578</span> }<a name="line.578"></a>
+<span class="sourceLineNo">579</span> }<a name="line.579"></a>
+<span class="sourceLineNo">580</span> TransitionalState state = (TransitionalState)es;<a name="line.580"></a>
+<span class="sourceLineNo">581</span> TransitionalState current = state;<a name="line.581"></a>
+<span class="sourceLineNo">582</span> int ancestorIndex = state.getNumberOfAncestors()-1;<a name="line.582"></a>
+<span class="sourceLineNo">583</span> boolean transitionMatched = false;<a name="line.583"></a>
+<span class="sourceLineNo">584</span> do {<a name="line.584"></a>
+<span class="sourceLineNo">585</span> for (Transition transition : current.getTransitionsList()) {<a name="line.585"></a>
+<span class="sourceLineNo">586</span> if (transitionMatched = matchTransition(exctx, transition, eventName)) {<a name="line.586"></a>
+<span class="sourceLineNo">587</span> enabledTransitions.add(transition);<a name="line.587"></a>
+<span class="sourceLineNo">588</span> break;<a name="line.588"></a>
+<span class="sourceLineNo">589</span> }<a name="line.589"></a>
+<span class="sourceLineNo">590</span> }<a name="line.590"></a>
+<span class="sourceLineNo">591</span> current = (!transitionMatched && ancestorIndex > -1) ? state.getAncestor(ancestorIndex--) : null;<a name="line.591"></a>
+<span class="sourceLineNo">592</span> } while (!transitionMatched && current != null && visited.add(current));<a name="line.592"></a>
+<span class="sourceLineNo">593</span> }<a name="line.593"></a>
+<span class="sourceLineNo">594</span> }<a name="line.594"></a>
+<span class="sourceLineNo">595</span> removeConflictingTransitions(exctx, step, enabledTransitions);<a name="line.595"></a>
+<span class="sourceLineNo">596</span> }<a name="line.596"></a>
+<span class="sourceLineNo">597</span><a name="line.597"></a>
+<span class="sourceLineNo">598</span> /**<a name="line.598"></a>
+<span class="sourceLineNo">599</span> * This method corresponds to the Algorithm for SCXML processing removeConflictingTransitions() procedure.<a name="line.599"></a>
+<span class="sourceLineNo">600</span> *<a name="line.600"></a>
+<span class="sourceLineNo">601</span> * @param exctx The execution context for this step<a name="line.601"></a>
+<span class="sourceLineNo">602</span> * @param step The step<a name="line.602"></a>
+<span class="sourceLineNo">603</span> * @param enabledTransitions The list of enabled transitions<a name="line.603"></a>
+<span class="sourceLineNo">604</span> */<a name="line.604"></a>
+<span class="sourceLineNo">605</span> public void removeConflictingTransitions(final SCXMLExecutionContext exctx, final Step step,<a name="line.605"></a>
+<span class="sourceLineNo">606</span> final List<Transition> enabledTransitions) {<a name="line.606"></a>
+<span class="sourceLineNo">607</span> LinkedHashSet<Transition> filteredTransitions = new LinkedHashSet<Transition>();<a name="line.607"></a>
+<span class="sourceLineNo">608</span> LinkedHashSet<Transition> preemptedTransitions = new LinkedHashSet<Transition>();<a name="line.608"></a>
+<span class="sourceLineNo">609</span> Map<Transition, Set<EnterableState>> exitSets = new HashMap<Transition, Set<EnterableState>>();<a name="line.609"></a>
+<span class="sourceLineNo">610</span><a name="line.610"></a>
+<span class="sourceLineNo">611</span> Set<EnterableState> configuration = exctx.getScInstance().getCurrentStatus().getAllStates();<a name="line.611"></a>
+<span class="sourceLineNo">612</span> Collections.sort(enabledTransitions, DocumentOrder.documentOrderComparator);<a name="line.612"></a>
+<span class="sourceLineNo">613</span><a name="line.613"></a>
+<span class="sourceLineNo">614</span> for (Transition t1 : enabledTransitions) {<a name="line.614"></a>
+<span class="sourceLineNo">615</span> boolean t1Preempted = false;<a name="line.615"></a>
+<span class="sourceLineNo">616</span> Set<EnterableState> t1ExitSet = exitSets.get(t1);<a name="line.616"></a>
+<span class="sourceLineNo">617</span> for (Transition t2 : filteredTransitions) {<a name="line.617"></a>
+<span class="sourceLineNo">618</span> if (t1ExitSet == null) {<a name="line.618"></a>
+<span class="sourceLineNo">619</span> t1ExitSet = new HashSet<EnterableState>();<a name="line.619"></a>
+<span class="sourceLineNo">620</span> computeExitSet(t1, t1ExitSet, configuration);<a name="line.620"></a>
+<span class="sourceLineNo">621</span> exitSets.put(t1, t1ExitSet);<a name="line.621"></a>
+<span class="sourceLineNo">622</span> }<a name="line.622"></a>
+<span class="sourceLineNo">623</span> Set<EnterableState> t2ExitSet = exitSets.get(t2);<a name="line.623"></a>
+<span class="sourceLineNo">624</span> if (t2ExitSet == null) {<a name="line.624"></a>
+<span class="sourceLineNo">625</span> t2ExitSet = new HashSet<EnterableState>();<a name="line.625"></a>
+<span class="sourceLineNo">626</span> computeExitSet(t2, t2ExitSet, configuration);<a name="line.626"></a>
+<span class="sourceLineNo">627</span> exitSets.put(t2, t2ExitSet);<a name="line.627"></a>
+<span class="sourceLineNo">628</span> }<a name="line.628"></a>
+<span class="sourceLineNo">629</span> Set<EnterableState> smaller = t1ExitSet.size() < t2ExitSet.size() ? t1ExitSet : t2ExitSet;<a name="line.629"></a>
+<span class="sourceLineNo">630</span> Set<EnterableState> larger = smaller == t1ExitSet ? t2ExitSet : t1ExitSet;<a name="line.630"></a>
+<span class="sourceLineNo">631</span> boolean hasIntersection = false;<a name="line.631"></a>
+<span class="sourceLineNo">632</span> for (EnterableState s1 : smaller) {<a name="line.632"></a>
+<span class="sourceLineNo">633</span> hasIntersection = larger.contains(s1);<a name="line.633"></a>
+<span class="sourceLineNo">634</span> if (hasIntersection) {<a name="line.634"></a>
+<span class="sourceLineNo">635</span> break;<a name="line.635"></a>
+<span class="sourceLineNo">636</span> }<a name="line.636"></a>
+<span class="sourceLineNo">637</span> }<a name="line.637"></a>
+<span class="sourceLineNo">638</span> if (hasIntersection) {<a name="line.638"></a>
+<span class="sourceLineNo">639</span> if (t1.getParent().isDescendantOf(t2.getParent())) {<a name="line.639"></a>
+<span class="sourceLineNo">640</span> preemptedTransitions.add(t2);<a name="line.640"></a>
+<span class="sourceLineNo">641</span> }<a name="line.641"></a>
+<span class="sourceLineNo">642</span> else {<a name="line.642"></a>
+<span class="sourceLineNo">643</span> t1Preempted = true;<a name="line.643"></a>
+<span class="sourceLineNo">644</span> break;<a name="line.644"></a>
+<span class="sourceLineNo">645</span> }<a name="line.645"></a>
+<span class="sourceLineNo">646</span> }<a name="line.646"></a>
+<span class="sourceLineNo">647</span> }<a name="line.647"></a>
+<span class="sourceLineNo">648</span> if (t1Preempted) {<a name="line.648"></a>
+<span class="sourceLineNo">649</span> exitSets.remove(t1);<a name="line.649"></a>
+<span class="sourceLineNo">650</span> }<a name="line.650"></a>
+<span class="sourceLineNo">651</span> else {<a name="line.651"></a>
+<span class="sourceLineNo">652</span> for (Transition preempted : preemptedTransitions) {<a name="line.652"></a>
+<span class="sourceLineNo">653</span> filteredTransitions.remove(preempted);<a name="line.653"></a>
+<span class="sourceLineNo">654</span> exitSets.remove(preempted);<a name="line.654"></a>
+<span class="sourceLineNo">655</span> }<a name="line.655"></a>
+<span class="sourceLineNo">656</span> filteredTransitions.add(t1);<a name="line.656"></a>
+<span class="sourceLineNo">657</span> }<a name="line.657"></a>
<span class="sourceLineNo">658</span> }<a name="line.658"></a>
-<span class="sourceLineNo">659</span> return true;<a name="line.659"></a>
+<span class="sourceLineNo">659</span> step.getTransitList().addAll(filteredTransitions);<a name="line.659"></a>
<span class="sourceLineNo">660</span> }<a name="line.660"></a>
<span class="sourceLineNo">661</span><a name="line.661"></a>
<span class="sourceLineNo">662</span> /**<a name="line.662"></a>
-<span class="sourceLineNo">663</span> * This method corresponds to the Algorithm for SCXML processing isFinalState() function.<a name="line.663"></a>
-<span class="sourceLineNo">664</span> *<a name="line.664"></a>
-<span class="sourceLineNo">665</span> * @param es the enterable state to check<a name="line.665"></a>
-<span class="sourceLineNo">666</span> * @param configuration the current state machine configuration<a name="line.666"></a>
-<span class="sourceLineNo">667</span> * @return Return true if s is a compound state and one of its children is an active final state (i.e. is a member<a name="line.667"></a>
-<span class="sourceLineNo">668</span> * of the current configuration), or if s is a parallel state and isInFinalState is true of all its children.<a name="line.668"></a>
[... 997 lines stripped ...]