package Ġautom aton . constructor . model . memory Ċ Ċ import Ġautom aton . constructor . model . memory . Memory Unit Status . NOT _ READY _ TO _ ACCEPT Ċ import Ġautom aton . constructor . model . memory . Memory Unit Status . REQ UIRES _ ACCEPT ANCE Ċ import Ġautom aton . constructor . model . property . Dynamic Property Descriptor Ċ import Ġautom aton . constructor . model . property . Dynamic Property Descriptor Group Ċ import Ġautom aton . constructor . utils . Editable Ċ Ċ /** Ċ Ġ* ĠDescri bes Ġa Ġ[ Memory Unit ] Ġthat Ġeach Ġexecution Ġstate Ġof Ġthe Ġautom aton Ġmust Ġhave Ċ Ġ* Ġand Ġprovides Ġthe Ġway Ġto Ġset Ġinitial Ġdata Ġof Ġsuch Ġmemory Ġunit Ċ Ġ*/ Ċ interface ĠMemory Unit Descriptor Ġ: ĠEdit able Ġ{ ĊĠĠĠ Ġval Ġtransition Side Effects : ĠList < Dynamic Property Descriptor <* >> ĊĠĠĠ Ġval Ġtransition Filters : ĠList < Dynamic Property Descriptor <* >> ĊĊĠĠĠ Ġval Ġstate Side Effects : ĠList < Dynamic Property Descriptor <* >> Ġget () Ġ= Ġempty List () ĊĠĠĠ Ġval Ġstate Filters : ĠList < Dynamic Property Descriptor <* >> Ġget () Ġ= Ġempty List () ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* Ġ` true ` Ġif Ġthe Ġmemory Ġunit Ġdescribed Ġby Ġthis Ġdescriptor Ġcan 't Ġhave Ġ[ NOT _ READY _ TO _ ACCEPT ] Ġstatus ĊĠĠĠĠ Ġ* ĠIf Ġall Ġmemory Ġunits Ġare Ġalways Ġready Ġto Ġterminate Ġthen Ġthere Ġshould Ġbe Ġno Ġtransitions Ġfrom Ġfinal Ġstates ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġval Ġis Always Ready To Terminate : ĠBoolean Ġget () Ġ= Ġtrue ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* Ġ` true ` Ġif Ġthe Ġmemory Ġunit Ġdescribed Ġby Ġthis Ġdescriptor Ġcan Ġhave Ġ[ REQ UIRES _ ACCEPT ANCE ] Ġstatus ĊĠĠĠĠ Ġ* ĠIf Ġany Ġmemory Ġunit Ġmay Ġrequire Ġacceptance Ġthen Ġautom aton Ġcan Ġran Ġwithout Ġfinal Ġstates ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġval Ġmay Require Accept ance : ĠBoolean Ġget () Ġ= Ġfalse ĊĊĠĠĠ Ġoverride Ġvar ĠdisplayName : ĠString ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠCreates Ġ[ Memory Unit ] Ġdescribed Ġby Ġthis Ġdescriptor Ġwith Ġinitial Ġdata Ġspecified Ġin Ġeditor Ġreturned Ġby ĊĠĠĠĠ Ġ* Ġ[ create Editor ] ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġfun Ġcreate Memory Unit (): ĠMemory Unit Ċ } Ċ