Sha256: faf8028b6a99456e428822869a1fe19269faac748a1ecfa3ebfeaa1584935dfa
Contents?: true
Size: 1.36 KB
Versions: 19
Compression:
Stored size: 1.36 KB
Contents
### system system: - [ type_def* type ] type_def: - [ type_name type ] ### types type: - any_type - builtin_type - sub_type - union_type - set_type - seq_type - struct_type - tuple_type - relation_type - ad_type - type_ref any_type: - [ ] builtin_type: - [ ruby_module_name ] sub_type: - [ type, constraint+ ] union_type: - [ type+ ] set_type: - [ type ] seq_type: - [ type ] struct_type: - [ type+ ] tuple_type: - [ heading ] relation_type: - [ heading ] ad_type: - [ ruby_module_name_or_nil, contract+ ] type_ref: - [ type_name ] ### heading heading: [ attribute+ ] attribute: [ attribute_name, type, Boolean ] ### constraints constraint: - [ constraint_name, fn ] ### contracts contract: - [ contract_name, type, pair? ] pair: - external_pair - inline_pair inline_pair: - [ fn, fn ] external_pair: - [ ruby_module_name ] ### functions/expressions fn: - [ parameters, source ] parameters: - [ parameter_name+ ] source: - [ String ] ### names attribute_name: !ruby/regexp /^[a-z][a-zA-Z0-9_]*$/ ruby_module_name: !ruby/regexp /^[a-zA-Z0-9:]+$/ ruby_module_name_or_nil: - ruby_module_name - ~ contract_name: !ruby/regexp /^[a-z][a-z0-9]*$/ constraint_name: !ruby/regexp /^[a-z][a-zA-Z_]*$/ parameter_name: !ruby/regexp /^[a-z]+$/ type_name: !ruby/regexp /^[A-Z][a-zA-Z]+$/
Version data entries
19 entries across 19 versions & 1 rubygems