mirror/ubf
1
0
Fork 0
mirror of https://github.com/ubf/ubf.git synced 2026-04-16 01:35:14 +00:00
Code Issues Projects Releases Wiki Activity
Files
master
ubf/doc/contracts.md
Joseph Wayne Norton 39468d05e2 Update docs
2013-03-26 12:41:39 +09:00

1.4 KiB
Raw Permalink Blame History

Module contracts

Contract implementation: compare a term against a contract.

.

Function Index

checkEventIn/3
checkEventOut/3
checkRPCIn/3
checkRPCOut/4
isType/3
isTypeAttr/2

Function Details

checkEventIn/3

checkEventIn(Msg, ThisState, Mod) -> any()

checkEventOut/3

checkEventOut(Msg, ThisState, Mod) -> any()

checkRPCIn/3

checkRPCIn(Msg, State, Mod) -> any()

checkRPCOut/4

checkRPCOut(MsgOut, StateOut, FSM2, Mod) -> any()

isType/3

isType(Type, X, Mod) -> any()

isTypeAttr/2

isTypeAttr(X1, X2) -> any()