aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 00:07:08 -0400
committerEduardo Julian2021-09-12 00:07:08 -0400
commitdda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch)
tree0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /licentia/source/test
parentd48270f43c404ba19ca04da2553455ecaaf2caba (diff)
Made the "#" character great again!
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux82
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))