Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
539728a9
Commit
539728a9
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-03-04 14:39:28 by afrisch] doc
Original author: afrisch Date: 2005-03-04 14:39:28+00:00
parent
7fbd2315
Changes
4
Hide whitespace changes
Inline
Side-by-side
CHANGES
View file @
539728a9
...
...
@@ -23,7 +23,7 @@ Since 0.2.2
- Tools:
* A new tool cduce_mktop produce customized CDuce toplevels with embedded
OCaml externals.
*
validate renamed to cduce_
validate
*
Removed the
validate
tool.
- Implementation:
* Various bug fixes
...
...
Makefile.distrib
View file @
539728a9
include
Makefile.conf
VERSION
=
0.2.3b1
all
:
cduce dtd2cduce
cduce_validate
cdo2ml mlcduce_wrapper cduce_lib.cma
all
:
cduce dtd2cduce cdo2ml mlcduce_wrapper cduce_lib.cma
ifeq
($(NATIVE),true)
all
:
cduce_lib.cmxa
endif
...
...
@@ -87,7 +87,7 @@ install_bin:
@
echo
"Install binaries"
$(HIDE)
mkdir
-p
$(BINDIR)
$(HIDE)$(INSTALL)
-m755
cduce
$(EXE)
dtd2cduce
$(EXE)
\
cduce_validate
$(EXE)
cdo2ml
$(EXE)
\
cdo2ml
$(EXE)
\
mlcduce_wrapper
$(EXE)
\
cduce_mktop
$(BINDIR)
/
...
...
@@ -102,10 +102,10 @@ install_lib:
uninstall
:
rm
-f
$(BINDIR)
/cduce
$(EXE)
$(BINDIR)
/dtd2cduce
$(EXE)
\
$(BINDIR)
/cduce_validate
$(EXE)
$(BINDIR)
/cdo2ml
$(EXE)
\
$(BINDIR)
/cdo2ml
$(EXE)
\
$(BINDIR)
/mlcduce_wrapper
$(EXE)
$(BINDIR)
/cduce_mktop
rm
-f
$(MANDIR)
/man1/cduce.1
$(MANDIR)
/man1/dtd2cduce.1
\
$(MANDIR)
/man1/cduce_validate.1
$(MANDIR)
/man1/cdo2ml.1
$(MANDIR)
/man1/cdo2ml.1
rm
-Rf
$(DOCDIR)
ocamlfind remove cduce
...
...
@@ -113,7 +113,6 @@ help:
@
echo
"GOALS"
@
echo
" cduce : compiles the CDuce command line interpreter"
@
echo
" dtd2cduce : compiles the dtd2cduce tools"
@
echo
" cduce_validate : compiles the schema validation tool"
@
echo
" doc : build the documentation"
@
echo
" all : build binaries and libraries"
@
echo
" install : install binaries, man pages, documentation"
...
...
web/manual/interpreter.xml
View file @
539728a9
...
...
@@ -249,12 +249,6 @@ You can quit the toplevel with the toplevel directive
The toplevel directive
<code>
#help
</code>
prints an help message about
the available toplevel directives.
</p>
<p>
The toplevel directive
<code>
#dump_value
</code>
dump an XML-like
representation of the internal CDuce representation of the resulting
value of an expression. It should not be considered a normative
representation for CDuce values.
</p>
<p>
The toplevel directive
<code>
#env
</code>
prints the current
...
...
@@ -278,14 +272,8 @@ values and types with namespaces (see <local href="namespaces"/>).
<p>
The toplevel directive
<code>
#print_type
</code>
shows a representationo of a
CDuce type including types imported from
<local
href=
"manual_schema"
>
XML
Schema
</local>
documents.
</p>
<p>
The toplevel directive
<code>
#print_schema
</code>
shows the
<local
href=
"manual_schema"
>
XML Schema
</local>
components contained in a given
schema.
CDuce type (including types imported from
<local
href=
"manual_schema"
>
XML
Schema
</local>
documents).
</p>
<p>
...
...
web/manual/schema.xml
View file @
539728a9
...
...
@@ -237,7 +237,7 @@ let is_valid_mail (Any -> Bool)
</tr>
<tr>
<td>
<code>
decimal
</code>
,
<code>
float
</code>
,
<
/
code>
double
</code>
<code>
decimal
</code>
,
<code>
float
</code>
,
<code>
double
</code>
</td>
<td>
<code>
Float
</code>
...
...
@@ -348,7 +348,7 @@ let is_valid_mail (Any -> Bool)
where the element content is not a sequente, but a single record:
</p>
<sample>
<![CDATA[
# #print_type Mails
#
Date;;
# #print_type Mails
.
Date;;
<Date {| |}>
{
positive = Bool;
year = Int; month = Int; day = Int; hour = Int;
...
...
@@ -357,7 +357,7 @@ let is_valid_mail (Any -> Bool)
}
]]>
</sample>
<p>
XML Schema wildcards (
<tt>
xsd:any
</tt>
)
and nullable elements (
<tt>
xsi:nil
<
/tt) are supported.
</p>
and nullable elements (
<tt>
xsi:nil
</tt
>
) are supported.
</p>
</li>
<li>
<p>
...
...
@@ -596,7 +596,7 @@ val xml : Any = <ignored_tag From="fake@microsoft.com">[
val record : {| name = [ 'User-Agent' ]; added_by = [ 'mutt' ] |}
=
{ name="User-Agent"; added_by="mutt" }
# validate record with Mails
#
name ;;
# validate record with Mails
.
name ;;
- : { name = String } = { name="User-Agent"; added_by="mutt" }
]]></sample>
</li>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment