mirror of
https://github.com/ubf/ubf.git
synced 2026-04-21 20:25:57 +00:00
65 lines
1.4 KiB
Markdown
65 lines
1.4 KiB
Markdown
|
|
|
|
# Module contracts #
|
|
* [Description](#description)
|
|
* [Function Index](#index)
|
|
* [Function Details](#functions)
|
|
|
|
|
|
<p>Contract implementation: compare a term against a contract.</p>.
|
|
|
|
<a name="index"></a>
|
|
|
|
## Function Index ##
|
|
|
|
|
|
<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#checkEventIn-3">checkEventIn/3</a></td><td></td></tr><tr><td valign="top"><a href="#checkEventOut-3">checkEventOut/3</a></td><td></td></tr><tr><td valign="top"><a href="#checkRPCIn-3">checkRPCIn/3</a></td><td></td></tr><tr><td valign="top"><a href="#checkRPCOut-4">checkRPCOut/4</a></td><td></td></tr><tr><td valign="top"><a href="#isType-3">isType/3</a></td><td></td></tr><tr><td valign="top"><a href="#isTypeAttr-2">isTypeAttr/2</a></td><td></td></tr></table>
|
|
|
|
|
|
<a name="functions"></a>
|
|
|
|
## Function Details ##
|
|
|
|
<a name="checkEventIn-3"></a>
|
|
|
|
### checkEventIn/3 ###
|
|
|
|
`checkEventIn(Msg, ThisState, Mod) -> any()`
|
|
|
|
|
|
<a name="checkEventOut-3"></a>
|
|
|
|
### checkEventOut/3 ###
|
|
|
|
`checkEventOut(Msg, ThisState, Mod) -> any()`
|
|
|
|
|
|
<a name="checkRPCIn-3"></a>
|
|
|
|
### checkRPCIn/3 ###
|
|
|
|
`checkRPCIn(Msg, State, Mod) -> any()`
|
|
|
|
|
|
<a name="checkRPCOut-4"></a>
|
|
|
|
### checkRPCOut/4 ###
|
|
|
|
`checkRPCOut(MsgOut, StateOut, FSM2, Mod) -> any()`
|
|
|
|
|
|
<a name="isType-3"></a>
|
|
|
|
### isType/3 ###
|
|
|
|
`isType(Type, X, Mod) -> any()`
|
|
|
|
|
|
<a name="isTypeAttr-2"></a>
|
|
|
|
### isTypeAttr/2 ###
|
|
|
|
`isTypeAttr(X1, X2) -> any()`
|
|
|
|
|