diff options
Diffstat (limited to 'licentia/source/test/licentia.lux')
| -rw-r--r-- | licentia/source/test/licentia.lux | 82 |
1 files changed, 41 insertions, 41 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 7caf5301c..e297f92e0 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -53,8 +53,8 @@ end (\ ! each (|>> (n.% wiggle_room) (n.max 1)) random.nat)] - (wrap [#time.start start - #time.end end]))) + (wrap [time.#start start + time.#end end]))) (def: copyright_holder (Random copyright.Holder) @@ -161,16 +161,16 @@ (_.test "Copyright grant is present." (present? grant.copyright)) (_.test "Patent grant is present." - (present? (grant.patent (value@ #license.patent_retaliation? termination)))) + (present? (grant.patent (value@ license.#patent_retaliation? termination)))) (_.test "Effective date for the grants is present." (present? grant.date)) (_.test "Patent grant is present." - (present? (grant.termination (value@ #license.termination_period termination) - (value@ #license.grace_period termination)))) + (present? (grant.termination (value@ license.#termination_period termination) + (value@ license.#grace_period termination)))) (_.test "The termination period is accurately conveyed." - (present? (grant.grant_restoration_clause (value@ #license.termination_period termination)))) + (present? (grant.grant_restoration_clause (value@ license.#termination_period termination)))) (_.test "The grace period is accurately conveyed." - (present? (grant.grace_period_clause (value@ #license.grace_period termination)))) + (present? (grant.grace_period_clause (value@ license.#grace_period termination)))) (_.test "The grants are not retro-actively terminated." (present? grant.no_retroactive_termination)) )) @@ -185,10 +185,10 @@ (_.test "Litigation conditions are present." (present? liability.litigation)) (_.test "Liability acceptance conditions may be present." - (bit\= (value@ #license.can_accept? liability) + (bit\= (value@ license.#can_accept? liability) (present? liability.can_accept))) (_.test "Liability acceptance conditions may be present." - (bit\= (value@ #license.disclaim_high_risk? liability) + (bit\= (value@ license.#disclaim_high_risk? liability) (present? liability.disclaim_high_risk))) )) @@ -207,13 +207,13 @@ (Concern Commercial) ($_ _.and (_.test "Non-commercial clause is present." - (bit\= (not (value@ #license.can_sell? commercial)) + (bit\= (not (value@ license.#can_sell? commercial)) (present? commercial.cannot_sell))) (_.test "Contributor credit condition is present." - (bit\= (value@ #license.require_contributor_credit? commercial) + (bit\= (value@ license.#require_contributor_credit? commercial) (present? commercial.require_contributor_attribution))) (_.test "Anti-endorsement condition is present." - (bit\= (not (value@ #license.allow_contributor_endorsement? commercial)) + (bit\= (not (value@ license.#allow_contributor_endorsement? commercial)) (present? commercial.disallow_contributor_endorsement))) )) @@ -221,21 +221,21 @@ (Concern Extension) ($_ _.and (_.test "The license is viral." - (bit\= (value@ #license.same_license? extension) + (bit\= (value@ license.#same_license? extension) (and (list.every? present? extension.sharing_requirement) (list.every? present? extension.license_conflict_resolution)))) (_.test "Extensions must be distinguishable from the original work." - (bit\= (value@ #license.must_be_distinguishable? extension) + (bit\= (value@ license.#must_be_distinguishable? extension) (present? extension.distinctness_requirement))) (_.test "The community must be notified of new extensions." - (case (value@ #license.notification_period extension) - {#.Some period} + (case (value@ license.#notification_period extension) + {.#Some period} (present? (extension.notification_requirement period)) - #.None + {.#None} true)) (_.test "Must describe modifications." - (bit\= (value@ #license.must_describe_modifications? extension) + (bit\= (value@ license.#must_describe_modifications? extension) (present? extension.description_requirement))) )) @@ -243,17 +243,17 @@ (Concern Attribution) ($_ _.and (_.test "The attribution copyright notice is present." - (present? (value@ #license.copyright_notice attribution))) + (present? (value@ license.#copyright_notice attribution))) (_.test "The attribution phrase is present." (|> attribution - (value@ #license.phrase) + (value@ license.#phrase) (maybe\each present?) (maybe.default true))) (_.test "The attribution URL is present." - (present? (value@ #license.url attribution))) + (present? (value@ license.#url attribution))) (_.test "The attribution image is present." (|> attribution - (value@ #license.image) + (value@ license.#image) (maybe\each present?) (maybe.default true))) )) @@ -279,7 +279,7 @@ (Concern Addendum) ($_ _.and (_.test "Commons clause" - (bit\= (value@ #license.commons_clause? value) + (bit\= (value@ license.#commons_clause? value) (present? addendum.commons_clause))) )) @@ -294,32 +294,32 @@ ($_ _.and (_.test "Copyright notices are present." (list.every? (|>> notice.copyright_holder present?) - (value@ #license.copyright_holders license))) + (value@ license.#copyright_holders license))) (_.test "Identification is present (if the license is identified)." - (case (value@ #license.identification license) - {#.Some identification} + (case (value@ license.#identification license) + {.#Some identification} (and (present? (output.identification identification)) (present? miscellaneous.new_versions)) - #.None + {.#None} (not (present? miscellaneous.new_versions)))) (_.test "Black-lists (if wanted by licensor) are explicitly enumerated and justified." (list.every? (function (_ black_list) - (let [black_list_is_justified? (case (value@ #license.justification black_list) - {#.Some justification} + (let [black_list_is_justified? (case (value@ license.#justification black_list) + {.#Some justification} (present? justification) - #.None + {.#None} bit.yes) every_entity_is_mentioned? (|> black_list - (value@ #license.entities) + (value@ license.#entities) (list\each black_list.entity) (list.every? present?))] (and black_list_is_justified? every_entity_is_mentioned?))) - (value@ #license.black_lists license))) + (value@ license.#black_lists license))) (_.test "All definitions are present." (list.every? (|>> output.definition present?) @@ -328,7 +328,7 @@ (_.test "Acceptance of the license is demanded." (present? limitation.acceptance)) - (..about_grant present? (value@ #license.termination license)) + (..about_grant present? (value@ license.#termination license)) (_.test "All limitations are present." (present? output.limitation)) @@ -339,25 +339,25 @@ (_.test "The terms of submission are present." (present? submission.contribution)) - (..about_liability present? (value@ #license.liability license)) + (..about_liability present? (value@ license.#liability license)) - (..about_distribution present? (value@ #license.distribution license)) + (..about_distribution present? (value@ license.#distribution license)) - (..about_commercial present? (value@ #license.commercial license)) + (..about_commercial present? (value@ license.#commercial license)) - (..about_extension present? (value@ #license.extension license)) + (..about_extension present? (value@ license.#extension license)) - (case (value@ #license.attribution license) - {#.Some attribution} + (case (value@ license.#attribution license) + {.#Some attribution} (..about_attribution present? attribution) - #.None + {.#None} (_.test "Attribution is missing." bit.yes)) (..about_miscellaneous present?) - (..about_addendum present? (value@ #license.addendum license)) + (..about_addendum present? (value@ license.#addendum license)) (_.test "License ending footer is present." (present? notice.end_of_license)) |