Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

65 lines (28 sloc) 1.428 kB

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()

Jump to Line
Something went wrong with that request. Please try again.