Erlang的類型表示法

shijiang1130

T1 ：： A|B|C ...
意思是T1可以被定為其中的任意一種。

1. log_to_io(LogDir, Mibs, LogName, LogFile) -> ok | {error, Reason}
   
2. log_to_io(LogDir, Mibs, LogName, LogFile, Block | Start) -> ok | {error,
   
3. Reason}
   
4. log_to_io(LogDir, Mibs, LogName, LogFile, Start, Block | Stop) -> ok |
   
5. {error, Reason}
   
6. log_to_io(LogDir, Mibs, LogName, LogFile, Start, Stop, Block) -> ok | {error,
   
7. Reason}
   
8. Types:
   
9. LogDir = string()
   
10. Mibs = [MibName]
    
11. MibName = string()
    
12. LogName = string()
    
13. LogFile = string()
    
14. Start = Stop = null | datetime() | {local_time,datetime()} |
    
15. {universal_time,datetime()}
    
16. Reason = term()

復(fù)制代碼

shijiang1130

%%-----------------------------------------------------------------
%% Types
%%-----------------------------------------------------------------

-type dir()           :: string().
-type snmp_timer()    :: #snmp_incr_timer{}.

-type engine_id()     :: string().
-type tdomain()       :: transportDomainUdpIpv4 | transportDomainUdpIpv6.
-type community()     :: string().
-type mms()           :: non_neg_integer().
-type version()       :: v1 | v2 | v3.
-type sec_model()     :: any | v1 | v2c | usm.
-type sec_name()      :: string().
-type sec_level()     :: noAuthNoPriv | authNoPriv | authPriv.

-type oid()           :: [non_neg_integer()].
-type varbind()       :: #varbind{}.
-type ivarbind()      :: #ivarbind{}.
-type asn1_type()     :: #asn1_type{}.
-type table_info()    :: #table_info{}.
-type variable_info() :: #variable_info{}.
-type me()            :: #me{}.
-type trap()          :: #trap{}.
-type notification()  :: #notification{}.
-type mib()           :: #mib{}.
-type mib_name()      :: string().
-type pdu()           :: #pdu{}.
-type trappdu()       :: #trappdu{}.

-type void()          :: term().