blob: ff7c1f5fad0dde3188ba29359576b9a42725823c (
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
|
abstract Editor = {
flags startcat = Sentence ;
coding = utf8 ;
cat
Sentence ;
Verb ;
Noun ;
Adjective ;
Determiner ;
fun
-- Sentences
SingleWordCommand : Verb -> Sentence ;
Command : Verb -> Determiner -> Adjective -> Noun -> Sentence ;
RandomlyCommand : Verb -> Determiner -> Noun -> Sentence ;
Label : Noun -> Sentence ;
ErrorMessage : Adjective -> Noun -> Sentence ;
-- Verbs
Undo : Verb ;
Redo : Verb ;
Cut : Verb ;
Copy : Verb ;
Paste : Verb ;
Delete : Verb ;
Refine : Verb ;
Replace : Verb ;
Wrap : Verb ;
Select : Verb ;
Enter : Verb ;
Show : Verb ;
-- Nouns
Language : Noun ;
Node : Noun ;
Tree : Noun ;
Refinement : Noun ;
Wrapper : Noun ;
String : Noun ;
Page : Noun ;
Danish : Noun ;
English : Noun ;
Finnish : Noun ;
French : Noun ;
German : Noun ;
Italian : Noun ;
Norwegian : Noun ;
Russian : Noun ;
Spanish : Noun ;
Swedish : Noun ;
-- Adjectives
NoAdj : Adjective ;
Available : Adjective ;
Next : Adjective ;
Previous : Adjective ;
-- Determiners
DefSgDet : Determiner ;
DefPlDet : Determiner ;
IndefSgDet : Determiner ;
IndefPlDet : Determiner ;
This : Determiner ;
}
|
