stupidedi 1.1.0
Sign up to get free protection for your applications and to get access to all the features.
- data/README.md +215 -0
- data/Rakefile +108 -0
- data/bin/edi-ed +71 -0
- data/bin/edi-pp +81 -0
- data/doc/Defining.md +0 -0
- data/doc/Generating.md +321 -0
- data/doc/LICENSE.md +0 -0
- data/doc/Navigating.md +645 -0
- data/doc/Parsing.md +0 -0
- data/doc/Serializing.md +7 -0
- data/doc/Tokenizing.md +0 -0
- data/doc/Validating.md +0 -0
- data/doc/design/Parser.md +0 -0
- data/doc/design/Reader.md +0 -0
- data/lib/ruby/array.rb +164 -0
- data/lib/ruby/blank.rb +67 -0
- data/lib/ruby/enumerable.rb +35 -0
- data/lib/ruby/exception.rb +33 -0
- data/lib/ruby/hash.rb +4 -0
- data/lib/ruby/instance_exec.rb +26 -0
- data/lib/ruby/module.rb +79 -0
- data/lib/ruby/object.rb +63 -0
- data/lib/ruby/string.rb +73 -0
- data/lib/ruby/symbol.rb +24 -0
- data/lib/ruby/to_d.rb +81 -0
- data/lib/ruby/to_date.rb +33 -0
- data/lib/ruby/to_time.rb +24 -0
- data/lib/ruby/try.rb +43 -0
- data/lib/stupidedi/blank_slate.rb +11 -0
- data/lib/stupidedi/builder/builder_dsl.rb +281 -0
- data/lib/stupidedi/builder/constraint_table.rb +418 -0
- data/lib/stupidedi/builder/generation.rb +112 -0
- data/lib/stupidedi/builder/instruction.rb +102 -0
- data/lib/stupidedi/builder/instruction_table.rb +204 -0
- data/lib/stupidedi/builder/navigation.rb +655 -0
- data/lib/stupidedi/builder/state_machine.rb +55 -0
- data/lib/stupidedi/builder/states/abstract_state.rb +332 -0
- data/lib/stupidedi/builder/states/failure_state.rb +69 -0
- data/lib/stupidedi/builder/states/functional_group_state.rb +97 -0
- data/lib/stupidedi/builder/states/initial_state.rb +63 -0
- data/lib/stupidedi/builder/states/interchange_state.rb +94 -0
- data/lib/stupidedi/builder/states/loop_state.rb +79 -0
- data/lib/stupidedi/builder/states/table_state.rb +96 -0
- data/lib/stupidedi/builder/states/transaction_set_state.rb +112 -0
- data/lib/stupidedi/builder/states/transmission_state.rb +59 -0
- data/lib/stupidedi/builder/tokenization.rb +196 -0
- data/lib/stupidedi/builder.rb +23 -0
- data/lib/stupidedi/color.rb +93 -0
- data/lib/stupidedi/config/code_list_config.rb +42 -0
- data/lib/stupidedi/config/editor_config.rb +51 -0
- data/lib/stupidedi/config/functional_group_config.rb +62 -0
- data/lib/stupidedi/config/interchange_config.rb +79 -0
- data/lib/stupidedi/config/transaction_set_config.rb +91 -0
- data/lib/stupidedi/config.rb +101 -0
- data/lib/stupidedi/editor/00501.rb +341 -0
- data/lib/stupidedi/editor/005010/N2.rb +0 -0
- data/lib/stupidedi/editor/005010/N3.rb +0 -0
- data/lib/stupidedi/editor/005010/N4.rb +63 -0
- data/lib/stupidedi/editor/005010/NM1.rb +0 -0
- data/lib/stupidedi/editor/005010.rb +469 -0
- data/lib/stupidedi/editor/X222-HC837.rb +195 -0
- data/lib/stupidedi/editor/abstract_ed.rb +36 -0
- data/lib/stupidedi/editor/claim_ack.rb +9 -0
- data/lib/stupidedi/editor/implementation_ack.rb +213 -0
- data/lib/stupidedi/editor/interchange_ack.rb +9 -0
- data/lib/stupidedi/editor/result.rb +100 -0
- data/lib/stupidedi/editor/result_set.rb +69 -0
- data/lib/stupidedi/editor/transaction_set_ed.rb +275 -0
- data/lib/stupidedi/editor/transmission_ed.rb +90 -0
- data/lib/stupidedi/editor.rb +37 -0
- data/lib/stupidedi/either.rb +287 -0
- data/lib/stupidedi/exceptions/invalid_element_error.rb +8 -0
- data/lib/stupidedi/exceptions/invalid_schema_error.rb +8 -0
- data/lib/stupidedi/exceptions/output_error.rb +8 -0
- data/lib/stupidedi/exceptions/parse_error.rb +8 -0
- data/lib/stupidedi/exceptions/stupidedi_error.rb +8 -0
- data/lib/stupidedi/exceptions/tokenize_error.rb +8 -0
- data/lib/stupidedi/exceptions/zipper_error.rb +8 -0
- data/lib/stupidedi/exceptions.rb +11 -0
- data/lib/stupidedi/guides/005010/X214-HN277.rb +409 -0
- data/lib/stupidedi/guides/005010/X221-HP835.rb +613 -0
- data/lib/stupidedi/guides/005010/X221A1-HP835.rb +613 -0
- data/lib/stupidedi/guides/005010/X222-HC837P.rb +2291 -0
- data/lib/stupidedi/guides/005010/X222A1-HC837P.rb +2297 -0
- data/lib/stupidedi/guides/005010/X231-FA999.rb +123 -0
- data/lib/stupidedi/guides/005010/X231A1-FA999.rb +119 -0
- data/lib/stupidedi/guides/005010/element_reqs.rb +38 -0
- data/lib/stupidedi/guides/005010/guide_builder.rb +180 -0
- data/lib/stupidedi/guides/005010/segment_reqs.rb +32 -0
- data/lib/stupidedi/guides/005010.rb +64 -0
- data/lib/stupidedi/guides.rb +5 -0
- data/lib/stupidedi/inspect.rb +26 -0
- data/lib/stupidedi/reader/input/abstract_input.rb +133 -0
- data/lib/stupidedi/reader/input/delegated_input.rb +111 -0
- data/lib/stupidedi/reader/input/file_input.rb +155 -0
- data/lib/stupidedi/reader/input.rb +30 -0
- data/lib/stupidedi/reader/position.rb +69 -0
- data/lib/stupidedi/reader/result.rb +168 -0
- data/lib/stupidedi/reader/segment_dict.rb +175 -0
- data/lib/stupidedi/reader/separators.rb +85 -0
- data/lib/stupidedi/reader/stream_reader.rb +172 -0
- data/lib/stupidedi/reader/token_reader.rb +466 -0
- data/lib/stupidedi/reader/tokens/component_element_tok.rb +56 -0
- data/lib/stupidedi/reader/tokens/composite_element_tok.rb +64 -0
- data/lib/stupidedi/reader/tokens/repeated_element_tok.rb +64 -0
- data/lib/stupidedi/reader/tokens/segment_tok.rb +51 -0
- data/lib/stupidedi/reader/tokens/simple_element_tok.rb +63 -0
- data/lib/stupidedi/reader.rb +121 -0
- data/lib/stupidedi/schema/abstract_def.rb +74 -0
- data/lib/stupidedi/schema/abstract_use.rb +73 -0
- data/lib/stupidedi/schema/code_list.rb +94 -0
- data/lib/stupidedi/schema/element_def.rb +173 -0
- data/lib/stupidedi/schema/element_req.rb +56 -0
- data/lib/stupidedi/schema/element_use.rb +251 -0
- data/lib/stupidedi/schema/functional_group_def.rb +114 -0
- data/lib/stupidedi/schema/interchange_def.rb +93 -0
- data/lib/stupidedi/schema/loop_def.rb +152 -0
- data/lib/stupidedi/schema/repeat_count.rb +85 -0
- data/lib/stupidedi/schema/segment_def.rb +108 -0
- data/lib/stupidedi/schema/segment_req.rb +43 -0
- data/lib/stupidedi/schema/segment_use.rb +98 -0
- data/lib/stupidedi/schema/syntax_note.rb +63 -0
- data/lib/stupidedi/schema/table_def.rb +139 -0
- data/lib/stupidedi/schema/transaction_set_def.rb +88 -0
- data/lib/stupidedi/schema.rb +28 -0
- data/lib/stupidedi/sets/absolute_set.rb +297 -0
- data/lib/stupidedi/sets/abstract_set.rb +174 -0
- data/lib/stupidedi/sets/null_set.rb +125 -0
- data/lib/stupidedi/sets/relative_complement.rb +137 -0
- data/lib/stupidedi/sets/relative_set.rb +269 -0
- data/lib/stupidedi/sets/universal_set.rb +104 -0
- data/lib/stupidedi/sets.rb +57 -0
- data/lib/stupidedi/tail_call.rb +109 -0
- data/lib/stupidedi/thread_local.rb +174 -0
- data/lib/stupidedi/values/abstract_element_val.rb +19 -0
- data/lib/stupidedi/values/abstract_val.rb +130 -0
- data/lib/stupidedi/values/composite_element_val.rb +95 -0
- data/lib/stupidedi/values/functional_group_val.rb +102 -0
- data/lib/stupidedi/values/interchange_val.rb +86 -0
- data/lib/stupidedi/values/invalid_envelope_val.rb +61 -0
- data/lib/stupidedi/values/invalid_segment_val.rb +78 -0
- data/lib/stupidedi/values/loop_val.rb +70 -0
- data/lib/stupidedi/values/repeated_element_val.rb +105 -0
- data/lib/stupidedi/values/segment_val.rb +104 -0
- data/lib/stupidedi/values/segment_val_group.rb +20 -0
- data/lib/stupidedi/values/simple_element_val.rb +80 -0
- data/lib/stupidedi/values/table_val.rb +66 -0
- data/lib/stupidedi/values/transaction_set_val.rb +66 -0
- data/lib/stupidedi/values/transmission_val.rb +52 -0
- data/lib/stupidedi/values.rb +21 -0
- data/lib/stupidedi/version.rb +3 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_defs.rb +54 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_reqs.rb +18 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types/date_val.rb +527 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types/fixnum_val.rb +335 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types/float_val.rb +299 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types/identifier_val.rb +287 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types/string_val.rb +338 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types/time_val.rb +309 -0
- data/lib/stupidedi/versions/functional_groups/004010/element_types.rb +124 -0
- data/lib/stupidedi/versions/functional_groups/004010/functional_group_def.rb +30 -0
- data/lib/stupidedi/versions/functional_groups/004010/segment_defs/GE.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/004010/segment_defs/GS.rb +27 -0
- data/lib/stupidedi/versions/functional_groups/004010/segment_defs/SE.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/004010/segment_defs/ST.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/004010/segment_defs.rb +23 -0
- data/lib/stupidedi/versions/functional_groups/004010/segment_reqs.rb +18 -0
- data/lib/stupidedi/versions/functional_groups/004010/syntax_notes.rb +174 -0
- data/lib/stupidedi/versions/functional_groups/004010.rb +38 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_defs.rb +1405 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_reqs.rb +18 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/date_val.rb +577 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/fixnum_val.rb +322 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/float_val.rb +354 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/identifier_val.rb +368 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/operators.rb +117 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/string_val.rb +398 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types/time_val.rb +327 -0
- data/lib/stupidedi/versions/functional_groups/005010/element_types.rb +132 -0
- data/lib/stupidedi/versions/functional_groups/005010/functional_group_def.rb +30 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/AK1.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/AK2.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/AK9.rb +28 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/AMT.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/BHT.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/BPR.rb +49 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CAS.rb +56 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CL1.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CLM.rb +41 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CLP.rb +34 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CN1.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CR1.rb +32 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CR2.rb +35 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CR3.rb +25 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CRC.rb +26 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CTP.rb +36 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CTX.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/CUR.rb +57 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/DMG.rb +34 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/DN1.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/DN2.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/DTM.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/DTP.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/FRM.rb +25 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/GE.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/GS.rb +27 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/HCP.rb +39 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/HI.rb +31 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/HL.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/IK3.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/IK4.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/IK5.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/K3.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/LIN.rb +69 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/LQ.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/LX.rb +19 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/MEA.rb +39 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/MIA.rb +45 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/MOA.rb +28 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/N1.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/N2.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/N3.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/N4.rb +30 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/NM1.rb +35 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/NTE.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/OI.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/PAT.rb +31 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/PER.rb +32 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/PLB.rb +40 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/PRV.rb +26 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/PS1.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/PWK.rb +30 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/QTY.rb +25 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/RDM.rb +23 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/REF.rb +23 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SBR.rb +28 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SE.rb +20 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/ST.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/STC.rb +30 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SV1.rb +44 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SV2.rb +29 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SV3.rb +30 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SV5.rb +29 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SVC.rb +26 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/SVD.rb +24 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/TOO.rb +21 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/TRN.rb +22 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/TS2.rb +40 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs/TS3.rb +45 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_defs.rb +227 -0
- data/lib/stupidedi/versions/functional_groups/005010/segment_reqs.rb +18 -0
- data/lib/stupidedi/versions/functional_groups/005010/syntax_notes.rb +165 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/FA999.rb +38 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HB271.rb +85 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HC837.rb +163 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HI278.rb +64 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HN277.rb +74 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HP835.rb +68 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HR276.rb +57 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/HS270.rb +53 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs/RA820.rb +240 -0
- data/lib/stupidedi/versions/functional_groups/005010/transaction_set_defs.rb +68 -0
- data/lib/stupidedi/versions/functional_groups/005010.rb +38 -0
- data/lib/stupidedi/versions/functional_groups.rb +8 -0
- data/lib/stupidedi/versions/interchanges/00401/element_defs.rb +224 -0
- data/lib/stupidedi/versions/interchanges/00401/interchange_def.rb +45 -0
- data/lib/stupidedi/versions/interchanges/00401/segment_defs/IEA.rb +20 -0
- data/lib/stupidedi/versions/interchanges/00401/segment_defs/ISA.rb +34 -0
- data/lib/stupidedi/versions/interchanges/00401/segment_defs/TA1.rb +23 -0
- data/lib/stupidedi/versions/interchanges/00401/segment_defs.rb +28 -0
- data/lib/stupidedi/versions/interchanges/00401.rb +23 -0
- data/lib/stupidedi/versions/interchanges/00501/element_defs.rb +269 -0
- data/lib/stupidedi/versions/interchanges/00501/interchange_def.rb +47 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs/IEA.rb +20 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs/ISA.rb +34 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs/ISB.rb +18 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs/ISE.rb +18 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs/TA1.rb +23 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs/TA3.rb +18 -0
- data/lib/stupidedi/versions/interchanges/00501/segment_defs.rb +37 -0
- data/lib/stupidedi/versions/interchanges/00501.rb +23 -0
- data/lib/stupidedi/versions/interchanges.rb +8 -0
- data/lib/stupidedi/versions.rb +6 -0
- data/lib/stupidedi/writer/claredi.rb +142 -0
- data/lib/stupidedi/writer/default.rb +124 -0
- data/lib/stupidedi/writer.rb +6 -0
- data/lib/stupidedi/zipper/abstract_cursor.rb +351 -0
- data/lib/stupidedi/zipper/dangling_cursor.rb +103 -0
- data/lib/stupidedi/zipper/edited_cursor.rb +157 -0
- data/lib/stupidedi/zipper/memoized_cursor.rb +131 -0
- data/lib/stupidedi/zipper/path.rb +124 -0
- data/lib/stupidedi/zipper/root_cursor.rb +120 -0
- data/lib/stupidedi/zipper.rb +25 -0
- data/lib/stupidedi.rb +66 -0
- data/spec/examples/integration/generating.example +551 -0
- data/spec/examples/integration/navigating.example +214 -0
- data/spec/examples/integration/parsing.example +445 -0
- data/spec/examples/ruby/array.example +476 -0
- data/spec/examples/ruby/blank.example +62 -0
- data/spec/examples/ruby/count.example +68 -0
- data/spec/examples/ruby/object.example +99 -0
- data/spec/examples/ruby/string.example +111 -0
- data/spec/examples/ruby/symbol.example +117 -0
- data/spec/examples/ruby/to_d.example +90 -0
- data/spec/examples/ruby/try.example +50 -0
- data/spec/examples/stupidedi/either.example +375 -0
- data/spec/examples/stupidedi/reader/failure.example +68 -0
- data/spec/examples/stupidedi/reader/input/delegated_input.example +292 -0
- data/spec/examples/stupidedi/reader/separators.example +73 -0
- data/spec/examples/stupidedi/reader/stream_reader.example +48 -0
- data/spec/examples/stupidedi/reader/success.example +34 -0
- data/spec/examples/stupidedi/reader/token_reader.example +775 -0
- data/spec/examples/stupidedi/reader.example +168 -0
- data/spec/examples/stupidedi/sets/absolute_set.example +1577 -0
- data/spec/examples/stupidedi/sets/null_set.example +2 -0
- data/spec/examples/stupidedi/sets/relative_set.example +2 -0
- data/spec/examples/stupidedi/sets/universal_set.example +1 -0
- data/spec/examples/stupidedi/versions/005010/element_types/an.example +201 -0
- data/spec/examples/stupidedi/versions/005010/element_types/dt.example +258 -0
- data/spec/examples/stupidedi/versions/005010/element_types/id.example +192 -0
- data/spec/examples/stupidedi/versions/005010/element_types/nn.example +177 -0
- data/spec/examples/stupidedi/versions/005010/element_types/r.example +178 -0
- data/spec/examples/stupidedi/versions/005010/element_types/tm.example +2 -0
- data/spec/examples/stupidedi/zipper/abstract_cursor.example +417 -0
- data/spec/examples/stupidedi/zipper.example +9 -0
- data/spec/fixtures/X186-AG824/1-bad.txt +21 -0
- data/spec/fixtures/X186-AG824/1-good.txt +17 -0
- data/spec/fixtures/X186-AG824/2-bad.txt +26 -0
- data/spec/fixtures/X186-AG824/2-good.txt +21 -0
- data/spec/fixtures/X186-AG824/3-bad.txt +87 -0
- data/spec/fixtures/X186-AG824/3-good.txt +61 -0
- data/spec/fixtures/X212-HN277/1-bad.txt +54 -0
- data/spec/fixtures/X212-HN277/1-good.txt +46 -0
- data/spec/fixtures/X212-HN277/2-bad.txt +37 -0
- data/spec/fixtures/X212-HN277/2-good.txt +29 -0
- data/spec/fixtures/X212-HN277/3-bad.txt +22 -0
- data/spec/fixtures/X212-HN277/3-good.txt +17 -0
- data/spec/fixtures/X212-HN277/4-bad.txt +30 -0
- data/spec/fixtures/X212-HN277/4-good.txt +24 -0
- data/spec/fixtures/X212-HR276/1-bad.txt +53 -0
- data/spec/fixtures/X212-HR276/1-good.txt +46 -0
- data/spec/fixtures/X212-HR276/2-bad.txt +45 -0
- data/spec/fixtures/X212-HR276/2-good.txt +38 -0
- data/spec/fixtures/X212-HR276/3-bad.txt +32 -0
- data/spec/fixtures/X212-HR276/3-good.txt +26 -0
- data/spec/fixtures/X212-HR276/4-bad.txt +32 -0
- data/spec/fixtures/X212-HR276/4-good.txt +26 -0
- data/spec/fixtures/X214-HN277/1-bad.txt +58 -0
- data/spec/fixtures/X214-HN277/1-good.txt +47 -0
- data/spec/fixtures/X214-HN277/2-bad.txt +34 -0
- data/spec/fixtures/X214-HN277/2-good.txt +22 -0
- data/spec/fixtures/X214-HN277/3-bad.txt +64 -0
- data/spec/fixtures/X214-HN277/3-good.txt +54 -0
- data/spec/fixtures/X214-HN277/4-bad.txt +77 -0
- data/spec/fixtures/X214-HN277/4-good.txt +63 -0
- data/spec/fixtures/X216-HI278/1-bad.txt +42 -0
- data/spec/fixtures/X216-HI278/1-good.txt +27 -0
- data/spec/fixtures/X216-HI278/2-bad.txt +43 -0
- data/spec/fixtures/X216-HI278/2-good.txt +29 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-1.txt +24 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-1_Clean.txt +20 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-2.txt +46 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-2_Clean.txt +30 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-3.txt +38 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-3_Clean.txt +24 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-4a.txt +39 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-4a_Clean.txt +24 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-4b.txt +43 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-4b_Clean.txt +25 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-5.txt +63 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-5_Clean.txt +41 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-6.txt +36 -0
- data/spec/fixtures/X217-HI278/Sample_278_Request_5010X217-6_Clean.txt +20 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-1r.txt +34 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-1r_Clean.txt +23 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-2r.txt +46 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-2r_Clean.txt +31 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-3r.txt +44 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-3r_Clean.txt +26 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-4ar_Clean.txt +28 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-4br_Clean.txt +35 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-5r.txt +60 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-5r_Clean.txt +42 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-6r.txt +40 -0
- data/spec/fixtures/X217-HI278/Sample_278_Response_5010X217-6r_Clean.txt +24 -0
- data/spec/fixtures/X218-RA820/1-bad.txt +31 -0
- data/spec/fixtures/X218-RA820/1-good.txt +25 -0
- data/spec/fixtures/X218-RA820/2-bad.txt +37 -0
- data/spec/fixtures/X218-RA820/2-good.txt +29 -0
- data/spec/fixtures/X218-RA820/3-bad.txt +29 -0
- data/spec/fixtures/X218-RA820/3-good.txt +23 -0
- data/spec/fixtures/X218-RA820/4-bad.txt +36 -0
- data/spec/fixtures/X218-RA820/4-good.txt +27 -0
- data/spec/fixtures/X220-BE834/1-bad.txt +35 -0
- data/spec/fixtures/X220-BE834/1-good.txt +29 -0
- data/spec/fixtures/X220-BE834/10-bad.txt +26 -0
- data/spec/fixtures/X220-BE834/10-good.txt +19 -0
- data/spec/fixtures/X220-BE834/2-bad.txt +31 -0
- data/spec/fixtures/X220-BE834/2-good.txt +23 -0
- data/spec/fixtures/X220-BE834/3-bad.txt +36 -0
- data/spec/fixtures/X220-BE834/3-good.txt +26 -0
- data/spec/fixtures/X220-BE834/4-bad.txt +27 -0
- data/spec/fixtures/X220-BE834/4-good.txt +21 -0
- data/spec/fixtures/X220-BE834/5-bad.txt +26 -0
- data/spec/fixtures/X220-BE834/5-good.txt +17 -0
- data/spec/fixtures/X220-BE834/6-bad.txt +25 -0
- data/spec/fixtures/X220-BE834/6-good.txt +20 -0
- data/spec/fixtures/X220-BE834/7-bad.txt +25 -0
- data/spec/fixtures/X220-BE834/7-good.txt +20 -0
- data/spec/fixtures/X220-BE834/8-bad.txt +25 -0
- data/spec/fixtures/X220-BE834/8-good.txt +20 -0
- data/spec/fixtures/X220-BE834/9-bad.txt +27 -0
- data/spec/fixtures/X220-BE834/9-good.txt +21 -0
- data/spec/fixtures/X221-HP835/1-bad.txt +58 -0
- data/spec/fixtures/X221-HP835/1-good.txt +40 -0
- data/spec/fixtures/X221-HP835/2-bad.txt +51 -0
- data/spec/fixtures/X221-HP835/2-good.txt +40 -0
- data/spec/fixtures/X221-HP835/3a-bad.txt +78 -0
- data/spec/fixtures/X221-HP835/3a-good.txt +49 -0
- data/spec/fixtures/X221-HP835/3b-bad.txt +60 -0
- data/spec/fixtures/X221-HP835/3b-good.txt +32 -0
- data/spec/fixtures/X221-HP835/3c-bad.txt +55 -0
- data/spec/fixtures/X221-HP835/3c-good.txt +34 -0
- data/spec/fixtures/X222-HC837/1-bad.txt +60 -0
- data/spec/fixtures/X222-HC837/1-good.txt +53 -0
- data/spec/fixtures/X222-HC837/10a-bad.txt +52 -0
- data/spec/fixtures/X222-HC837/10a-good.txt +40 -0
- data/spec/fixtures/X222-HC837/10b-bad.txt +99 -0
- data/spec/fixtures/X222-HC837/10b-good.txt +80 -0
- data/spec/fixtures/X222-HC837/10c-bad.txt +105 -0
- data/spec/fixtures/X222-HC837/10c-good.txt +80 -0
- data/spec/fixtures/X222-HC837/11-bad.txt +69 -0
- data/spec/fixtures/X222-HC837/11-good.txt +45 -0
- data/spec/fixtures/X222-HC837/12-bad.txt +73 -0
- data/spec/fixtures/X222-HC837/12-good.txt +51 -0
- data/spec/fixtures/X222-HC837/13-bad.txt +64 -0
- data/spec/fixtures/X222-HC837/13-good.txt +46 -0
- data/spec/fixtures/X222-HC837/3a-bad.txt +83 -0
- data/spec/fixtures/X222-HC837/3a-good.txt +59 -0
- data/spec/fixtures/X222-HC837/3b-bad.txt +97 -0
- data/spec/fixtures/X222-HC837/3b-good.txt +70 -0
- data/spec/fixtures/X222-HC837/3c-bad.txt +95 -0
- data/spec/fixtures/X222-HC837/3c-good.txt +74 -0
- data/spec/fixtures/X222-HC837/4-bad.txt +67 -0
- data/spec/fixtures/X222-HC837/4-good.txt +48 -0
- data/spec/fixtures/X222-HC837/5-bad.txt +73 -0
- data/spec/fixtures/X222-HC837/5-good.txt +60 -0
- data/spec/fixtures/X222-HC837/6-bad.txt +50 -0
- data/spec/fixtures/X222-HC837/6-good.txt +39 -0
- data/spec/fixtures/X222-HC837/7-bad.txt +93 -0
- data/spec/fixtures/X222-HC837/7-good.txt +78 -0
- data/spec/fixtures/X222-HC837/8-bad.txt +64 -0
- data/spec/fixtures/X222-HC837/8-good.txt +52 -0
- data/spec/fixtures/X222-HC837/9-bad.txt +56 -0
- data/spec/fixtures/X222-HC837/9-good.txt +38 -0
- data/spec/fixtures/X223-HC837/1-bad.txt +66 -0
- data/spec/fixtures/X223-HC837/1-good.txt +53 -0
- data/spec/fixtures/X223-HC837/2-bad.txt +69 -0
- data/spec/fixtures/X223-HC837/2-good.txt +60 -0
- data/spec/fixtures/X223-HC837/3-bad.txt +89 -0
- data/spec/fixtures/X223-HC837/3-good.txt +61 -0
- data/spec/fixtures/X223-HC837/4-bad.txt +60 -0
- data/spec/fixtures/X223-HC837/4-good.txt +40 -0
- data/spec/fixtures/X223-HC837/5-bad.txt +75 -0
- data/spec/fixtures/X223-HC837/5-good.txt +58 -0
- data/spec/fixtures/X224-HC837/1-bad.txt +54 -0
- data/spec/fixtures/X224-HC837/1-good.txt +44 -0
- data/spec/fixtures/X224-HC837/2a-bad.txt +52 -0
- data/spec/fixtures/X224-HC837/2a-good.txt +42 -0
- data/spec/fixtures/X224-HC837/2b-bad.txt +67 -0
- data/spec/fixtures/X224-HC837/2b-good.txt +52 -0
- data/spec/fixtures/X224-HC837/3-bad.txt +67 -0
- data/spec/fixtures/X224-HC837/3-good.txt +51 -0
- data/spec/fixtures/X224-HC837/4-bad.txt +49 -0
- data/spec/fixtures/X224-HC837/4-good.txt +40 -0
- data/spec/fixtures/X230-FA997/1-bad.txt +19 -0
- data/spec/fixtures/X230-FA997/1-good.txt +16 -0
- data/spec/fixtures/X231-FA999/1-bad.txt +20 -0
- data/spec/fixtures/X231-FA999/1-good.txt +20 -0
- data/spec/fixtures/X279-HB271/1-bad.txt +36 -0
- data/spec/fixtures/X279-HB271/1-good.txt +30 -0
- data/spec/fixtures/X279-HB271/2-bad.txt +22 -0
- data/spec/fixtures/X279-HB271/2-good.txt +16 -0
- data/spec/fixtures/X279-HB271/3-bad.txt +44 -0
- data/spec/fixtures/X279-HB271/3-good.txt +36 -0
- data/spec/fixtures/X279-HS270/1-bad.txt +29 -0
- data/spec/fixtures/X279-HS270/1-good.txt +23 -0
- data/spec/fixtures/X279-HS270/2-bad.txt +32 -0
- data/spec/fixtures/X279-HS270/2-good.txt +25 -0
- data/spec/spec_helper.rb +34 -0
- data/spec/support/fixtures.rb +26 -0
- data/spec/support/matchers/either_matchers.rb +26 -0
- data/spec/support/matchers/navigation_matchers.rb +247 -0
- data/spec/support/node.rb +41 -0
- data/spec/support/quickcheck/characters.rb +28 -0
- data/spec/support/quickcheck/property.rb +105 -0
- data/spec/support/quickcheck/serialized_edi.rb +399 -0
- data/spec/support/quickcheck.rb +302 -0
- data/spec/support/rcov.rb +34 -0
- metadata +577 -0
@@ -0,0 +1,399 @@
|
|
1
|
+
require "support/quickcheck"
|
2
|
+
|
3
|
+
class QuickCheck
|
4
|
+
|
5
|
+
#
|
6
|
+
#
|
7
|
+
#
|
8
|
+
class SerializedEdi < ::QuickCheck
|
9
|
+
|
10
|
+
#
|
11
|
+
#
|
12
|
+
#
|
13
|
+
module Macro
|
14
|
+
def self.included(base)
|
15
|
+
base.extend(ClassMethods)
|
16
|
+
end
|
17
|
+
|
18
|
+
module ClassMethods
|
19
|
+
def property(*args, &setup)
|
20
|
+
QuickCheck.property(self, *args, &setup)
|
21
|
+
end
|
22
|
+
end
|
23
|
+
end
|
24
|
+
|
25
|
+
has_parameter :separators,
|
26
|
+
Stupidedi::Reader::Separators.new(":", "^", "*", "~")
|
27
|
+
|
28
|
+
def is_delimiter?(c)
|
29
|
+
separators.segment == c or
|
30
|
+
separators.element == c or
|
31
|
+
separators.component == c or
|
32
|
+
separators.repetition == c
|
33
|
+
end
|
34
|
+
|
35
|
+
# @return [Delegators::Char]
|
36
|
+
def char
|
37
|
+
Delegators::Char.new(self)
|
38
|
+
end
|
39
|
+
|
40
|
+
# @return [Delegators::Stream]
|
41
|
+
def stream
|
42
|
+
Delegators::Stream.new(self)
|
43
|
+
end
|
44
|
+
|
45
|
+
# @return [Delegators::SimpleElement]
|
46
|
+
# @return [String]
|
47
|
+
def element(element_def = nil)
|
48
|
+
delegator = Delegators::SimpleElement.new(self)
|
49
|
+
|
50
|
+
if element_def.respond_to?(:min_length)
|
51
|
+
min = element_def.min_length
|
52
|
+
max = element_def.max_length
|
53
|
+
end
|
54
|
+
|
55
|
+
case element_def
|
56
|
+
when nil
|
57
|
+
delegator
|
58
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::Nn
|
59
|
+
with(:size, choose([min, max])) { delegator.nn }
|
60
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::R
|
61
|
+
with(:size, choose([min, max])) { delegator.r }
|
62
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::ID
|
63
|
+
with(:size, choose([min, max])) { delegator.id }
|
64
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::AN
|
65
|
+
with(:size, choose([min, max])) { delegator.an }
|
66
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::DT
|
67
|
+
with(:size, choose([min, max])) { delegator.dt }
|
68
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::TM
|
69
|
+
with(:size, choose([min, max])) { delegator.tm }
|
70
|
+
when Stupidedi::FiftyTen::Definitions::ElementTypes::CompositeElementDef
|
71
|
+
composite(element_def)
|
72
|
+
else
|
73
|
+
raise ArgumentError
|
74
|
+
end
|
75
|
+
end
|
76
|
+
|
77
|
+
# @return [Delegators::CompositeElement]
|
78
|
+
# @return [String]
|
79
|
+
def composite(element_def = nil)
|
80
|
+
case element_def
|
81
|
+
when nil
|
82
|
+
Delegators::CompositeElement.new(self)
|
83
|
+
when Stupidedi::Schema::CompositeElementDef
|
84
|
+
# Generate each component element
|
85
|
+
elements = element_def.component_element_uses.map do |use|
|
86
|
+
if use.required?
|
87
|
+
value { element(use.definition) }
|
88
|
+
else
|
89
|
+
value { choose([element(use.definition), element.blank]) }
|
90
|
+
end
|
91
|
+
end
|
92
|
+
|
93
|
+
# Collapse the suffix of blank elements
|
94
|
+
suffix, elements = elements.reverse.split_until(&:empty?)
|
95
|
+
elements.reverse.join(separators.component)
|
96
|
+
else
|
97
|
+
raise ArgumentError
|
98
|
+
end
|
99
|
+
end
|
100
|
+
|
101
|
+
# @return [Delegators::Segment]
|
102
|
+
def segment
|
103
|
+
Delegators::Segment.new(self)
|
104
|
+
end
|
105
|
+
|
106
|
+
# @return [Delegators::Document]
|
107
|
+
def document
|
108
|
+
Delegators::Document.new(self)
|
109
|
+
end
|
110
|
+
|
111
|
+
# @return [Delegators::Current]
|
112
|
+
def current
|
113
|
+
Delegators::Current.new(self)
|
114
|
+
end
|
115
|
+
|
116
|
+
#
|
117
|
+
#
|
118
|
+
#
|
119
|
+
class Delegator < Stupidedi::BlankSlate
|
120
|
+
def initialize(quickcheck)
|
121
|
+
@quickcheck = quickcheck
|
122
|
+
end
|
123
|
+
|
124
|
+
private
|
125
|
+
|
126
|
+
def method_missing(name, *args, &block)
|
127
|
+
@quickcheck.__send__(name, *args, &block)
|
128
|
+
end
|
129
|
+
end
|
130
|
+
|
131
|
+
#
|
132
|
+
#
|
133
|
+
#
|
134
|
+
module Delegators
|
135
|
+
|
136
|
+
#
|
137
|
+
#
|
138
|
+
#
|
139
|
+
class Char < Delegator
|
140
|
+
|
141
|
+
# Generate a single basic character
|
142
|
+
#
|
143
|
+
# @return [Character]
|
144
|
+
def basic
|
145
|
+
choose(Stupidedi::Reader.basic_characters).tap{|c| guard(!is_delimiter?(c)) }
|
146
|
+
end
|
147
|
+
|
148
|
+
# Generate a single control character
|
149
|
+
#
|
150
|
+
# @return [Character]
|
151
|
+
def control
|
152
|
+
choose(Stupidedi::Reader.control_characters).tap{|c| guard(!is_delimiter?(c)) }
|
153
|
+
end
|
154
|
+
|
155
|
+
# Generate a single extended character
|
156
|
+
#
|
157
|
+
# @return [Character]
|
158
|
+
def extended
|
159
|
+
choose(Stupidedi::Reader.extended_characters).tap{|c| guard(!is_delimiter?(c)) }
|
160
|
+
end
|
161
|
+
|
162
|
+
# Generate a single delimiter character
|
163
|
+
#
|
164
|
+
# @return [Character]
|
165
|
+
def delimiter
|
166
|
+
choose [separators.segment,
|
167
|
+
separators.element,
|
168
|
+
separators.component,
|
169
|
+
separators.repetition]
|
170
|
+
end
|
171
|
+
end
|
172
|
+
|
173
|
+
#
|
174
|
+
#
|
175
|
+
#
|
176
|
+
class Stream < Delegator
|
177
|
+
|
178
|
+
# Generate a sized string of control characters
|
179
|
+
#
|
180
|
+
# @return [String]
|
181
|
+
def control
|
182
|
+
(1..size).inject(""){|s,_| s << char.control }
|
183
|
+
end
|
184
|
+
|
185
|
+
# Generate a sized string of basic characters
|
186
|
+
#
|
187
|
+
# @return [String]
|
188
|
+
def basic
|
189
|
+
(1..size).inject(""){|s,_| s << char.basic }
|
190
|
+
end
|
191
|
+
|
192
|
+
# Generate a sized string of extended characters
|
193
|
+
#
|
194
|
+
# @return [String]
|
195
|
+
def extended
|
196
|
+
(1..size).inject(""){|s,_| s << char.extended }
|
197
|
+
end
|
198
|
+
|
199
|
+
# Generate a sized string of spaces
|
200
|
+
#
|
201
|
+
# @return [String]
|
202
|
+
def space(length = size)
|
203
|
+
" " * length
|
204
|
+
end
|
205
|
+
|
206
|
+
# Randomly insert control characters into the string
|
207
|
+
#
|
208
|
+
# @return [String]
|
209
|
+
def agitate(string)
|
210
|
+
cs = string.split(//)
|
211
|
+
|
212
|
+
# Generate `cs.length + 1` control characters
|
213
|
+
xs = (0..cs.length).inject([]){|s,_| s << choose(["", char.control]) }
|
214
|
+
|
215
|
+
agitated = ""
|
216
|
+
xs.zip(cs){|pad, c| agitated << pad << c.to_s }
|
217
|
+
|
218
|
+
agitated
|
219
|
+
end
|
220
|
+
|
221
|
+
# Pad the ends of the string with sized random spaces. The combined
|
222
|
+
# length of the left and right padding is `sized`
|
223
|
+
#
|
224
|
+
# @return [String]
|
225
|
+
def pad(string)
|
226
|
+
left = space(between(0, size))
|
227
|
+
right = space(between(0, size - left.length))
|
228
|
+
left << string << right
|
229
|
+
end
|
230
|
+
end
|
231
|
+
|
232
|
+
#
|
233
|
+
#
|
234
|
+
#
|
235
|
+
class SimpleElement < Delegator
|
236
|
+
|
237
|
+
# Generate a string representing a blank element
|
238
|
+
#
|
239
|
+
# @return [String]
|
240
|
+
def blank
|
241
|
+
""
|
242
|
+
end
|
243
|
+
|
244
|
+
# Generate a sized string representing a non-empty numeric element (Nn).
|
245
|
+
# The leading sign character is not counted against `size`
|
246
|
+
#
|
247
|
+
# @return [String]
|
248
|
+
def nn
|
249
|
+
choose(["", "+", "-"]) << string(:digit)
|
250
|
+
end
|
251
|
+
|
252
|
+
# Generate a sized string representing a non-empty decimal element (R).
|
253
|
+
# The leading sign character, optional exponent (E) indicator and its
|
254
|
+
# sign character are not counted against `size`
|
255
|
+
#
|
256
|
+
# @return [String]
|
257
|
+
def r(length = size)
|
258
|
+
decimal = with(:size, between(0, length)) { string(:digit) }
|
259
|
+
exponent = with(:size, between(0, decimal.length)) { string(:digit) }
|
260
|
+
whole = with(:size, length - decimal.length - exponent.length) { string(:digit) }
|
261
|
+
|
262
|
+
decimal =
|
263
|
+
if decimal.empty?
|
264
|
+
choose(["", "."])
|
265
|
+
else
|
266
|
+
".#{decimal}"
|
267
|
+
end
|
268
|
+
|
269
|
+
unless exponent.empty?
|
270
|
+
exponent = "E#{choose(["", "-", "+"])}#{exponent}"
|
271
|
+
end
|
272
|
+
|
273
|
+
whole = "#{choose(["", "-", "+"])}#{whole}"
|
274
|
+
|
275
|
+
"#{whole}#{decimal}#{exponent}"
|
276
|
+
end
|
277
|
+
|
278
|
+
# Generate a sized string representing an identifier element (ID)
|
279
|
+
#
|
280
|
+
# @return [String]
|
281
|
+
def id
|
282
|
+
(1..size).inject("") do |s,_|
|
283
|
+
s << choose([char.basic, char.extended])
|
284
|
+
end.tap{|s| guard(!s.blank?) }
|
285
|
+
end
|
286
|
+
|
287
|
+
# Generate a sized string representing a string element (AN)
|
288
|
+
#
|
289
|
+
# @return [String]
|
290
|
+
def an
|
291
|
+
(1..size).inject("") do |s,_|
|
292
|
+
s << choose([char.basic, char.extended])
|
293
|
+
end.tap{|s| guard(!s.blank?) }
|
294
|
+
end
|
295
|
+
|
296
|
+
# Generate a sized string representing a date (DT)
|
297
|
+
#
|
298
|
+
# @return [String]
|
299
|
+
def dt
|
300
|
+
year = between(0, 9999)
|
301
|
+
month = between(1, 12)
|
302
|
+
day = between(1, 31)
|
303
|
+
|
304
|
+
# Ensure this is a valid date
|
305
|
+
guard(begin Date.civil(year, month, day); rescue ArgumentError; false end)
|
306
|
+
|
307
|
+
case size
|
308
|
+
when 6 then "%02d%02d%02d" % [year.modulo(100), month, day]
|
309
|
+
when 8 then "%04d%02d%02d" % [year, month, day]
|
310
|
+
else raise "Size must be 6 or 8, but it is #{size}"
|
311
|
+
end
|
312
|
+
end
|
313
|
+
|
314
|
+
# Generate a sized string representing a time (TM)
|
315
|
+
#
|
316
|
+
# @return [String]
|
317
|
+
def tm
|
318
|
+
case size
|
319
|
+
when 2 then "%02d" % between(0, 23)
|
320
|
+
when 4 then "%02d%02d" % [between(0, 23).abs, between(0, 59).abs]
|
321
|
+
else
|
322
|
+
raise "Size must be 2, 4, 6, or greater than 6, but it is #{size}" if size < 6
|
323
|
+
hour = between(0, 23)
|
324
|
+
minute = between(0, 59)
|
325
|
+
second = between(0, 59)
|
326
|
+
fract = with(:size, size - 6) { string(:digit) }
|
327
|
+
"%02d%02d%02d%s" % [hour, minute, second, fract]
|
328
|
+
end
|
329
|
+
end
|
330
|
+
end
|
331
|
+
|
332
|
+
#
|
333
|
+
#
|
334
|
+
#
|
335
|
+
class CompositeElement < Delegator
|
336
|
+
# @todo
|
337
|
+
end
|
338
|
+
|
339
|
+
#
|
340
|
+
#
|
341
|
+
#
|
342
|
+
class Segment < Delegator
|
343
|
+
|
344
|
+
# @private
|
345
|
+
SEGMENT_ID = /^[A-Z][A-Z0-9]{1,2}$/
|
346
|
+
|
347
|
+
def generate(name, *elements)
|
348
|
+
# @todo
|
349
|
+
end
|
350
|
+
|
351
|
+
private
|
352
|
+
|
353
|
+
def method_missing(name, *arguments, &block)
|
354
|
+
if SEGMENT_ID =~ name.to_s
|
355
|
+
generate(name)
|
356
|
+
else
|
357
|
+
super
|
358
|
+
end
|
359
|
+
end
|
360
|
+
end
|
361
|
+
|
362
|
+
#
|
363
|
+
#
|
364
|
+
#
|
365
|
+
class Document < Delegator
|
366
|
+
|
367
|
+
# Generate four random delimiters with the restriction that they cannot
|
368
|
+
# be control characters, spaces, tabs, numbers, letters, underscores, or
|
369
|
+
# numerical symbols, and each delimiter must be unique.
|
370
|
+
#
|
371
|
+
# @return [Reader::Separators]
|
372
|
+
def delimiters
|
373
|
+
possible = Stupidedi::Reader.basic_characters
|
374
|
+
possible << Stupidedi::Reader.extended_characters
|
375
|
+
possible -= QuickCheck::Characters.of(/[ \t0-9a-z_.+-]/i)
|
376
|
+
|
377
|
+
delimiters = []
|
378
|
+
|
379
|
+
4.times do
|
380
|
+
delimiters << value do
|
381
|
+
choose(possible).tap{|x| guard(!delimiters.include?(x)) }
|
382
|
+
end
|
383
|
+
end
|
384
|
+
|
385
|
+
Stupidedi::Reader::Sepatarors.new(*delimiters)
|
386
|
+
end
|
387
|
+
end
|
388
|
+
|
389
|
+
#
|
390
|
+
#
|
391
|
+
#
|
392
|
+
class Current < Delegator
|
393
|
+
# @todo
|
394
|
+
end
|
395
|
+
|
396
|
+
end
|
397
|
+
|
398
|
+
end
|
399
|
+
end
|
@@ -0,0 +1,302 @@
|
|
1
|
+
#
|
2
|
+
# This class is designed to be subclassed, to avoid polluting the minimal
|
3
|
+
# base class. Subclasses can add parameters with the macro "has_parameter",
|
4
|
+
# and parameters are inherited when subclassing.
|
5
|
+
#
|
6
|
+
# @see https://github.com/hayeah/rantly
|
7
|
+
#
|
8
|
+
class QuickCheck
|
9
|
+
autoload :Characters, "support/quickcheck/characters"
|
10
|
+
autoload :Property, "support/quickcheck/property"
|
11
|
+
|
12
|
+
def initialize
|
13
|
+
@bindings = []
|
14
|
+
end
|
15
|
+
end
|
16
|
+
|
17
|
+
class << QuickCheck
|
18
|
+
def property(base, *args, &setup)
|
19
|
+
QuickCheck::Property.new(base, new, *args, &setup)
|
20
|
+
end
|
21
|
+
|
22
|
+
# Generate `count` values, returning nil
|
23
|
+
def each(count, limit = 10, &block)
|
24
|
+
new.each(count, limit, &block)
|
25
|
+
end
|
26
|
+
|
27
|
+
# Generate an array of `count` values
|
28
|
+
def map(count, limit = 10, &block)
|
29
|
+
new.map(count, limit, &block)
|
30
|
+
end
|
31
|
+
|
32
|
+
# Generate a single value
|
33
|
+
def value(limit = 10, &block)
|
34
|
+
new.value(limit, &block)
|
35
|
+
end
|
36
|
+
|
37
|
+
def generate(count, limit, setup, &block)
|
38
|
+
new.generate(count, limit, setup, &block)
|
39
|
+
end
|
40
|
+
|
41
|
+
# @return [Class]
|
42
|
+
def default
|
43
|
+
@default ||= (superclass == Object) ?
|
44
|
+
Class.new.new :
|
45
|
+
Class.new(superclass).new
|
46
|
+
end
|
47
|
+
|
48
|
+
# @return [void]
|
49
|
+
def has_parameter(name, value)
|
50
|
+
scope = self
|
51
|
+
define_method(name) { instance_variable_get("@_parameter_#{name}") || scope.default.send(name) }
|
52
|
+
default.class.send(:define_method, name) { value }
|
53
|
+
end
|
54
|
+
end
|
55
|
+
|
56
|
+
class QuickCheck
|
57
|
+
module Macro
|
58
|
+
def self.included(base)
|
59
|
+
base.extend(ClassMethods)
|
60
|
+
end
|
61
|
+
|
62
|
+
module ClassMethods
|
63
|
+
def property(*args, &setup)
|
64
|
+
QuickCheck.property(self, *args, &setup)
|
65
|
+
end
|
66
|
+
end
|
67
|
+
end
|
68
|
+
|
69
|
+
class GuardFailure < StandardError; end
|
70
|
+
|
71
|
+
class NoMoreTries < StandardError
|
72
|
+
|
73
|
+
# @return [Integer]
|
74
|
+
attr_reader :limit
|
75
|
+
|
76
|
+
# @return [Integer]
|
77
|
+
attr_reader :tries
|
78
|
+
|
79
|
+
def initialize(limit, tries)
|
80
|
+
@limit, @tries = limit, tries
|
81
|
+
end
|
82
|
+
|
83
|
+
# @return [String]
|
84
|
+
def to_s
|
85
|
+
"Exceeded limit #{limit}: #{tries} failed guards"
|
86
|
+
end
|
87
|
+
end
|
88
|
+
|
89
|
+
# Controls the size of sized generators: array, string
|
90
|
+
has_parameter :size, 6
|
91
|
+
|
92
|
+
# Generate `count` values, returning nil
|
93
|
+
def each(count, limit = 10, &setup)
|
94
|
+
generate(count, limit, setup)
|
95
|
+
end
|
96
|
+
|
97
|
+
# Generate an array of `count` values
|
98
|
+
def map(count, limit = 10, &setup)
|
99
|
+
acc = []; generate(count, limit, setup) {|x| acc << x }; acc
|
100
|
+
end
|
101
|
+
|
102
|
+
# Generate a single value
|
103
|
+
def value(limit = 10, &setup)
|
104
|
+
generate(1, limit, setup) {|x| return x }
|
105
|
+
end
|
106
|
+
|
107
|
+
def generate(count, limit, setup, &block)
|
108
|
+
retries = count * limit
|
109
|
+
failures = successes = 0
|
110
|
+
|
111
|
+
@bindings.push(eval("self", block.binding))
|
112
|
+
|
113
|
+
while successes < count
|
114
|
+
raise NoMoreTries.new(count * limit, failures) if retries < 0
|
115
|
+
|
116
|
+
begin
|
117
|
+
retries -= 1
|
118
|
+
value = instance_eval(&setup)
|
119
|
+
rescue GuardFailure
|
120
|
+
failures += 1
|
121
|
+
else
|
122
|
+
successes += 1
|
123
|
+
yield(value) if block_given?
|
124
|
+
end
|
125
|
+
end
|
126
|
+
|
127
|
+
@bindings.pop
|
128
|
+
end
|
129
|
+
|
130
|
+
def guard(condition)
|
131
|
+
raise GuardFailure unless condition
|
132
|
+
end
|
133
|
+
|
134
|
+
# Called with a block, sets `parameters` temporarily while evaluating the
|
135
|
+
# block, and returns the value of the block. Without a block, this permanently
|
136
|
+
# sets `parameters`
|
137
|
+
def with(*parameters)
|
138
|
+
parameters = Hash[*parameters]
|
139
|
+
|
140
|
+
if block_given?
|
141
|
+
# Copy current parameters to a safe place
|
142
|
+
prev = instance_variables.grep(/@_parameter/).inject({}) do |hash, name|
|
143
|
+
hash.update(name => instance_variable_get(name))
|
144
|
+
end
|
145
|
+
|
146
|
+
# Update the given parameters
|
147
|
+
parameters.each{|name, value| instance_variable_set("@_parameter_#{name}", value) }
|
148
|
+
|
149
|
+
begin
|
150
|
+
yield
|
151
|
+
ensure
|
152
|
+
# Remove all the parameters
|
153
|
+
instance_variables.each do |name|
|
154
|
+
next unless /^@_parameter_/ =~ name
|
155
|
+
remove_instance_variable(name)
|
156
|
+
end
|
157
|
+
|
158
|
+
# Restore previous parameters from the copy
|
159
|
+
prev.each{|name, value| instance_variable_set(name, value) }
|
160
|
+
end
|
161
|
+
else
|
162
|
+
parameters.each{|name, value| instance_variable_set("@_parameter_#{name}", value) }
|
163
|
+
end
|
164
|
+
end
|
165
|
+
|
166
|
+
INTMIN = 2 ** (0.size * 8 - 2) - 1
|
167
|
+
INTMAX = -INTMIN + 1
|
168
|
+
|
169
|
+
# Returns the given parameter
|
170
|
+
def literal(x); x end
|
171
|
+
|
172
|
+
# Generates an integer
|
173
|
+
def integer(magnitude = nil)
|
174
|
+
case magnitude
|
175
|
+
when Range then between(magnitude.end, magnitude.begin)
|
176
|
+
when Integer then between(magnitude, -magnitude)
|
177
|
+
else between(INTMAX, INTMIN) end
|
178
|
+
end
|
179
|
+
|
180
|
+
# Generates a float
|
181
|
+
alias float rand
|
182
|
+
|
183
|
+
# Generates a value between the given range
|
184
|
+
def between(lo, hi = nil)
|
185
|
+
case lo
|
186
|
+
when Numeric
|
187
|
+
rand(hi + 1 - lo) + lo
|
188
|
+
when Range
|
189
|
+
# @todo: #to_a is wasteful for large Ranges
|
190
|
+
lo.to_a.bind{|a| a[between(0, a.length - 1)] }
|
191
|
+
end
|
192
|
+
end
|
193
|
+
|
194
|
+
# Generates true or false
|
195
|
+
def boolean
|
196
|
+
rand(2) == 0
|
197
|
+
end
|
198
|
+
|
199
|
+
# Generates a sized array by iteratively evaluating `block`
|
200
|
+
def array(&block)
|
201
|
+
@bindings.push(eval("self", block.binding))
|
202
|
+
|
203
|
+
(1..size).inject([]) {|a,_| a << instance_eval(&block) }.tap do
|
204
|
+
@bindings.pop
|
205
|
+
end
|
206
|
+
end
|
207
|
+
|
208
|
+
# Generates a character the given character class
|
209
|
+
def character(type = :print)
|
210
|
+
chars = case type
|
211
|
+
when Regexp then Characters.of(type)
|
212
|
+
when Symbol then Characters::CLASSES[type] end
|
213
|
+
|
214
|
+
raise ArgumentError, "unrecognized character type #{type.inspect}" unless chars
|
215
|
+
choose(chars)
|
216
|
+
end
|
217
|
+
|
218
|
+
# Generates a sized string of the given character class
|
219
|
+
def string(type = :print)
|
220
|
+
chars = case type
|
221
|
+
when Regexp then Characters.of(type)
|
222
|
+
when Symbol then Characters::CLASSES[type] end
|
223
|
+
|
224
|
+
raise ArgumentError, "unrecognized character type #{type.inspect}" unless chars
|
225
|
+
acc = ""; size.times { acc << choose(chars) }; acc
|
226
|
+
end
|
227
|
+
|
228
|
+
# Generate a weighted value by calling the tail of each element
|
229
|
+
#
|
230
|
+
# @example
|
231
|
+
# freq [1, :literal, "one"],
|
232
|
+
# [2, :string],
|
233
|
+
# [3, :string, :alpha],
|
234
|
+
# [4, [:string, :alpha]],
|
235
|
+
# [5, lambda{ with(:size, 2) { string }}],
|
236
|
+
# [6, lambda{|x| with(:size, x) { string }}, 2]
|
237
|
+
def freq(*pairs)
|
238
|
+
total = 0
|
239
|
+
pairs = pairs.map do |p|
|
240
|
+
case p
|
241
|
+
when Symbol, String, Proc
|
242
|
+
total += 1; [1, p]
|
243
|
+
when Array
|
244
|
+
total += p.head; p
|
245
|
+
end
|
246
|
+
end
|
247
|
+
|
248
|
+
index = between(1, total)
|
249
|
+
pairs.each do |p|
|
250
|
+
weight, generator, *args = p
|
251
|
+
if index <= weight
|
252
|
+
return call(generator, *args)
|
253
|
+
else
|
254
|
+
index -= weight
|
255
|
+
end
|
256
|
+
end
|
257
|
+
end
|
258
|
+
|
259
|
+
# Generates an element from the given array of values
|
260
|
+
def choose(values)
|
261
|
+
values[between(0, values.length - 1)]
|
262
|
+
end
|
263
|
+
|
264
|
+
# Executes `call` on a random element from the given array of values
|
265
|
+
def branch(generators)
|
266
|
+
call(choose(generators))
|
267
|
+
end
|
268
|
+
|
269
|
+
# Executes the given generator
|
270
|
+
#
|
271
|
+
# @example
|
272
|
+
# call(:integer)
|
273
|
+
# call(:choose, [1,2,3])
|
274
|
+
# call([:choose, [1,2,3]])
|
275
|
+
# call(lambda { choose([1,2,3]) }
|
276
|
+
def call(generator, *args)
|
277
|
+
case generator
|
278
|
+
when Symbol, String
|
279
|
+
send(generator, *args)
|
280
|
+
when Array
|
281
|
+
send(generator.head, *generator.tail)
|
282
|
+
when Proc
|
283
|
+
@bindings.push(eval("self", generate.binding))
|
284
|
+
|
285
|
+
instance_eval { generator.call(*args) }.tap do
|
286
|
+
@bindings.pop
|
287
|
+
end
|
288
|
+
else
|
289
|
+
raise ArgumentError, "unrecognized generator type #{generator.inspect}"
|
290
|
+
end
|
291
|
+
end
|
292
|
+
|
293
|
+
private
|
294
|
+
|
295
|
+
def method_missing(name, *args, &block)
|
296
|
+
unless @bindings.empty?
|
297
|
+
@bindings.last.__send__(name, *args, &block)
|
298
|
+
else
|
299
|
+
super
|
300
|
+
end
|
301
|
+
end
|
302
|
+
end
|