95 lines
2.2 KiB
Plaintext
95 lines
2.2 KiB
Plaintext
|
# ****************************************************************************
|
||
|
|
# CUI
|
||
|
|
#
|
||
|
|
# The Advanced Framework for Simulation, Integration, and Modeling (AFSIM)
|
||
|
|
#
|
||
|
|
# The use, dissemination or disclosure of data in this file is subject to
|
||
|
|
# limitation or restriction. See accompanying README and LICENSE for details.
|
||
|
|
# ****************************************************************************
|
||
|
|
# AUTHOR: Michael Williams (michael.x.williams@boeing.com)
|
||
|
|
|
||
|
|
### Propose wait for a state no-change
|
||
|
|
|
||
|
|
sp {top-ps*propose*wait
|
||
|
|
(state <s> ^name RIPR-AIAI
|
||
|
|
^io.input-link.track-root <tr>
|
||
|
|
^io.input-link.point-root <pr>
|
||
|
|
^io.input-link.current-time <time>)
|
||
|
|
(<tr> -^<target> <t>)
|
||
|
|
(<pr> -^<point> <p>)
|
||
|
|
-->
|
||
|
|
(<s> ^operator <o> + >)
|
||
|
|
(<o> ^name wait)
|
||
|
|
(<o> ^actions <a>)
|
||
|
|
(<a> ^do-nothing <dn>)
|
||
|
|
(<dn> ^nothing 0)
|
||
|
|
(write (crlf) |Propose wait++++++++++++++++++++++++++++++++++++++++++++++++|)
|
||
|
|
}
|
||
|
|
|
||
|
|
sp {top-ps*check1
|
||
|
|
(state <s> ^name RIPR-AIAI)
|
||
|
|
-->
|
||
|
|
(write (crlf) |@@@ state <s> ^name RIPR-AIAI|)
|
||
|
|
}
|
||
|
|
|
||
|
|
sp {top-ps*check2
|
||
|
|
(state <s> ^io.input-link.track-root <tr>)
|
||
|
|
-->
|
||
|
|
(write (crlf) |@@@ state <s> ^io.input-link.track-root <tr>|)
|
||
|
|
}
|
||
|
|
|
||
|
|
#sp {top-ps*check3
|
||
|
|
# (state <s> ^io.input-link.track-root <tr>)
|
||
|
|
# (<tr> -^<target> <t>)
|
||
|
|
#-->
|
||
|
|
# (write (crlf) |@@@ <tr> -^<target> <t>|)
|
||
|
|
#}
|
||
|
|
|
||
|
|
#sp {top-ps*check4
|
||
|
|
# (state <s> ^io.input-link.point-root <pr>)
|
||
|
|
#-->
|
||
|
|
# (write (crlf) |@@@ state <s> ^io.input-link.point-root <pr>|)
|
||
|
|
#}
|
||
|
|
|
||
|
|
#sp {top-ps*check5
|
||
|
|
# (state <s> ^io.input-link.point-root <pr>)
|
||
|
|
# (<pr> -^<point> <p>)
|
||
|
|
#-->
|
||
|
|
# (write (crlf) |@@@ <pr> -^<point> <p>|)
|
||
|
|
#}
|
||
|
|
#
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
#sp {top-ps*propose*wait
|
||
|
|
# "Propose wait if there is a state no-change."
|
||
|
|
# :default
|
||
|
|
# (state <s> ^attribute state
|
||
|
|
# ^choices none
|
||
|
|
# -^operator.name wait)
|
||
|
|
#-->
|
||
|
|
# (<s> ^operator <o> + <)
|
||
|
|
# (<o> ^name wait)
|
||
|
|
# (<o> ^actions <a>)
|
||
|
|
# (<a> ^do-nothing <dn>)
|
||
|
|
# (<dn> ^nothing 0)
|
||
|
|
# (write (crlf) |Propose wait|)
|
||
|
|
#}
|
||
|
|
|
||
|
|
|
||
|
|
### This avoids a operator no-change after wait is selected
|
||
|
|
### I've included it just to keep the trace simple - it never fires
|
||
|
|
|
||
|
|
#sp {top-ps*apply*wait*random
|
||
|
|
# "Fake production just to avoid extra operator no-change."
|
||
|
|
# :default
|
||
|
|
# (state <s> ^operator <o>)
|
||
|
|
# (<o> ^name wait)
|
||
|
|
#-->
|
||
|
|
# (<o> ^random elaboration)
|
||
|
|
#}
|