Skip to content

Commit 095badc

Browse files
pthompthom
committed
update manual / RegexOrMatcher
1 parent 777ea82 commit 095badc

20 files changed

+1997
-1947
lines changed

‎docs/litgen_book/01_05_05_online.html‎

Lines changed: 32 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -563,7 +563,7 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
563563
</style>
564564

565565
<script>
566-
function copy_code_1757092507793_7942() {
566+
function copy_code_1757104145974_632() {
567567
let code = `#################### <generated_from:BoxedTypes> ####################
568568
class BoxedBool:
569569
value: bool
@@ -633,10 +633,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
633633
navigator.clipboard.writeText(code);
634634
}
635635
</script>
636-
<button class="collapsible_header" id="btn_1757092507793_7942_0" >Corresponding python decls (stub)</button>
637-
<div class="collapsible_content" id="content_1757092507793_7942_0">
636+
<button class="collapsible_header" id="btn_1757104145974_632_0" >Corresponding python decls (stub)</button>
637+
<div class="collapsible_content" id="content_1757104145974_632_0">
638638
<div>
639-
<button onclick="copy_code_1757092507793_7942()" align="right">copy &#x270d;</button>
639+
<button onclick="copy_code_1757104145974_632()" align="right">copy &#x270d;</button>
640640
</div>
641641
<style>pre { line-height: 125%; }
642642
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
@@ -778,10 +778,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
778778
</div>
779779

780780
<script>
781-
var button = document.getElementById("btn_1757092507793_7942_0");
781+
var button = document.getElementById("btn_1757104145974_632_0");
782782
button.addEventListener("click", function() {
783783
this.classList.toggle("collapsible_header_opened");
784-
var content = document.getElementById("content_1757092507793_7942_0");
784+
var content = document.getElementById("content_1757104145974_632_0");
785785
if (content.style.maxHeight){
786786
content.style.maxHeight = null;
787787
} else {
@@ -791,9 +791,9 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
791791
</script>
792792

793793
<script>
794-
var collapsible_header = document.getElementById("btn_1757092507793_7942_0");
794+
var collapsible_header = document.getElementById("btn_1757104145974_632_0");
795795
collapsible_header.classList.toggle("collapsible_header_opened");
796-
var collapsible_content = document.getElementById("content_1757092507793_7942_0");
796+
var collapsible_content = document.getElementById("content_1757104145974_632_0");
797797
collapsible_content.style.maxHeight = "80em";
798798
</script>
799799
<br/>
@@ -842,7 +842,7 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
842842
</style>
843843

844844
<script>
845-
function copy_code_1757092507800_6301() {
845+
function copy_code_1757104145981_499() {
846846
let code = `//////////////////// <generated_from:BoxedTypes> ////////////////////
847847
auto pyClassBoxedBool =
848848
py::class_<BoxedBool>
@@ -920,10 +920,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
920920
navigator.clipboard.writeText(code);
921921
}
922922
</script>
923-
<button class="collapsible_header" id="btn_1757092507800_6301_1" >pybind11 C++ binding code</button>
924-
<div class="collapsible_content" id="content_1757092507800_6301_1">
923+
<button class="collapsible_header" id="btn_1757104145981_499_1" >pybind11 C++ binding code</button>
924+
<div class="collapsible_content" id="content_1757104145981_499_1">
925925
<div>
926-
<button onclick="copy_code_1757092507800_6301()" align="right">copy &#x270d;</button>
926+
<button onclick="copy_code_1757104145981_499()" align="right">copy &#x270d;</button>
927927
</div>
928928
<style>pre { line-height: 125%; }
929929
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
@@ -1073,10 +1073,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
10731073
</div>
10741074

10751075
<script>
1076-
var button = document.getElementById("btn_1757092507800_6301_1");
1076+
var button = document.getElementById("btn_1757104145981_499_1");
10771077
button.addEventListener("click", function() {
10781078
this.classList.toggle("collapsible_header_opened");
1079-
var content = document.getElementById("content_1757092507800_6301_1");
1079+
var content = document.getElementById("content_1757104145981_499_1");
10801080
if (content.style.maxHeight){
10811081
content.style.maxHeight = null;
10821082
} else {
@@ -1086,9 +1086,9 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
10861086
</script>
10871087

10881088
<script>
1089-
var collapsible_header = document.getElementById("btn_1757092507800_6301_1");
1089+
var collapsible_header = document.getElementById("btn_1757104145981_499_1");
10901090
collapsible_header.classList.toggle("collapsible_header_opened");
1091-
var collapsible_content = document.getElementById("content_1757092507800_6301_1");
1091+
var collapsible_content = document.getElementById("content_1757104145981_499_1");
10921092
collapsible_content.style.maxHeight = "80em";
10931093
</script>
10941094

@@ -1137,7 +1137,7 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
11371137
</style>
11381138

11391139
<script>
1140-
function copy_code_1757092507803_21() {
1140+
function copy_code_1757104145984_095() {
11411141
let code = `//////////////////// <generated_from:BoxedTypes> ////////////////////
11421142
auto pyClassBoxedBool =
11431143
nb::class_<BoxedBool>
@@ -1214,10 +1214,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
12141214
navigator.clipboard.writeText(code);
12151215
}
12161216
</script>
1217-
<button class="collapsible_header" id="btn_1757092507803_21_2" >nanobind C++ binding code</button>
1218-
<div class="collapsible_content" id="content_1757092507803_21_2">
1217+
<button class="collapsible_header" id="btn_1757104145984_095_2" >nanobind C++ binding code</button>
1218+
<div class="collapsible_content" id="content_1757104145984_095_2">
12191219
<div>
1220-
<button onclick="copy_code_1757092507803_21()" align="right">copy &#x270d;</button>
1220+
<button onclick="copy_code_1757104145984_095()" align="right">copy &#x270d;</button>
12211221
</div>
12221222
<style>pre { line-height: 125%; }
12231223
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
@@ -1366,10 +1366,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
13661366
</div>
13671367

13681368
<script>
1369-
var button = document.getElementById("btn_1757092507803_21_2");
1369+
var button = document.getElementById("btn_1757104145984_095_2");
13701370
button.addEventListener("click", function() {
13711371
this.classList.toggle("collapsible_header_opened");
1372-
var content = document.getElementById("content_1757092507803_21_2");
1372+
var content = document.getElementById("content_1757104145984_095_2");
13731373
if (content.style.maxHeight){
13741374
content.style.maxHeight = null;
13751375
} else {
@@ -1379,9 +1379,9 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
13791379
</script>
13801380

13811381
<script>
1382-
var collapsible_header = document.getElementById("btn_1757092507803_21_2");
1382+
var collapsible_header = document.getElementById("btn_1757104145984_095_2");
13831383
collapsible_header.classList.toggle("collapsible_header_opened");
1384-
var collapsible_content = document.getElementById("content_1757092507803_21_2");
1384+
var collapsible_content = document.getElementById("content_1757104145984_095_2");
13851385
collapsible_content.style.maxHeight = "80em";
13861386
</script>
13871387
<br/>
@@ -1430,7 +1430,7 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
14301430
</style>
14311431

14321432
<script>
1433-
function copy_code_1757092507803_781() {
1433+
function copy_code_1757104145984_722() {
14341434
let code = `struct BoxedBool
14351435
{
14361436
bool value;
@@ -1441,10 +1441,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
14411441
navigator.clipboard.writeText(code);
14421442
}
14431443
</script>
1444-
<button class="collapsible_header" id="btn_1757092507803_781_3" >C++ glue code</button>
1445-
<div class="collapsible_content" id="content_1757092507803_781_3">
1444+
<button class="collapsible_header" id="btn_1757104145984_722_3" >C++ glue code</button>
1445+
<div class="collapsible_content" id="content_1757104145984_722_3">
14461446
<div>
1447-
<button onclick="copy_code_1757092507803_781()" align="right">copy &#x270d;</button>
1447+
<button onclick="copy_code_1757104145984_722()" align="right">copy &#x270d;</button>
14481448
</div>
14491449
<style>pre { line-height: 125%; }
14501450
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
@@ -1527,10 +1527,10 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
15271527
</div>
15281528

15291529
<script>
1530-
var button = document.getElementById("btn_1757092507803_781_3");
1530+
var button = document.getElementById("btn_1757104145984_722_3");
15311531
button.addEventListener("click", function() {
15321532
this.classList.toggle("collapsible_header_opened");
1533-
var content = document.getElementById("content_1757092507803_781_3");
1533+
var content = document.getElementById("content_1757104145984_722_3");
15341534
if (content.style.maxHeight){
15351535
content.style.maxHeight = null;
15361536
} else {
@@ -1540,9 +1540,9 @@ <h1>Use litgen online<a class="headerlink" href="#use-litgen-online" title="Perm
15401540
</script>
15411541

15421542
<script>
1543-
var collapsible_header = document.getElementById("btn_1757092507803_781_3");
1543+
var collapsible_header = document.getElementById("btn_1757104145984_722_3");
15441544
collapsible_header.classList.toggle("collapsible_header_opened");
1545-
var collapsible_content = document.getElementById("content_1757092507803_781_3");
1545+
var collapsible_content = document.getElementById("content_1757104145984_722_3");
15461546
collapsible_content.style.maxHeight = "80em";
15471547
</script>
15481548
</div></div>

0 commit comments

Comments
 (0)