Skip to content

Commit

Permalink
Deploying to gh-pages from @ 8b26d76 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
nberth committed Aug 9, 2024
1 parent ff5f737 commit 1ac542d
Show file tree
Hide file tree
Showing 19 changed files with 48 additions and 45 deletions.
6 changes: 1 addition & 5 deletions doc/cobol_parser/Cobol_parser/INTERNAL/index.html
Original file line number Diff line number Diff line change
@@ -1,6 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>INTERNAL (cobol_parser.Cobol_parser.INTERNAL)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../../index.html">cobol_parser</a> &#x00BB; <a href="../index.html">Cobol_parser</a> &#x00BB; INTERNAL</nav><header class="odoc-preamble"><h1>Module <code><span>Cobol_parser.INTERNAL</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#cobol-tokens">COBOL tokens</a></li><li><a href="#cobol-grammar">COBOL grammar</a></li><li><a href="#dummy-parser">Dummy parser</a></li></ul></nav><div class="odoc-content"><h3 id="cobol-tokens"><a href="#cobol-tokens" class="anchor"></a>COBOL tokens</h3><div class="odoc-spec"><div class="spec value anchored" id="val-pp_token"><a href="#val-pp_token" class="anchor"></a><code><span><span class="keyword">val</span> pp_token :
<span><span><span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span> <a href="../../../cobol_ptree/Cobol_ptree/index.html#type-with_loc">Cobol_ptree.with_loc</a></span> <a href="../../../pretty/Pretty/index.html#type-printer">Pretty.printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_tokens"><a href="#val-pp_tokens" class="anchor"></a><code><span><span class="keyword">val</span> pp_tokens :
<span><span><span><span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span> <a href="../../../cobol_ptree/Cobol_ptree/index.html#type-with_loc">Cobol_ptree.with_loc</a></span> list</span> <a href="../../../pretty/Pretty/index.html#type-printer">Pretty.printer</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_tokens'"><a href="#val-pp_tokens'" class="anchor"></a><code><span><span class="keyword">val</span> pp_tokens' :
<span><span class="optlabel">?fsep</span>:<a href="../../../pretty/Pretty/index.html#type-simple">Pretty.simple</a> <span class="arrow">&#45;&gt;</span></span>
<span><span><span><span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span> <a href="../../../cobol_ptree/Cobol_ptree/index.html#type-with_loc">Cobol_ptree.with_loc</a></span> list</span> <a href="../../../pretty/Pretty/index.html#type-printer">Pretty.printer</a></span></span></code></div></div><h3 id="cobol-grammar"><a href="#cobol-grammar" class="anchor"></a>COBOL grammar</h3><div class="odoc-spec"><div class="spec module anchored" id="module-Grammar"><a href="#module-Grammar" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Grammar/index.html">Grammar</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><h3 id="dummy-parser"><a href="#dummy-parser" class="anchor"></a>Dummy parser</h3><div class="odoc-spec"><div class="spec module anchored" id="module-Dummy"><a href="#module-Dummy" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Dummy/index.html">Dummy</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Parser with dummy source locations, that can be fed directly with a list of tokens</p></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>INTERNAL (cobol_parser.Cobol_parser.INTERNAL)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../../index.html">cobol_parser</a> &#x00BB; <a href="../index.html">Cobol_parser</a> &#x00BB; INTERNAL</nav><header class="odoc-preamble"><h1>Module <code><span>Cobol_parser.INTERNAL</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#cobol-grammar">COBOL grammar</a></li><li><a href="#dummy-parser">Dummy parser</a></li></ul></nav><div class="odoc-content"><h3 id="cobol-grammar"><a href="#cobol-grammar" class="anchor"></a>COBOL grammar</h3><div class="odoc-spec"><div class="spec module anchored" id="module-Grammar"><a href="#module-Grammar" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Grammar/index.html">Grammar</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><h3 id="dummy-parser"><a href="#dummy-parser" class="anchor"></a>Dummy parser</h3><div class="odoc-spec"><div class="spec module anchored" id="module-Dummy"><a href="#module-Dummy" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Dummy/index.html">Dummy</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Parser with dummy source locations, that can be fed directly with a list of tokens</p></div></div></div></body></html>
2 changes: 1 addition & 1 deletion doc/cobol_parser/Cobol_parser/Keywords/index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Keywords (cobol_parser.Cobol_parser.Keywords)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../../index.html">cobol_parser</a> &#x00BB; <a href="../index.html">Cobol_parser</a> &#x00BB; Keywords</nav><header class="odoc-preamble"><h1>Module <code><span>Cobol_parser.Keywords</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-keywords"><a href="#val-keywords" class="anchor"></a><code><span><span class="keyword">val</span> keywords : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div><div class="spec-doc"><p>Mapping from keywords to their respective tokens</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-combined_keywords"><a href="#val-combined_keywords" class="anchor"></a><code><span><span class="keyword">val</span> combined_keywords : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-intrinsic_functions"><a href="#val-intrinsic_functions" class="anchor"></a><code><span><span class="keyword">val</span> intrinsic_functions : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div><div class="spec-doc"><p>Mapping from intrinsic functions name to their respective tokens</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-silenced_keywords"><a href="#val-silenced_keywords" class="anchor"></a><code><span><span class="keyword">val</span> silenced_keywords : <span>string list</span></span></code></div><div class="spec-doc"><p>Set of <em>inhibited</em> keywords</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-puncts"><a href="#val-puncts" class="anchor"></a><code><span><span class="keyword">val</span> puncts : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div><div class="spec-doc"><p>Mapping from punctuations to their respective tokens</p></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Keywords (cobol_parser.Cobol_parser.Keywords)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a><a href="../../index.html">cobol_parser</a> &#x00BB; <a href="../index.html">Cobol_parser</a> &#x00BB; Keywords</nav><header class="odoc-preamble"><h1>Module <code><span>Cobol_parser.Keywords</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-keywords"><a href="#val-keywords" class="anchor"></a><code><span><span class="keyword">val</span> keywords : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div><div class="spec-doc"><p>Mapping from keywords to their respective tokens</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-combined_keywords"><a href="#val-combined_keywords" class="anchor"></a><code><span><span class="keyword">val</span> combined_keywords : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-intrinsic_functions"><a href="#val-intrinsic_functions" class="anchor"></a><code><span><span class="keyword">val</span> intrinsic_functions : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div><div class="spec-doc"><p>Mapping from intrinsic functions name to their respective tokens</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-silenced_keywords"><a href="#val-silenced_keywords" class="anchor"></a><code><span><span class="keyword">val</span> silenced_keywords : <span>string list</span></span></code></div><div class="spec-doc"><p>Set of <em>inhibited</em> keywords</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-puncts"><a href="#val-puncts" class="anchor"></a><code><span><span class="keyword">val</span> puncts : <span><span>(string * <span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span>)</span> list</span></span></code></div><div class="spec-doc"><p>Mapping from punctuations to their respective tokens</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_known_intrinsic_token"><a href="#val-is_known_intrinsic_token" class="anchor"></a><code><span><span class="keyword">val</span> is_known_intrinsic_token : <span><span class="xref-unresolved">Cobol_parser__.Grammar_tokens.token</span> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div></div></body></html>
9 changes: 8 additions & 1 deletion doc/cobol_parser/Cobol_parser/Tokens/index.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion sphinx/.buildinfo
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Sphinx build info version 1
# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
config: 52e489285427cad97500437329482714
config: 90036a4d7a208591d40380d6514b2ade
tags: 645f666f9bcd5a90fca523b33c5a78b7
Binary file modified sphinx/.doctrees/environment.pickle
Binary file not shown.
2 changes: 1 addition & 1 deletion sphinx/_static/documentation_options.js
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
var DOCUMENTATION_OPTIONS = {
URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
VERSION: 'master (4b3926a) (2024/08/08 09:37)',
VERSION: 'master (8b26d76) (2024/08/09 08:27)',
LANGUAGE: 'en',
COLLAPSE_INDEX: false,
BUILDER: 'html',
Expand Down
6 changes: 3 additions & 3 deletions sphinx/about.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>About SuperBOL &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/building-superbol.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Building SuperBOL from Sources &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/commands.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Sub-commands and Arguments &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/debug.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>SuperBOL VSCode Debug &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/emacs.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>SuperBOL mode for GNU/Emacs &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/genindex.html
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Index &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -29,7 +29,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Welcome to SuperBOL Studio OSS &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -31,7 +31,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/installing-superbol-vsix.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Installing the SuperBOL VSCode extension &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/license.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Copyright and License &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -31,7 +31,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/lsp.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>SuperBOL LSP Server &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
Binary file modified sphinx/objects.inv
Binary file not shown.
6 changes: 3 additions & 3 deletions sphinx/search.html
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Search &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down
6 changes: 3 additions & 3 deletions sphinx/vscode-extension.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>SuperBOL VSCode Extension &mdash; superbol-studio-oss master
(4b3926a
) (2024/08/08 09:37) documentation</title>
(8b26d76
) (2024/08/09 08:27) documentation</title>
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/css/fixes.css" type="text/css" />
Expand All @@ -32,7 +32,7 @@
</a>
<div class="version">
master
(4b3926a
(8b26d76
)
</div>
<div role="search">
Expand Down

0 comments on commit 1ac542d

Please sign in to comment.