-
Notifications
You must be signed in to change notification settings - Fork 19
/
toc.xml
127 lines (127 loc) · 6.47 KB
/
toc.xml
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
126
127
<?xml version="1.0" encoding="ISO-8859-1" ?>
<toc topic="contents/00-Main.html" label="Xsemantics Documentation" >
<topic href="contents/00-Main_12.html#Xsemantics%20Documentation_12" label="Reference Documentation" >
<topic href="contents/01-Introduction.html#Introduction" label="Introduction" >
</topic>
<topic href="contents/02-GettingStarted.html#GettingStarted" label="Getting Started" >
<topic href="contents/02-GettingStarted.html#Install" label="Installation of Xsemantics" >
<topic href="contents/02-GettingStarted.html#Sources" label="Sources" >
</topic>
</topic>
<topic href="contents/02-GettingStarted.html#UsingXsemantics" label="Using Xsemantics" >
</topic>
<topic href="contents/02-GettingStarted.html#UsingXsemanticsMaven" label="Using Xsemantics in Maven builds" >
</topic>
</topic>
<topic href="contents/XsemanticsSyntax.html#Syntax" label="Xsemantics Syntax" >
<topic href="contents/XsemanticsSyntax.html#Imports" label="Imports" >
</topic>
<topic href="contents/XsemanticsSyntax.html#Copyright" label="Copyright" >
</topic>
<topic href="contents/XsemanticsSyntax.html#Fields" label="Fields" >
</topic>
<topic href="contents/XsemanticsSyntax.html#Judgments" label="Judgments" >
</topic>
<topic href="contents/XsemanticsSyntax.html#Premises" label="Premises" >
<topic href="contents/XsemanticsSyntax.html#OrBlocks" label="Or Blocks" >
</topic>
<topic href="contents/XsemanticsSyntax.html#ExpressionsInPremises" label="Expressions in Premises" >
</topic>
<topic href="contents/XsemanticsSyntax.html#RuleInvocations" label="Rule Invocations" >
</topic>
<topic href="contents/XsemanticsSyntax.html#Environment" label="Rule Environment" >
</topic>
<topic href="contents/XsemanticsSyntax.html#ErrorSpecification" label="Error Specification" >
</topic>
<topic href="contents/XsemanticsSyntax.html#ExplicitFailure" label="Explicit Failure" >
</topic>
<topic href="contents/XsemanticsSyntax.html#PreviousFailure" label="Accessing Previous Failure of an Or Block" >
</topic>
<topic href="contents/XsemanticsSyntax.html#StringRepresentation" label="String Representation" >
</topic>
<topic href="contents/XsemanticsSyntax.html#GetAll" label="Graph Closures (getAll)" >
</topic>
</topic>
<topic href="contents/XsemanticsSyntax.html#Auxiliary" label="Auxiliary Functions" >
</topic>
<topic href="contents/XsemanticsSyntax.html#CheckRules" label="Rules for Validator: checkrule" >
</topic>
<topic href="contents/XsemanticsSyntax.html#SystemExtension" label="Extend another System" >
</topic>
<topic href="contents/XsemanticsSyntax.html#CodeGeneration" label="Generated Code" >
<topic href="contents/XsemanticsSyntax.html#GeneratedPackage" label="The Generated Java Packages" >
</topic>
<topic href="contents/XsemanticsSyntax.html#GeneratedSystem" label="The Generated Java Rule System" >
</topic>
<topic href="contents/XsemanticsSyntax.html#GeneratedValidator" label="The Generated Java Validator" >
<topic href="contents/XsemanticsSyntax.html#validatorExtends" label="The validatorExtends clause" >
</topic>
<topic href="contents/XsemanticsSyntax.html#withoutValidatorExtends" label="Without the validatorExtends clause" >
</topic>
</topic>
<topic href="contents/XsemanticsSyntax.html#ErrorGeneration" label="Error Marker Generation" >
</topic>
</topic>
<topic href="contents/XsemanticsSyntax.html#Caching" label="Automatic Caching" >
</topic>
</topic>
</topic>
<topic href="contents/00-Main_13.html#Xsemantics%20Documentation_13" label="Examples" >
<topic href="contents/Examples.html#Examples" label="Examples" >
</topic>
<topic href="contents/Expressions-example.html#Expressions" label="An Expression Language" >
<topic href="contents/Expressions-example.html#ExpressionsTS" label="Expressions Type System" >
<topic href="contents/Expressions-example.html#ExpressionsInfer" label="Type Inference for Variables" >
</topic>
</topic>
<topic href="contents/Expressions-example.html#ExpressionsValidation" label="Expressions Validation" >
</topic>
<topic href="contents/Expressions-example.html#ExpressionsInterpreter" label="Interpreter for Expressions" >
</topic>
<topic href="contents/Expressions-example.html#ExpressionsCustomization" label="Customizations for Expressions" >
</topic>
<topic href="contents/Expressions-example.html#MoreInvolvedExpressionsSystem" label="A more involved Expressions System" >
</topic>
<topic href="contents/Expressions-example.html#ExpressionsCodeGeneration" label="Generation for Expressions" >
</topic>
</topic>
<topic href="contents/FJ-example.html#FJ" label="Featherweight Java" >
<topic href="contents/FJ-example.html#FJInANutshell" label="FJ in a nutshell" >
</topic>
<topic href="contents/FJ-example.html#FJInXtext" label="FJ implemented in Xtext" >
</topic>
<topic href="contents/FJ-example.html#FJTypeSystem" label="FJ Type System" >
<topic href="contents/FJ-example.html#FJTyping" label="Typing FJ Expressions" >
</topic>
<topic href="contents/FJ-example.html#FJScoping" label="FJ Scoping" >
</topic>
<topic href="contents/FJ-example.html#FJSubTyping" label="FJ Subtyping" >
</topic>
</topic>
<topic href="contents/FJ-example.html#FJValidation" label="FJ Validation" >
</topic>
<topic href="contents/FJ-example.html#FJReduction" label="FJ Operational Semantics" >
</topic>
</topic>
<topic href="contents/Lambda-example.html#Lambda" label="Lambda" >
<topic href="contents/Lambda-example.html#LambdaInANutshell" label="Lambda in a nutshell" >
</topic>
<topic href="contents/Lambda-example.html#LambdaInXtext" label="Lambda implemented in Xtext" >
</topic>
<topic href="contents/Lambda-example.html#LambdaTypeSystem" label="Lambda Type Inference" >
<topic href="contents/Lambda-example.html#WhyCloning" label="Why Cloning?" >
</topic>
</topic>
<topic href="contents/Lambda-example.html#LambdaChecking" label="Lambda Type Checking" >
</topic>
<topic href="contents/Lambda-example.html#LambdaCustomization" label="Customizations for Lambda" >
</topic>
<topic href="contents/Lambda-example.html#LambdaTypeInferenceIDE" label="Use of Type Inference in the IDE" >
</topic>
</topic>
</topic>
<topic href="contents/00-Main_14.html#Xsemantics%20Documentation_14" label="Appendix" >
<topic href="contents/GettingSources.html#GettingSources" label="Getting Sources" >
</topic>
</topic>
</toc>