diff options
Diffstat (limited to 'licentia/source/program/licentia/license/grant.lux')
-rw-r--r-- | licentia/source/program/licentia/license/grant.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux index 40f256aef..729d9fd5c 100644 --- a/licentia/source/program/licentia/license/grant.lux +++ b/licentia/source/program/licentia/license/grant.lux @@ -13,12 +13,12 @@ [// ["$" document]]]) -(def: grant_header +(def grant_header (format "Subject to the terms and conditions of " _.license ", each " _.contributor " hereby grants to " _.recipient)) -(def: .public grant_characteristics +(def .public grant_characteristics (List Text) (list "perpetual" "world-wide" @@ -27,7 +27,7 @@ "royalty-free" "irrevocable")) -(def: .public copyright_grant_rights +(def .public copyright_grant_rights (List Text) (list "use" "reproduce" @@ -38,7 +38,7 @@ "sublicense" "distribute")) -(def: .public copyright +(def .public copyright ($.sentence (format grant_header " a " ($.and ..grant_characteristics) " copyright license to " ($.or ..copyright_grant_rights) " " _.licensed_work @@ -46,7 +46,7 @@ " in a " _.source_code_form " or an " _.object_form))) -(def: .public (patent retaliation?) +(def .public (patent retaliation?) (-> Bit Text) (let [grant (format grant_header " a " ($.and ..grant_characteristics) " patent license to " ($.or definition.patent_rights) " " @@ -68,16 +68,16 @@ (list retaliation_clause) (list)))))) -(def: .public date +(def .public date ($.sentence (format "The licenses granted in " _.license " with respect to any " _.contribution " become effective for each " _.contribution " on the date the " _.contributor " first distributes such " _.contribution))) -(def: restoration_scope "an ongoing basis") +(def restoration_scope "an ongoing basis") -(def: .public (grant_restoration_clause termination_period) +(def .public (grant_restoration_clause termination_period) (-> Days Text) (let [restoration_condition (format _.recipient " becomes compliant") restored_grants (format "the rights granted under " _.license @@ -93,7 +93,7 @@ ", unless and until " invalidation_condition ", and on " ..restoration_scope ", if " complaint_period_condition))) -(def: .public (grace_period_clause grace_period) +(def .public (grace_period_clause grace_period) (-> Days Text) (let [the_grants (format "grants to " _.recipient " from a particular " _.contributor) automatic_restoration_conditions (let [notification (format "such " _.contributor @@ -112,7 +112,7 @@ " are reinstated on " ..restoration_scope " if " automatic_restoration_conditions))) -(def: .public (termination termination_period grace_period) +(def .public (termination termination_period grace_period) (-> Days Days Text) (let [on_violation_of_terms (let [what (format "The rights granted under " _.license) when (format _.recipient " fails to comply with any of its terms")] @@ -121,7 +121,7 @@ (..grant_restoration_clause termination_period) (..grace_period_clause grace_period))))) -(def: .public no_retroactive_termination +(def .public no_retroactive_termination (let [situation "In the event of termination" coverage "all end user license agreements" exclusions "(excluding licenses to distributors and resellers)" |