Skip to content

Commit 09ecf7a

Browse files
committed
generated unit tests from examples in the Manual
1 parent 65deb0e commit 09ecf7a

151 files changed

Lines changed: 1819 additions & 0 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.gitignore

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,3 +14,8 @@ speedtrials.py
1414
# Xcode user files
1515
project.xcworkspace
1616
xcuserdata
17+
18+
# unit tests
19+
tests/_out
20+
tests/_diff
21+
details.html

tests/_in/header.jpg

31.2 KB

tests/_in/kant.xml

Lines changed: 306 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,306 @@
1+
<?xml version="1.0"?>
2+
<!DOCTYPE grammar PUBLIC "-//diveintopython.org//DTD Kant Generator Pro v1.0//EN" "kgp.dtd">
3+
<grammar>
4+
<ref id="conjunction">
5+
<p>and</p>
6+
<p>but</p>
7+
<p>yet</p>
8+
</ref>
9+
10+
<ref id="quantity">
11+
<p>all of</p>
12+
<p>some of</p>
13+
<p>none of</p>
14+
</ref>
15+
16+
<ref id="logic.type">
17+
<p>general</p>
18+
<p>applied</p>
19+
<p>pure</p>
20+
<p>transcendental</p>
21+
<p>formal</p>
22+
</ref>
23+
24+
<ref id="rule.type">
25+
<p>universal</p>
26+
<p>necessary</p>
27+
<p>practical</p>
28+
<p>contradictory</p>
29+
<p>sufficient</p>
30+
</ref>
31+
32+
<ref id="judgement.type">
33+
<p>hypothetical</p>
34+
<p>problematic</p>
35+
<p>analytic</p>
36+
<p>synthetic</p>
37+
<p>ampliative</p>
38+
<p>inductive</p>
39+
<p>speculative</p>
40+
<p>disjunctive</p>
41+
<p><xref id="knowledge.type"/></p>
42+
</ref>
43+
44+
<ref id="knowledge.type">
45+
<p>a priori</p>
46+
<p>a posteriori</p>
47+
</ref>
48+
49+
<ref id="reason.type">
50+
<p>pure</p>
51+
<p>practical</p>
52+
<p>human</p>
53+
<p>natural</p>
54+
</ref>
55+
56+
<ref id="object.type">
57+
<p>intelligible</p>
58+
<p>transcendental</p>
59+
<p>empirical</p>
60+
</ref>
61+
62+
<ref id="philosopher">
63+
<p>Aristotle</p>
64+
<p>Hume</p>
65+
<p>Galileo</p>
66+
</ref>
67+
68+
<ref id="Ns">
69+
<p>the transcendental aesthetic</p>
70+
<p><xref id="logic.type"/> logic</p>
71+
<p>the Ideal of <xref id="reason.type"/> reason</p>
72+
<p>the architectonic of <xref id="reason.type"/> reason</p>
73+
<p>the discipline of <xref id="reason.type"/> reason</p>
74+
<p>the <p chance="50"><choice><p>pure</p><p>practical</p></choice> </p>employment of <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
75+
<p>the Ideal</p>
76+
<p>the manifold</p>
77+
<p>the Transcendental Deduction</p>
78+
<p>our experience</p>
79+
<p>philosophy</p>
80+
<p>metaphysics</p>
81+
<p>the thing in itself</p>
82+
<p>our understanding</p>
83+
<p>our <p chance="50"><xref id="knowledge.type"/> </p>knowledge</p>
84+
<p><xref id="reason.type"/> reason</p>
85+
<p>space</p>
86+
<p>time</p>
87+
<p>the transcendental unity of apperception</p>
88+
<p>necessity</p>
89+
<p>the never-ending regress in the series of empirical conditions</p>
90+
</ref>
91+
92+
<ref id="Np">
93+
<p>the Antinomies</p>
94+
<p>the paralogisms<p chance="50"> of <xref id="reason.type"/> reason</p></p>
95+
<p>the Categories</p>
96+
<p>our sense perceptions</p>
97+
<p>our faculties</p>
98+
<p>our <p chance="50"><xref id="judgement.type"/> </p>judgements</p>
99+
<p>the objects in space and time</p>
100+
<p>the things in themselves</p>
101+
<p>natural causes</p>
102+
<p>our ideas</p>
103+
<p>our <p chance="50"><xref id="knowledge.type"/> </p>concepts</p>
104+
<p>the <p chance="50"><xref id="object.type"/> </p>objects in space and time</p>
105+
<p>the noumena</p>
106+
<p>the phenomena</p>
107+
</ref>
108+
109+
<ref id="Vst">
110+
<p>is what first gives rise to</p>
111+
<p>can thereby determine in its totality</p>
112+
<p>has lying before it</p>
113+
<p>constitutes the whole content for</p>
114+
<p>may not contradict itself, but it is still possible that it may be in contradictions with</p>
115+
<p>would thereby be made to contradict</p>
116+
<p>teaches us nothing whatsoever regarding the content of</p>
117+
<p>can not take account of</p>
118+
<p>has nothing to do with</p>
119+
<p>stands in need of</p>
120+
<p>is the key to understanding</p>
121+
<p>proves the validity of</p>
122+
<p>is just as necessary as</p>
123+
<p>is the clue to the discovery of</p>
124+
<p>is a representation of</p>
125+
<p>depends on</p>
126+
<p>excludes the possibility of</p>
127+
</ref>
128+
129+
<ref id="Vsi">
130+
<p>is the mere result of the power of <xref id="Ns"/>, a blind but indispensable function of the soul</p>
131+
<p>occupies part of the sphere of <xref id="Ns"/> concerning the existence of <xref id="Np"/> in general</p>
132+
<p>is by its very nature contradictory</p>
133+
<p>would be falsified</p>
134+
<p>abstracts from all content of <p chance="50"><xref id="knowledge.type"/> </p>knowledge</p>
135+
<p>is a body of demonstrated science, and <xref id="quantity"/> it must be known <xref id="knowledge.type"/></p>
136+
<p>can never furnish a true and demonstrated science, because, like <xref id="Ns"/>, it <xref id="Vst"/> <xref id="judgement.type"/> principles</p>
137+
<p>can be treated like <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
138+
<p>exists in <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
139+
</ref>
140+
141+
<ref id="Vpt">
142+
<p>are what first give rise to</p>
143+
<p>have lying before them</p>
144+
<p>constitute the whole content of</p>
145+
<p>would thereby be made to contradict</p>
146+
<p>can not take account of</p>
147+
<p>have nothing to do with</p>
148+
<p>stand in need to</p>
149+
<p>are the clue to the discovery of</p>
150+
<p>prove the validity of</p>
151+
<p>are just as necessary as</p>
152+
<p>are a representation of</p>
153+
<p>exclude the possibility of</p>
154+
</ref>
155+
156+
<ref id="Vpi">
157+
<p>are the mere results of the power of <xref id="Ns"/>, a blind but indispensable function of the soul</p>
158+
<p>occupy part of the sphere of <xref id="Ns"/> concerning the existence of <xref id="Np"/> in general</p>
159+
<p>are by their very nature contradictory</p>
160+
<p>would be falsified</p>
161+
<p>abstract from all content of <p chance="50"><xref id="knowledge.type"/> </p>knowledge</p>
162+
<p>constitute a body of demonstrated doctrine, and <xref id="quantity"/> this body must be known <xref id="knowledge.type"/></p>
163+
<p>can never, as a whole, furnish a true and demonstrated science, because, like <xref id="Ns"/>, they <xref id="Vpt"/> <xref id="judgement.type"/> principles</p>
164+
<p>can be treated like <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
165+
<p>should only be used as a canon for <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
166+
<p>exist in <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
167+
</ref>
168+
169+
<ref id="intro.clause">
170+
<p>in all theoretical sciences</p>
171+
<p>in view of these considerations</p>
172+
<p>thus</p>
173+
<p>by means of <xref id="Ns"/></p>
174+
<p>in the study of <xref id="Ns"/></p>
175+
<p>therefore</p>
176+
<p>with the sole exception of <xref id="Ns"/></p>
177+
<p>certainly</p>
178+
<p>still</p>
179+
<p>as I have elsewhere shown</p>
180+
<p>on the other hand</p>
181+
<p>for these reasons</p>
182+
<p>in the case of <xref id="Ns"/></p>
183+
<p>however</p>
184+
<p>in natural theology</p>
185+
<p>consequently</p>
186+
</ref>
187+
188+
<ref id="certainty.clause">
189+
<p>it must not be supposed that</p>
190+
<p>there can be no doubt that</p>
191+
<p>we can deduce that</p>
192+
<p>it is not at all certain that</p>
193+
<p><xref id="philosopher"/> tells us that</p>
194+
<p>it remains a mystery why</p>
195+
<p>I assert<p chance="50">, <xref id="intro.clause"/>,</p> that</p>
196+
<p>to avoid all misapprehension, it is necessary to explain that</p>
197+
<p>let us suppose that</p>
198+
<p>it is obvious that</p>
199+
<p>the reader should be careful to observe that</p>
200+
<p>what we have alone been able to show is that</p>
201+
</ref>
202+
203+
<ref id="proof">
204+
<p>because of our necessary ignorance of the conditions</p>
205+
<p>as is shown in the writings of <xref id="philosopher"/></p>
206+
<p>as is proven in the ontological manuals</p>
207+
<p>as any dedicated reader can clearly see</p>
208+
<p>as is evident upon close examination</p>
209+
<p>as will easily be shown in the next section</p>
210+
<p>since knowledge of <xref id="Np"/> is <xref id="knowledge.type"/></p>
211+
<p>by virtue of <xref id="reason.type"/> reason</p>
212+
<p>as we have already seen</p>
213+
<p>since <xref id="quantity"/> <xref id="Np"/> are <xref id="judgement.type"/></p>
214+
<p>because of the relation between <xref id="Ns"/> and <xref id="Np"/></p>
215+
<p>by means of analysis</p>
216+
<p>by means of analytic unity</p>
217+
</ref>
218+
219+
<ref id="throwaway.clause">
220+
<p>in so far as this expounds the <xref id="rule.type"/> rules of <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
221+
<p>when thus treated as <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
222+
<p>in other words</p>
223+
<p>in the full sense of these terms</p>
224+
<p>insomuch as <xref id="Ns"/> relies on <xref id="Np"/></p>
225+
<p>indeed</p>
226+
<p>then</p>
227+
<p>that is to say</p>
228+
<p>even as this relates to <xref id="Ns"/></p>
229+
<p>in respect of the intelligible character</p>
230+
<p>so regarded</p>
231+
<p>for example</p>
232+
<p>irrespective of all empirical conditions</p>
233+
<p>so far as regards <xref id="Ns"/><p chance="50"> and <xref id="Np"/></p></p>
234+
<p>on the contrary</p>
235+
<p>in accordance with the principles of <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
236+
<p>in reference to ends</p>
237+
<p>in particular</p>
238+
<p>so far as I know</p>
239+
</ref>
240+
241+
<ref id="main.clause">
242+
<p><xref id="Ns"/><p chance="50"><choice><p> (and <xref id="certainty.clause"/> this is true)</p><p>, <xref id="throwaway.clause"/>,</p></choice></p> <xref id="Vst"/> <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
243+
<p><xref id="Ns"/> <xref id="Vst"/><p chance="50">, <choice><p><xref id="throwaway.clause"/></p><p><xref id="intro.clause"/></p></choice>,</p> <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
244+
<p><xref id="Ns"/><p chance="50">, <choice><p><xref id="throwaway.clause"/></p><p><xref id="intro.clause"/></p></choice>,</p> <xref id="Vsi"/></p>
245+
<p><xref id="Np"/><p chance="50"><choice><p> (and <xref id="certainty.clause"/> this is the case)</p><p>, <xref id="intro.clause"/>,</p></choice></p> <xref id="Vpt"/> <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
246+
<p><xref id="Np"/> <xref id="Vpt"/><p chance="50">, <choice><p><xref id="throwaway.clause"/></p><p><xref id="intro.clause"/></p></choice>,</p> <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice></p>
247+
<p><xref id="Np"/><p chance="50">, <choice><p><xref id="throwaway.clause"/></p><p><xref id="intro.clause"/></p></choice>,</p> <xref id="Vpi"/></p>
248+
</ref>
249+
250+
<ref id="sentence">
251+
<p class="sentence"><p chance="50"><xref id="intro.clause"/>, </p><p chance="50"><xref id="certainty.clause"/> </p><xref id="main.clause"/><p chance="50">, <xref id="proof"/></p>.</p>
252+
<p class="sentence"><p chance="50"><xref id="proof"/>, </p><p chance="50"><xref id="certainty.clause"/>, <xref id="throwaway.clause"/>, </p><xref id="main.clause"/><p chance="50">, <xref id="conjunction"/> <xref id="main.clause"/></p>.</p>
253+
<p class="sentence"><p chance="50"><xref id="proof"/>, </p><p chance="50"><xref id="certainty.clause"/> </p><xref id="main.clause"/><p chance="50">; <xref id="intro.clause"/>, <xref id="main.clause"/></p>.</p>
254+
</ref>
255+
256+
<ref id="question">
257+
<p>Whence comes <xref id="Ns"/>, the solution of which involves the relation between <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice> and <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice>?</p>
258+
<p class="sentence"><p chance="50"><xref id="intro.clause"/>, </p>is it <choice><p>true</p><p>the case</p></choice> that <xref id="Ns"/> <xref id="Vst"/> <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice>, or is the real question whether <xref id="Np"/> <xref id="Vpi"/>?</p>
259+
<p>Has it ever been suggested that<p chance="50">, <xref id="proof"/>,</p> <xref id="certainty.clause"/> there is <choice><p>no relation</p><p>a causal connection</p></choice> bewteen <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice> and <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice>?</p>
260+
<p>In which of our cognitive faculties are <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice> and <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice> connected together?</p>
261+
<p class="sentence"><xref id="conjunction"/> can I entertain <xref id="Ns"/> in thought, or does it present itself to me?</p>
262+
</ref>
263+
264+
<ref id="throwaway.sentence">
265+
<p>But we have fallen short of the necessary interconnection that we have in mind when we speak of <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice>.</p>
266+
<p>We thus have a pure synthesis of apprehension.</p>
267+
<p>And similarly with all the others.</p>
268+
<p>The question of this matter's relation to objects is not in any way under discussion.</p>
269+
<p>This distinction must have some ground in the nature of <choice><p><xref id="Ns"/></p><p><xref id="Np"/></p></choice>.</p>
270+
<p>The divisions are thus provided; all that is required is to fill them.</p>
271+
<p>This could not be passed over in a complete system of transcendental philosophy, but in a merely critical essay the simple mention of the fact may suffice.</p>
272+
<p>This is not something we are in a position to establish.</p>
273+
<p>This is the sense in which it is to be understood in this work.</p>
274+
<p>But this need not worry us.</p>
275+
<p>Let us apply this to <xref id="Ns"/>.</p>
276+
<p>But to this matter no answer is possible.</p>
277+
<p>But the proof of this is a task from which we can here be absolved.</p>
278+
<p>But at present we shall turn our attention to <xref id="Ns"/>.</p>
279+
<p>This may be clear with an example.</p>
280+
<p>I feel I have sufficiently shown this to be true.</p>
281+
<p>This is what chiefly concerns us.</p>
282+
<p>On this matter, what has been said already should in any case suffice by itself.</p>
283+
<p>In my present remarks I am referring to <xref id="Ns"/> only in so far as it is founded on <xref id="judgement.type"/> principles.</p>
284+
<p>But this is to be dismissed as random groping.</p>
285+
</ref>
286+
287+
<ref id="paragraph">
288+
<p> <xref id="sentence"/> <xref id="sentence"/> <p chance="50"><xref id="sentence"/> </p><xref id="sentence"/> <p chance="50"><xref id="sentence"/> </p><p chance="50"><xref id="question"/> </p><p chance="50"><xref id="sentence"/> </p><p chance="50"><xref id="sentence"/> </p><xref id="sentence"/> <p chance="50"><xref id="throwaway.sentence"/></p></p>
289+
<p> <xref id="sentence"/> <xref id="sentence"/> <p chance="50"><xref id="sentence"/> </p><xref id="sentence"/> <p chance="50">(<xref id="sentence"/>) </p><xref id="sentence"/> <xref id="sentence"/> <p chance="50"><xref id="throwaway.sentence"/></p></p>
290+
<p> <xref id="sentence"/> <xref id="sentence"/> <p chance="50"><xref id="sentence"/> </p><xref id="sentence"/> <p chance="50"><xref id="sentence"/> </p><p chance="50"><xref id="sentence"/> </p><p chance="50"><xref id="sentence"/> </p><xref id="sentence"/></p>
291+
</ref>
292+
293+
<ref id="section">
294+
<p><xref id="paragraph"/>
295+
<xref id="paragraph"/>
296+
<xref id="paragraph"/>
297+
<xref id="paragraph"/>
298+
<p chance="50"><xref id="paragraph"/>
299+
</p><p chance="50"><xref id="paragraph"/>
300+
</p><p chance="50"><xref id="paragraph"/>
301+
</p><p chance="50"><xref id="paragraph"/>
302+
</p><p chance="50"><xref id="paragraph"/>
303+
</p><p chance="50"><xref id="paragraph"/>
304+
</p></p>
305+
</ref>
306+
</grammar>

tests/_in/logo-stencil.png

2.56 KB

tests/_in/macpaint-dark.png

140 Bytes

tests/_in/macpaint-thatch.png

170 Bytes

tests/_in/macpaint-tile.png

157 Bytes

tests/_in/plaid.png

8.96 KB

tests/_in/superfolia.jpg

11.9 KB

tests/_in/triforce.png

377 Bytes

0 commit comments

Comments
 (0)