blob: 31f842745aab8d884a9c7fe02c68c105722d1698 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
... This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
... If a copy of the MPL was not distributed with this file, You can obtain one at https://mozilla.org/MPL/2.0/.
(.require
[library
[lux (.except)
[abstract
[monad (.only do)]
["[0]" equivalence
["[1]T" \\test]]]
[control
["[0]" pipe]
["[0]" try]]
[data
["[0]" text]
[collection
["[0]" list]]]
[math
["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
[program
["cli" \\parser]]
[test
["_" property (.only Test)]]]]
[\\program
["[0]" / (.only)
["/[1]" //
["[1]" profile]]]])
(def compilation
(Random /.Compilation)
(random.or (random#in [])
(random#in [])))
(def command
(Random /.Command)
(all random.or
... #Version
(random#in [])
... #Clean
(random#in [])
... #POM
(random#in [])
... #Dependencies
(random#in [])
... #Install
(random#in [])
... #Deploy
(all random.and
(random.alphabetic 1)
(random.alphabetic 1)
(random.alphabetic 1))
... #Compilation
..compilation
... #Auto
..compilation))
(def (compilation_format value)
(-> /.Compilation (List Text))
(when value
{/.#Build} (list "build")
{/.#Test} (list "test")))
(def (format value)
(-> /.Command (List Text))
(when value
{/.#Version} (list "version")
{/.#Clean} (list "clean")
{/.#POM} (list "pom")
{/.#Dependencies} (list "deps")
{/.#Install} (list "install")
{/.#Deploy repository [user password]} (list "deploy" repository user password)
{/.#Compilation compilation} (..compilation_format compilation)
{/.#Auto compilation} (list.partial "auto" (..compilation_format compilation))))
(def without_profile
Test
(do random.monad
[expected ..command]
(_.test "Without profile."
(|> expected
..format
(cli.result /.command)
(pipe.when
{try.#Success [names actual]}
(and (of (list.equivalence text.equivalence) = (list) names)
(of /.equivalence = expected actual))
{try.#Failure error}
false)))))
(def with_profile
Test
(do random.monad
[expected_profile (random.alphabetic 1)
expected_command ..command]
(_.test "With profile."
(|> expected_command
..format
(list.partial "with" expected_profile)
(cli.result /.command)
(pipe.when
{try.#Success [actual_profile actual_command]}
(and (of (list.equivalence text.equivalence) = (list expected_profile) actual_profile)
(of /.equivalence = expected_command actual_command))
{try.#Failure error}
false)))))
(def .public test
Test
(<| (_.covering /._)
(_.for [/.Compilation
/.#Build /.#Test
/.Command
/.#Version /.#Clean /.#POM /.#Dependencies /.#Install /.#Deploy /.#Compilation /.#Auto]
(all _.and
(_.for [/.equivalence]
(equivalenceT.spec /.equivalence ..command))
(_.for [/.command]
(all _.and
..without_profile
..with_profile
))))))
|
