spec指定属性の実際

R12B-4 (erl5.6.4) のlib：次のソースで -spec(...). が使われている。意外にもEDocでも使っている。

compiler-4.5.4/src/beam_disasm.erl

compiler-4.5.4/src/core_parse.erl

compiler-4.5.4/src/erl_bifs.erl

cosNotification-1.1.7/src/cosNotification_Grammar.erl

dialyzer-1.8.2/src/dialyzer.erl

dialyzer-1.8.2/src/dialyzer_analysis_callgraph.erl

dialyzer-1.8.2/src/dialyzer_callgraph.erl

dialyzer-1.8.2/src/dialyzer_cl.erl

dialyzer-1.8.2/src/dialyzer_cl_parse.erl

dialyzer-1.8.2/src/dialyzer_codeserver.erl

dialyzer-1.8.2/src/dialyzer_contracts.erl

dialyzer-1.8.2/src/dialyzer_dataflow.erl

dialyzer-1.8.2/src/dialyzer_dep.erl

dialyzer-1.8.2/src/dialyzer_gui.erl

dialyzer-1.8.2/src/dialyzer_options.erl

dialyzer-1.8.2/src/dialyzer_plt.erl

dialyzer-1.8.2/src/dialyzer_succ_typings.erl

dialyzer-1.8.2/src/dialyzer_typesig.erl

dialyzer-1.8.2/src/dialyzer_utils.erl

edoc-0.7.6/src/edoc_parser.erl

edoc-0.7.6/src/edoc_run.erl

edoc-0.7.6/src/edoc_wiki.erl

edoc-0.7.6/src.orig/edoc_parser.erl

edoc-0.7.6/src.orig/edoc_run.erl

edoc-0.7.6/src.orig/edoc_wiki.erl

hipe-3.6.8/cerl/erl_bif_types.erl

hipe-3.6.8/flow/cfg.inc

hipe-3.6.8/flow/ebb.inc

hipe-3.6.8/flow/hipe_bb.erl

hipe-3.6.8/flow/hipe_dominators.erl

hipe-3.6.8/flow/liveness.inc

hipe-3.6.8/icode/hipe_beam_to_icode.erl

hipe-3.6.8/icode/hipe_icode.erl

hipe-3.6.8/icode/hipe_icode_bincomp.erl

hipe-3.6.8/icode/hipe_icode_callgraph.erl

hipe-3.6.8/icode/hipe_icode_cfg.erl

hipe-3.6.8/icode/hipe_icode_coordinator.erl

hipe-3.6.8/icode/hipe_icode_exceptions.erl

hipe-3.6.8/icode/hipe_icode_fp.erl

hipe-3.6.8/icode/hipe_icode_heap_test.erl

hipe-3.6.8/icode/hipe_icode_inline_bifs.erl

hipe-3.6.8/icode/hipe_icode_instruction_counter.erl

hipe-3.6.8/icode/hipe_icode_mulret.erl

hipe-3.6.8/icode/hipe_icode_pp.erl

hipe-3.6.8/icode/hipe_icode_primops.erl

hipe-3.6.8/icode/hipe_icode_range.erl

hipe-3.6.8/icode/hipe_icode_split_arith.erl

hipe-3.6.8/icode/hipe_icode_ssa.erl

hipe-3.6.8/icode/hipe_icode_ssa_struct_reuse.erl

hipe-3.6.8/icode/hipe_icode_type.erl

hipe-3.6.8/main/hipe.erl

hipe-3.6.8/main/hipe_main.erl

hipe-3.6.8/misc/hipe_consttab.erl

hipe-3.6.8/misc/hipe_gensym.erl

hipe-3.6.8/rtl/hipe_rtl_arch.erl

hipe-3.6.8/util/hipe_digraph.erl

hipe-3.6.8/util/hipe_dot.erl

hipe-3.6.8/util/hipe_timing.erl

kernel-2.12.4/src/application.erl

kernel-2.12.4/src/auth.erl

kernel-2.12.4/src/disk_log.erl

kernel-2.12.4/src/disk_log_1.erl

kernel-2.12.4/src/disk_log_server.erl

kernel-2.12.4/src/dist_util.erl

kernel-2.12.4/src/erl_boot_server.erl

kernel-2.12.4/src/erl_ddll.erl

kernel-2.12.4/src/erl_prim_loader.erl

kernel-2.12.4/src/error_handler.erl

kernel-2.12.4/src/error_logger.erl

kernel-2.12.4/src/file.erl

kernel-2.12.4/src/global_search.erl

kernel-2.12.4/src/heart.erl

kernel-2.12.4/src/hipe_unified_loader.erl

kernel-2.12.4/src/inet.erl

kernel-2.12.4/src/net_adm.erl

kernel-2.12.4/src/os.erl

kernel-2.12.4/src/packages.erl

kernel-2.12.4/src/rpc.erl

kernel-2.12.4/src/zlib.erl

megaco-3.8.1/src/text/megaco_text_mini_parser.erl

megaco-3.8.1/src/text/megaco_text_parser_prev3a.erl

megaco-3.8.1/src/text/megaco_text_parser_prev3b.erl

megaco-3.8.1/src/text/megaco_text_parser_prev3c.erl

megaco-3.8.1/src/text/megaco_text_parser_v1.erl

megaco-3.8.1/src/text/megaco_text_parser_v2.erl

megaco-3.8.1/src/text/megaco_text_parser_v3.erl

mnesia-4.4.5/src/mnesia.erl

mnesia-4.4.5/src/mnesia_lib.erl

os_mon-2.1.7/src/cpu_sup.erl

parsetools-1.4.5/include/yeccpre.hrl

parsetools-1.4.5/src/yeccparser.erl

percept-0.7.2/src/egd.erl

percept-0.7.2/src/percept.erl

percept-0.7.2/src/percept_db.erl

percept-0.7.2/src/percept_html.erl

runtime_tools-1.7.2/src/percept_profile.erl

snmp-4.11.1/src/compiler/snmpc_mib_gram.erl

stdlib-1.15.4/doc/html/notes.html

stdlib-1.15.4/src/array.erl

stdlib-1.15.4/src/beam_lib.erl

stdlib-1.15.4/src/erl_compile.erl

stdlib-1.15.4/src/erl_lint.erl

stdlib-1.15.4/src/erl_parse.erl

stdlib-1.15.4/src/erl_parse.yrl

stdlib-1.15.4/src/file_sorter.erl

stdlib-1.15.4/src/gb_trees.erl

stdlib-1.15.4/src/gen_event.erl

stdlib-1.15.4/src/gen_fsm.erl

stdlib-1.15.4/src/gen_server.erl

stdlib-1.15.4/src/lists.erl

stdlib-1.15.4/src/qlc.erl

stdlib-1.15.4/src/string.erl

tools-2.6.2/src/xref_parser.erl

xmerl-1.1.10/src/xmerl_b64Bin.erl

xmerl-1.1.10/src/xmerl_xpath_parse.erl