aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-08-18 03:29:15 -0400
committerEduardo Julian2021-08-18 03:29:15 -0400
commite00ba096c8837abe85d366e0c1293c09dbe84d81 (patch)
treedc1f0955d4461ae30bb4945cddd74c462f1aee98 /licentia/source/test
parent3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (diff)
Some bug fixes.
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux62
1 files changed, 31 insertions, 31 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index b2302d8ef..e9a1da86e 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -161,16 +161,16 @@
(_.test "Copyright grant is present."
(present? grant.copyright))
(_.test "Patent grant is present."
- (present? (grant.patent (get@ #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 (get@ #license.termination_period termination)
- (get@ #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 (get@ #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 (get@ #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\= (get@ #license.can_accept? liability)
+ (bit\= (value@ #license.can_accept? liability)
(present? liability.can_accept)))
(_.test "Liability acceptance conditions may be present."
- (bit\= (get@ #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 (get@ #license.can_sell? commercial))
+ (bit\= (not (value@ #license.can_sell? commercial))
(present? commercial.cannot_sell)))
(_.test "Contributor credit condition is present."
- (bit\= (get@ #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 (get@ #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\= (get@ #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\= (get@ #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 (get@ #license.notification_period extension)
+ (case (value@ #license.notification_period extension)
(#.Some period)
(present? (extension.notification_requirement period))
#.None
true))
(_.test "Must describe modifications."
- (bit\= (get@ #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? (get@ #license.copyright_notice attribution)))
+ (present? (value@ #license.copyright_notice attribution)))
(_.test "The attribution phrase is present."
(|> attribution
- (get@ #license.phrase)
+ (value@ #license.phrase)
(maybe\map present?)
(maybe.default true)))
(_.test "The attribution URL is present."
- (present? (get@ #license.url attribution)))
+ (present? (value@ #license.url attribution)))
(_.test "The attribution image is present."
(|> attribution
- (get@ #license.image)
+ (value@ #license.image)
(maybe\map present?)
(maybe.default true)))
))
@@ -279,7 +279,7 @@
(Concern Addendum)
($_ _.and
(_.test "Commons clause"
- (bit\= (get@ #license.commons_clause? value)
+ (bit\= (value@ #license.commons_clause? value)
(present? addendum.commons_clause)))
))
@@ -294,10 +294,10 @@
($_ _.and
(_.test "Copyright notices are present."
(list.every? (|>> notice.copyright_holder present?)
- (get@ #license.copyright_holders license)))
+ (value@ #license.copyright_holders license)))
(_.test "Identification is present (if the license is identified)."
- (case (get@ #license.identification license)
+ (case (value@ #license.identification license)
(#.Some identification)
(and (present? (output.identification identification))
(present? miscellaneous.new_versions))
@@ -307,19 +307,19 @@
(_.test "Black-lists (if wanted by licensor) are explicitly enumerated and justified."
(list.every? (function (_ black_list)
- (let [black_list_is_justified? (case (get@ #license.justification black_list)
+ (let [black_list_is_justified? (case (value@ #license.justification black_list)
(#.Some justification)
(present? justification)
#.None
bit.yes)
every_entity_is_mentioned? (|> black_list
- (get@ #license.entities)
+ (value@ #license.entities)
(list\map black_list.entity)
(list.every? present?))]
(and black_list_is_justified?
every_entity_is_mentioned?)))
- (get@ #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? (get@ #license.termination license))
+ (..about_grant present? (value@ #license.termination license))
(_.test "All limitations are present."
(present? output.limitation))
@@ -339,15 +339,15 @@
(_.test "The terms of submission are present."
(present? submission.contribution))
- (..about_liability present? (get@ #license.liability license))
+ (..about_liability present? (value@ #license.liability license))
- (..about_distribution present? (get@ #license.distribution license))
+ (..about_distribution present? (value@ #license.distribution license))
- (..about_commercial present? (get@ #license.commercial license))
+ (..about_commercial present? (value@ #license.commercial license))
- (..about_extension present? (get@ #license.extension license))
+ (..about_extension present? (value@ #license.extension license))
- (case (get@ #license.attribution license)
+ (case (value@ #license.attribution license)
(#.Some attribution)
(..about_attribution present? attribution)
@@ -357,7 +357,7 @@
(..about_miscellaneous present?)
- (..about_addendum present? (get@ #license.addendum license))
+ (..about_addendum present? (value@ #license.addendum license))
(_.test "License ending footer is present."
(present? notice.end_of_license))