From 84e55d78be1f2a8547ed673153740fb328ec8852 Mon Sep 17 00:00:00 2001
From: vczh <vczh@outlook.com>
Date: Sat, 20 Jul 2024 20:15:21 -0700
Subject: [PATCH] Update website

---
 doc/current/home.html                |    2 +-
 doc/current/home/download.html       |    2 +-
 doc/current/home/dsl.html            |  124 ++-
 doc/current/home/dsl_reflection.html |  824 ++++++++++++++++
 doc/current/home/dsl_regex.html      | 1344 ++++++++++++++++++++++++++
 doc/current/home/dsl_unittest.html   |  596 ++++++++++++
 doc/current/home/mt.html             |    2 +-
 doc/current/home/registered.html     |    2 +-
 8 files changed, 2861 insertions(+), 35 deletions(-)
 create mode 100644 doc/current/home/dsl_reflection.html
 create mode 100644 doc/current/home/dsl_regex.html
 create mode 100644 doc/current/home/dsl_unittest.html

diff --git a/doc/current/home.html b/doc/current/home.html
index ad1a24108..1c298c81b 100644
--- a/doc/current/home.html
+++ b/doc/current/home.html
@@ -64,7 +64,7 @@
           ]
         },
         {
-          "icon": " ",
+          "icon": "+",
           "name": "Domain Specific Languages",
           "selected": false,
           "path": [
diff --git a/doc/current/home/download.html b/doc/current/home/download.html
index c8dca1854..e209a7832 100644
--- a/doc/current/home/download.html
+++ b/doc/current/home/download.html
@@ -65,7 +65,7 @@
           ]
         },
         {
-          "icon": " ",
+          "icon": "+",
           "name": "Domain Specific Languages",
           "selected": false,
           "path": [
diff --git a/doc/current/home/dsl.html b/doc/current/home/dsl.html
index bfda50dc4..5ac75729a 100644
--- a/doc/current/home/dsl.html
+++ b/doc/current/home/dsl.html
@@ -65,12 +65,41 @@
           ]
         },
         {
-          "icon": " ",
+          "icon": "-",
           "name": "Domain Specific Languages",
           "selected": true,
           "path": [
             "home",
             "dsl"
+          ],
+          "subNodes": [
+            {
+              "icon": " ",
+              "name": "Regular Expression",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_regex"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Reflectable Type Registrations",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_reflection"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Unit Test Framework (Vlpp)",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_unittest"
+              ]
+            }
           ]
         },
         {
@@ -98,16 +127,7 @@
         "content": [
           {
             "kind": "Text",
-            "text": "\n            Domain specific languages are widely used in this library.\n            Here is a complete list of them.\n        "
-          }
-        ]
-      },
-      {
-        "kind": "Paragraph",
-        "content": [
-          {
-            "kind": "Text",
-            "text": "\n            This page is under construction,\n            detailed explanation will be completed later.\n            The syntax of DSL are written in comments of classes listed here:\n        "
+            "text": "\n            Domain specific languages are widely used in this library.\n            Here is a complete list of them.\n            For any topic without documentation,\n            the syntax is commented in the class listed below:\n        "
           }
         ]
       },
@@ -125,8 +145,14 @@
                     "kind": "Strong",
                     "content": [
                       {
-                        "kind": "Text",
-                        "text": "Collection Operations"
+                        "kind": "PageLink",
+                        "href": "/vlpp/home.html#Containers-and-collections-operations",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "Collection Operations"
+                          }
+                        ]
                       }
                     ]
                   },
@@ -152,21 +178,27 @@
                     "kind": "Strong",
                     "content": [
                       {
-                        "kind": "Text",
-                        "text": "Unit Test Framework"
+                        "kind": "PageLink",
+                        "href": "./dsl_regex.html",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "Regular Expression"
+                          }
+                        ]
                       }
                     ]
                   },
                   {
                     "kind": "Text",
-                    "text": ": vl::unittest::UnitTest "
+                    "text": ": vl::regex::Regex_<T> "
                   },
                   {
                     "kind": "Strong",
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "(Vlpp)"
+                        "text": "(VlppRegex)"
                       }
                     ]
                   }
@@ -179,21 +211,27 @@
                     "kind": "Strong",
                     "content": [
                       {
-                        "kind": "Text",
-                        "text": "Regular Expression"
+                        "kind": "PageLink",
+                        "href": "./dsl_reflection.html",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "Reflectable Type Registrations"
+                          }
+                        ]
                       }
                     ]
                   },
                   {
                     "kind": "Text",
-                    "text": ": vl::regex::Regex_<T> "
+                    "text": ": vl::reflection::Description<T> "
                   },
                   {
                     "kind": "Strong",
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "(VlppRegex)"
+                        "text": "(VlppReflection)"
                       }
                     ]
                   }
@@ -207,20 +245,20 @@
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "eflectable Type Registrations"
+                        "text": "Parser Grammar File Format (deprecated)"
                       }
                     ]
                   },
                   {
                     "kind": "Text",
-                    "text": ": vl::reflection::Description<T> "
+                    "text": ": vl::parsing::tabling::ParsingTable "
                   },
                   {
                     "kind": "Strong",
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "(VlppReflection)"
+                        "text": "(VlppParser)"
                       }
                     ]
                   }
@@ -234,20 +272,20 @@
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "Parser Grammar File Format (deprecated)"
+                        "text": "Parser Grammar File Format"
                       }
                     ]
                   },
                   {
                     "kind": "Text",
-                    "text": ": vl::parsing::tabling::ParsingTable "
+                    "text": ": (under construction) "
                   },
                   {
                     "kind": "Strong",
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "(VlppParser)"
+                        "text": "(VlppParser2)"
                       }
                     ]
                   }
@@ -260,23 +298,47 @@
                     "kind": "Strong",
                     "content": [
                       {
-                        "kind": "Text",
-                        "text": "Parser Grammar File Format"
+                        "kind": "PageLink",
+                        "href": "./dsl_unittest.html",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "Unit Test Framework (Vlpp)"
+                          }
+                        ]
                       }
                     ]
                   },
                   {
                     "kind": "Text",
-                    "text": ": (under construction) "
+                    "text": ": vl::unittest::UnitTest "
                   },
                   {
                     "kind": "Strong",
                     "content": [
                       {
                         "kind": "Text",
-                        "text": "(VlppParser2)"
+                        "text": "(Vlpp)"
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "Unit Test Framework (GacUI)"
                       }
                     ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": ": (under development)"
                   }
                 ]
               }
diff --git a/doc/current/home/dsl_reflection.html b/doc/current/home/dsl_reflection.html
new file mode 100644
index 000000000..c3d6a9aee
--- /dev/null
+++ b/doc/current/home/dsl_reflection.html
@@ -0,0 +1,824 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta charset="utf-8">
+<title>Reflectable Type Registrations -- GPU Accelerated C++ User Interface (vczh)</title>
+<link rel="shortcut icon" href="../favicon.ico">
+<link rel="stylesheet" type="text/css" href="../global.css">
+<link rel="stylesheet" type="text/css" href="../article.css">
+<script src="../scripts/rootView.js"></script>
+<script src="../scripts/directoryView.js"></script>
+<script src="../scripts/articleView.js"></script>
+
+</head>
+<body>
+<div id="MVC-ViewContainer"></div>
+<script lang="javascript">
+{
+  const mvcModel = {
+  "path": [
+    "home",
+    "dsl_reflection"
+  ]
+};
+  const mvcViews = [
+  {
+    "targetObject": "MVC-ViewContainer",
+    "viewName": "Gaclib-RootView"
+  },
+  {
+    "targetObject": "rootViewContainer",
+    "viewName": "Gaclib-DirectoryView"
+  },
+  {
+    "targetObject": "directoryViewContainer",
+    "viewName": "Gaclib-ArticleView"
+  }
+];
+  const hrefPrefix = "/doc/current";
+  const directoryInfo = {
+  "subNodes": [
+    {
+      "icon": "-",
+      "name": "Gaclib Document",
+      "selected": false,
+      "path": [
+        "home"
+      ],
+      "subNodes": [
+        {
+          "icon": "-",
+          "name": "Domain Specific Languages",
+          "selected": false,
+          "path": [
+            "home",
+            "dsl"
+          ],
+          "subNodes": [
+            {
+              "icon": " ",
+              "name": "Regular Expression",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_regex"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Reflectable Type Registrations",
+              "selected": true,
+              "path": [
+                "home",
+                "dsl_reflection"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Unit Test Framework (Vlpp)",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_unittest"
+              ]
+            }
+          ]
+        }
+      ]
+    }
+  ]
+};
+  const article = {
+  "index": false,
+  "numberBeforeTitle": false,
+  "topic": {
+    "kind": "Topic",
+    "title": "Reflectable Type Registrations",
+    "content": [
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            Inherit from this class when you want to create a reflectable class.\n            It should be used like this:\n            "
+          },
+          {
+            "kind": "Program",
+            "code": "class YourClass : public Description<YourClass>\r\n{\r\n    ..\r\n};"
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            If you want YourClass to be inheritable in scripts,\n            instead of using Description,\n            you should use "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "AggregatableDescription<T>"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ">, like this:\n            "
+          },
+          {
+            "kind": "Program",
+            "code": "class YourClass : public AggregatableDescription<YourClass>\r\n{\r\n    ~YourClass()\r\n    {\r\n        FinalizeAggregation();\r\n    }\r\n};"
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            After you complete your type,\n            use the following macros and functions to register your class into the global type table.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            Some of the predefined type has already been registered.\n            If your types depend on these types, you should load those types by calling some or all of them:\n            "
+          },
+          {
+            "kind": "List",
+            "ordered": false,
+            "items": [
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Text",
+                    "text": "[F:vl.reflection.description.LoadPredefinedTypes]"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Text",
+                    "text": "[F:vl.reflection.description.LoadParsingTypes]"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Text",
+                    "text": "[F:vl.reflection.description.JsonLoadTypes]"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Text",
+                    "text": "[F:vl.reflection.description.XmlLoadTypes]"
+                  }
+                ]
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": "\n            But if you link "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "GacUIReflection.cpp"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " in your project and set "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "VCZH_DEBUG_NO_REFLECTION"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " to off,\n            all types will be automatically loaded before "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "GuiMain"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " is called.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            The order does not matter, because content of types are lazily loaded.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            Everything below should be put in "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "vl::reflection::description"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " namespaces.\n            "
+          },
+          {
+            "kind": "List",
+            "ordered": true,
+            "items": [
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "(in header files)"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " Create a macro that contains all types that you want to register.\n                    Content in the list will become full names for registered type,\n                    so it is strongly recommended to use the full name.\n                    "
+                  },
+                  {
+                    "kind": "Program",
+                    "code": "#define MY_TYPELIST(F)\\\r\n    F(mynamespaces::MyClass1)\\\r\n    F(mynamespaces::MyClass2)\\"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "in header files)"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " Connect type names and types:\n                    "
+                  },
+                  {
+                    "kind": "Program",
+                    "code": "MY_TYPELIST(DECL_TYPE_INFO)"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "(in cpp files)"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " Connect type names and types:\n                    "
+                  },
+                  {
+                    "kind": "Program",
+                    "code": "MY_TYPELIST(IMPL_CPP_TYPE_INFO)"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "(in cpp files)"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " Register all members:\n                    "
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "\n                            You will need to define a macro for commas, Whatever name is fine.\n                            "
+                          },
+                          {
+                            "kind": "Program",
+                            "code": "#define _ ,"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "enum"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ":\n                            use "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "BEGIN_ENUM_ITEM_MERGABLE"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": " instead of "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "BEGIN_ENUM_ITEM"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": " if enum items are flags instead of concrete items.\n                            "
+                          },
+                          {
+                            "kind": "Program",
+                            "code": "BEGIN_ENUM_ITEM(Season)\r\n    ENUM_ITEM(Spring)\r\n    ENUM_ITEM(Summer)\r\n    ENUM_ITEM(Autumn)\r\n    ENUM_ITEM(Winter)\r\nEND_ENUM_ITEM(Season)"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "enum class:"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": "\n                            use "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "BEGIN_ENUM_ITEM_MERGABLE"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": " instead of "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "BEGIN_ENUM_ITEM"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": " if enum items are flags instead of concrete items.\n                            "
+                          },
+                          {
+                            "kind": "Program",
+                            "code": "BEGIN_ENUM_ITEM(Season)\r\n    ENUM_CLASS_ITEM(Spring)\r\n    ENUM_CLASS_ITEM(Summer)\r\n    ENUM_CLASS_ITEM(Autumn)\r\n    ENUM_CLASS_ITEM(Winter)\r\nEND_ENUM_ITEM(Season)"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "struct"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ":\n                            It doesn't necessary mean a struct in C++.\n                            Structs in reflection and Workflow script mean value types that carry only data, without methods and inheritance.\n                            "
+                          },
+                          {
+                            "kind": "Program",
+                            "code": "BEGIN_STRUCT_MEMBER(Point)\r\n    STRUCT_MEMBER(x)\r\n    STRUCT_MEMBER(y)\r\nEND_STRUCT_MEMBER(Point)"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ParagraphListItem",
+                        "paragraphs": [
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Strong",
+                                "content": [
+                                  {
+                                    "kind": "Text",
+                                    "text": "class"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "Text",
+                                "text": ":\n                            It doesn't necessary mean a class in C++.\n                            Classes in reflection and Workflow script mean reference types.\n                            "
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "\n                            Here are all macros that register content of classes\n                            "
+                              },
+                              {
+                                "kind": "List",
+                                "ordered": false,
+                                "items": [
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_BASE"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_FIELD"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_CONSTRUCTOR"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_EXTERNALCTOR(_TEMPLATE)?"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_METHOD(_OVERLOAD)?_RENAME"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_(STATIC_)?METHOD(_OVERLOAD)?"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_(STATIC_)?EXTERNALMETHOD(_TEMPLATE)?"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_PROPERTY(_EVENT)?(_READONLY)?(_FAST)?"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_PROPERTY_REFERENCETEMPLATE"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "CLASS_MEMBER_EVENT"
+                                      }
+                                    ]
+                                  }
+                                ]
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Program",
+                                "code": "BEGIN_CLASS_MEMBER(MyClass)\r\n\r\n    // 01) Declare a base class (can have multiple base classes).\r\n    CLASS_MEMBER_BASE(MyBaseClass)\r\n\r\n    // 02) Declare a field.\r\n    CLASS_MEMBER_FIELD(myField)\r\n\r\n    // 03) Default constructor that results in a raw pointer.\r\n    CLASS_MEMBER_CONSTRUCTIOR(MyClass*(), NO_PARAMETER)\r\n\r\n    // 04) Default constructor that results in a shared pointer.\r\n    CLASS_MEMBER_CONSTRUCTIOR(Ptr<MyClass>(), NO_PARAMETER)\r\n\r\n    // 05) Constructor with arguments.\r\n    CLASS_MEMBER_CONSTRUCTOR(Ptr<MyClass>(int, const WString&), {L\"numberParameter\" _ L\"stringParameter\"})\r\n\r\n    // 06) Inject a global function as a constructor.\r\n    CLASS_MEMBER_EXTERNALCTOR(Ptr<MyClass>(int, const WString&), {L\"numberParameter\" _ L\"stringParameter\"}, mynamespace::CreateMyClass)\r\n\r\n    // 07) Inject a consturctor and specify how to generate C++ code, \"*\" means not able to generate.\r\n    CLASS_MEMBER_EXTERNALCTOR_TEMPLATE(Ptr<MyClass>(int, const WString&), {L\"numberParameter\" _ L\"stringParameter\"}, CreateMyClass, L\"mynamespace::GetMyClass($Arguments)\", L\"::vl::Func<$Func>(&mynamespace::GetMyClass)\")\r\n    CLASS_MEMBER_EXTERNALCTOR_TEMPLATE(Ptr<MyClass>(), NO_PARAMETER, []()->Ptr<MyClass>{return nullptr;}, L\"*\", L\"*\")\r\n\r\n    // 08) Add unoverloaded functions.\r\n    CLASS_MEMBER_METHOD(MyFunction1, NO_PARAMETER)\r\n    CLASS_MEMBER_METHOD(MyFunction2, {L\"parameter1\" _ L\"parameter2\"})\r\n\r\n    // 09) Add unoverloaded functions but give different names. Unoverloaded only means in C++, not in renamed functions.\r\n    CLASS_MEMBER_METHOD_RENAME(MyNewName1, MyFunction1, NO_PARAMETER)\r\n    CLASS_MEMBER_METHOD_RENAME(MyNewName2, MyFunction2, {L\"parameter1\" _ L\"parameter2\"})\r\n\r\n    // 10) Add overloaded functions, with function type specified in method pointers\r\n    CLASS_MEMBER_METHOD_OVERLOAD(MyFunction3, NO_PARAMETER, int(MyClass::*)())\r\n    CLASS_MEMBER_METHOD_OVERLOAD(MyFunction3, {L\"parameter\"}, int(MyClass::*)(int))\r\n    CLASS_MEMBER_METHOD_OVERLOAD(MyFunction3, {L\"parameter1\" _ L\"parameter2\"}, int(MyClass::*)(int, const WString&))\r\n\r\n    // 11) Add overloaded functions but give different names.\r\n    CLASS_MEMBER_METHOD_OVERLOAD_RENAME(MyNewName3, MyFunction3, NO_PARAMETER, int(MyClass::*)())\r\n    CLASS_MEMBER_METHOD_OVERLOAD_RENAME(MyNewName4, MyFunction3, {L\"parameter\"}, int(MyClass::*)(int))\r\n    CLASS_MEMBER_METHOD_OVERLOAD_RENAME(MyNewName4, MyFunction3, {L\"parameter1\" _ L\"parameter2\"}, int(MyClass::*)(int, const WString&))\r\n\r\n    // 12) Inject global functions as methods:\r\n    CLASS_MEMBER_EXTERNALMETHOD(MyNewName5, {L\"parameter\"}, int(MyClass::*)(int), mynamespace::AGlobalFunction)\r\n\r\n    // 13) Inject a method and specify how to generate C++ code, \"*\" means not able to generate.\r\n    CLASS_MEMBER_EXTERNALMETHOD_TEMPLATE(MyNewName5, {L\"parameter1\" _ L\"parameter2\"}, int(MyClass::*)(int, const WString&), [](MyClass* a, int b, const WString& c){return 0;}, L\"*\", L\"*\")\r\n\r\n    // 14) Add unoverloaded static functions\r\n    CLASS_MEMBER_STATIC_METHOD(MyFunction4, NO_PARAMETER)\r\n    CLASS_MEMBER_STATIC_METHOD(MyFunction5, {L\"parameter1\" _ L\"parameter2\"})\r\n\r\n    // 15) Add overloaded static functions\r\n    CLASS_MEMBER_STATIC_METHOD_OVERLOAD(MyFunction6, NO_PARAMETER, int(*)())\r\n    CLASS_MEMBER_STATIC_METHOD_OVERLOAD(MyFunction6, {L\"parameter\"}, int(*)(int))\r\n    CLASS_MEMBER_STATIC_METHOD_OVERLOAD(MyFunction6, {L\"parameter1\" _ L\"parameter2\"}, int(*)(int, const WString&))\r\n\r\n    // 16) Inject global functions as static methods:\r\n    CLASS_MEMBER_STATIC_EXTERNALMETHOD(MyNewName6, {L\"parameter\"}, int(*)(int), mynamespace::AGlobalFunction2)\r\n\r\n    // 17) Inject a static method and specify how to generate C++ code, \"*\" means not able to generate.\r\n    CLASS_MEMBER_STATIC_EXTERNALMETHOD_TEMPLATE(MyNewName6, {L\"parameter1\" _ L\"parameter2\"}, int(*)(int, const WString&), [](int b, const WString& c){return 0;}, L\"*\")\r\n\r\n    // 18) Add a getter function as a property\r\n    CLASS_MEMBER_PROPERTY_READONLY_FAST(X)\r\n    // which is short for\r\n    CLASS_MEMBER_METHOD(GetX, NO_PARAMETER)\r\n    CLASS_MEMBER_PROPERTY_READONLY(X, GetX)\r\n\r\n    // 19) Add a pair of getter and setter functions as a property\r\n    CLASS_MEMBER_PROPERTY_FAST(X)\r\n    // which is short for\r\n    CLASS_MEMBER_METHOD(GetX, NO_PARAMETER)\r\n    CLASS_MEMBER_METHOD(SetX, {L\"value\"})\r\n    CLASS_MEMBER_PROPERTY(X, GetX, SetX)\r\n\r\n    // 20) Add a getter function as a property with a property changed event\r\n    CLASS_MEMBER_EVENT(XChanged)\r\n    CLASS_MEMBER_PROPERTY_EVENT_READONLY_FAST(X, XChanged)\r\n    // which is short for\r\n    CLASS_MEMBER_EVENT(XChanged)\r\n    CLASS_MEMBER_METHOD(GetX, NO_PARAMETER)\r\n    CLASS_MEMBER_PROPERTY_EVENT_READONLY(X, GetX, XChanged)\r\n\r\n    // 21) Add a pair of getter and setter functions as a property with a property changed event\r\n    CLASS_MEMBER_EVENT(XChanged)\r\n    CLASS_MEMBER_PROPERTY_EVENT_FAST(X, XChanged)\r\n    // which is short for\r\n    CLASS_MEMBER_EVENT(XChanged)\r\n    CLASS_MEMBER_METHOD(GetX, NO_PARAMETER)\r\n    CLASS_MEMBER_METHOD(SetX, {L\"value\"})\r\n    CLASS_MEMBER_PROPERTY_EVENT(X, GetX, SetX, XChanged)\r\n\r\nEND_CLASS_MEMBER(MyClass)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "\n                            If the code compiles, the class should look like this\n                            "
+                              },
+                              {
+                                "kind": "Program",
+                                "code": "class MyClass : public Description<MyClass>\r\n{\r\npublic:\r\n    MyClass();\r\n    MyClass(int numberParameter, const WString& stringParameter);\r\n\r\n    int MyFunction1();\r\n    int MyFunction2(int parameter1, const WString& parameter2);\r\n    int MyFunction3();\r\n    int MyFunction3(int parameter);\r\n    int MyFunction3(int parameter1, const WString& parameter2);\r\n\r\n    static int MyFunction4();\r\n    static int MyFunction5(int parameter1, const WString& parameter2);\r\n    static int MyFunction6();\r\n    static int MyFunction6(int parameter);\r\n    static int MyFunction6(int parameter1, const WString& parameter2);\r\n\r\n    Event<void()> XChanged;\r\n    int GetX();\r\n    void SetX(int value);\r\n};\r\n\r\nPtr<MyClass> CreateMyClass(int numberParameter, const WString7 stringParameter);\r\nint GlobalFunction(MyClass* self, int parameter);"
+                              }
+                            ]
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ParagraphListItem",
+                        "paragraphs": [
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Strong",
+                                "content": [
+                                  {
+                                    "kind": "Text",
+                                    "text": "interface"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "Text",
+                                "text": ":\n                            A C++ class can be registered as a reflectable interface if:\n                            "
+                              },
+                              {
+                                "kind": "List",
+                                "ordered": false,
+                                "items": [
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "Directly or indirectly inherits [T:vl.reflection.IDescriptable]"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "ContentListItem",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "The only registered constructor (if exists) should use Ptr<[T:vl.reflection.description.IValueInterfaceProxy]> as a parameter, so that a Workflow script class could implement this interface."
+                                      }
+                                    ]
+                                  }
+                                ]
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "\n                            Suppose you have an interface like this:\n                            "
+                              },
+                              {
+                                "kind": "Program",
+                                "code": "class IMyInterface : public virtual IDescriptable, public Description<IMyInterface>\r\n{\r\npublic:\r\n    int GetX();\r\n    void SetX(int value);\r\n};"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "\n                            If you want to allow a Workflow script class implement this interface, you should first add a proxy like this:\n                            "
+                              },
+                              {
+                                "kind": "Program",
+                                "code": "#pragma warning(push)\r\n#pragma warning(disable:4250)\r\nBEGIN_INTERFACE_PROXY_NOPARENT_RAWPTR(IMyInterface)\r\n    // or BEGIN_INTERFACE_PROXY_RAWPTR(IMyInterface, baseInterfaces...)\r\n    // or BEGIN_INTERFACE_PROXY_NOPARENT_SHAREDPTR(IMyInterface)\r\n    // or BEGIN_INTERFACE_PROXY_SHAREDPTR(IMyInterface, baseInterfaces...)\r\n    int GetX()override\r\n    {\r\n        INVOKEGET_INTERFACE_PROXY_NOPARAMS(GetX)\r\n    }\r\n\r\n    void SetX(int value)override\r\n    {\r\n        INVOKE_INTERFACE_PROXY(SetX, value)\r\n    }\r\nEND_INTERFACE_PROXY(IMyInterface)\r\n#pragma warning(pop)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "\n                            And then use this code to register the interface:\n                            "
+                              },
+                              {
+                                "kind": "Program",
+                                "code": "BEGIN_INTERFACE_MEMBER(IMyInterface)\r\n    ...\r\nEND_INTERFACE_MEMBER(IMyInterface)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Paragraph",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "\n                            Everything else is the same as registering classes.\n                            Use "
+                              },
+                              {
+                                "kind": "Strong",
+                                "content": [
+                                  {
+                                    "kind": "Text",
+                                    "text": "BEGIN_INTERFACE_MEMBER_NOPROXY"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "Text",
+                                "text": " to register an interface without a proxy,\n                            which means a Workflow script class cannot implement this interface.\n                            "
+                              }
+                            ]
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "\n                            Undefine the macro for comma:\n                            "
+                          },
+                          {
+                            "kind": "Program",
+                            "code": "#undef _"
+                          }
+                        ]
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "(in cpp files)"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " Create a type loader:\n                    "
+                  },
+                  {
+                    "kind": "Program",
+                    "code": "class MyTypeLoader : public Object, public ITypeLoader\r\n{\r\npublic:\r\n    void Load(ITypeManager* manager)\r\n    {\r\n        MY_TYPELIST(ADD_TYPE_INFO)\r\n    }\r\n\r\n    void Unload(ITypeManager* manager)\r\n    {\r\n    }\r\n};"
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Text",
+                    "text": "\n                    Before using reflection on registered types, you need to register the type loader:\n                    "
+                  },
+                  {
+                    "kind": "Program",
+                    "code": "vl::reflection::description::GetGlobalTypeManager()->AddTypeLoader(new MyTypeLoader);"
+                  }
+                ]
+              }
+            ]
+          }
+        ]
+      }
+    ]
+  }
+};
+  window["MVC-Resources.mvcModel"] = mvcModel;
+  window["MVC-Resources.mvcViews"] = mvcViews;
+  window["MVC-Resources.hrefPrefix"] = hrefPrefix;
+  window["MVC-Resources.directoryInfo"] = directoryInfo;
+  window["MVC-Resources.article"] = article;
+  for (const view of mvcViews) {
+    window[view.viewName].renderView(mvcModel, document.getElementById(view.targetObject));
+  }
+  const renderedScriptTags = document.getElementById("MVC-ViewContainer").getElementsByTagName("script");
+  for (const scriptTag of renderedScriptTags) {
+    eval(
+      "(function(){" + scriptTag.innerHTML + "})()"
+    );
+  }
+}
+</script>
+</body>
+</html>
diff --git a/doc/current/home/dsl_regex.html b/doc/current/home/dsl_regex.html
new file mode 100644
index 000000000..a24136cf0
--- /dev/null
+++ b/doc/current/home/dsl_regex.html
@@ -0,0 +1,1344 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta charset="utf-8">
+<title>Regular Expression -- GPU Accelerated C++ User Interface (vczh)</title>
+<link rel="shortcut icon" href="../favicon.ico">
+<link rel="stylesheet" type="text/css" href="../global.css">
+<link rel="stylesheet" type="text/css" href="../article.css">
+<script src="../scripts/rootView.js"></script>
+<script src="../scripts/directoryView.js"></script>
+<script src="../scripts/articleView.js"></script>
+
+</head>
+<body>
+<div id="MVC-ViewContainer"></div>
+<script lang="javascript">
+{
+  const mvcModel = {
+  "path": [
+    "home",
+    "dsl_regex"
+  ]
+};
+  const mvcViews = [
+  {
+    "targetObject": "MVC-ViewContainer",
+    "viewName": "Gaclib-RootView"
+  },
+  {
+    "targetObject": "rootViewContainer",
+    "viewName": "Gaclib-DirectoryView"
+  },
+  {
+    "targetObject": "directoryViewContainer",
+    "viewName": "Gaclib-ArticleView"
+  }
+];
+  const hrefPrefix = "/doc/current";
+  const directoryInfo = {
+  "subNodes": [
+    {
+      "icon": "-",
+      "name": "Gaclib Document",
+      "selected": false,
+      "path": [
+        "home"
+      ],
+      "subNodes": [
+        {
+          "icon": "-",
+          "name": "Domain Specific Languages",
+          "selected": false,
+          "path": [
+            "home",
+            "dsl"
+          ],
+          "subNodes": [
+            {
+              "icon": " ",
+              "name": "Regular Expression",
+              "selected": true,
+              "path": [
+                "home",
+                "dsl_regex"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Reflectable Type Registrations",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_reflection"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Unit Test Framework (Vlpp)",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_unittest"
+              ]
+            }
+          ]
+        }
+      ]
+    }
+  ]
+};
+  const article = {
+  "index": false,
+  "numberBeforeTitle": false,
+  "topic": {
+    "kind": "Topic",
+    "title": "Regular Expression",
+    "content": [
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "List",
+            "ordered": false,
+            "items": [
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "Charset"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": ":\n                    "
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "a"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ", "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "[a-z]"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ", "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "[^a-z]"
+                              }
+                            ]
+                          }
+                        ]
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "Functional characters"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": ":\n                    "
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "^"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": the beginning of the input (DFA incompatible)"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "$"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": the end of the input (DFA incompatible)"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex1|regex2"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": match either regex1 or regex2"
+                          }
+                        ]
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "Escaping"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " (both \\ and / mean the next character is escaped):\n                    "
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "\n                            Escaped characters:\n                            "
+                          },
+                          {
+                            "kind": "List",
+                            "ordered": false,
+                            "items": [
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\r"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": the CR character"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\n"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": the LF character"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\t"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": the tab character"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\s"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": spacing characters (including space, \\r, \\n, \\t)"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\S"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": non-spacing characters"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\d"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": [0-9]"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\D"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": [^0-9]"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\l"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": [a-zA-Z]"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\L"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": [^a-zA-Z]"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\w"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": [a-zA-Z0-9_]"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\W"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": [^a-zA-Z0-9_]"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\."
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": any character (this is the main different from other regex, which treat \".\" as any characters and \"\\.\" as the dot character)"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\\\"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\/"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\("
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\)"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\+"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\*"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\?"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\{"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\}"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\["
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\]"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\<"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\>"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\^"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\$"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\!"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\="
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": represents itself"
+                                  }
+                                ]
+                              }
+                            ]
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Text",
+                            "text": "\n                            Escaped characters in charset defined in a square bracket:\n                            "
+                          },
+                          {
+                            "kind": "List",
+                            "ordered": false,
+                            "items": [
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\r"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": the CR character"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\n"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": the LF character"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\t"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": the tab character"
+                                  }
+                                ]
+                              },
+                              {
+                                "kind": "ContentListItem",
+                                "content": [
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\-"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\["
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\]"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\\\"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\/"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\^"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ", "
+                                  },
+                                  {
+                                    "kind": "Strong",
+                                    "content": [
+                                      {
+                                        "kind": "Text",
+                                        "text": "\\$"
+                                      }
+                                    ]
+                                  },
+                                  {
+                                    "kind": "Text",
+                                    "text": ": represents itself"
+                                  }
+                                ]
+                              }
+                            ]
+                          }
+                        ]
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "Loops"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": ":\n                    "
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex{3}"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": repeats 3 times"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex{3,}"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": repeats 3 or more times"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex{1,3}"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": repeats 1 to 3 times"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex?"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": repeats 0 or 1 times"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex*"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": repeats 0 or more times"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "regex+"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": repeats 1 or more times"
+                          }
+                        ]
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": "\n                    if you add an additional "
+                  },
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "?"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": " right after a loop, it means repeating as less as possible "
+                  },
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "(DFA incompatible)"
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "Capturing"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "Text",
+                    "text": ": "
+                  },
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "(DFA incompatible)"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(regex)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": No capturing, just change the operators' association"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(?regex)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Capture matched fragment"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(<name>regex)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Capture matched fragment in a named group called \"name\""
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(<$i>)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Match the i-th captured fragment, begins from 0"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(<$name;i>)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Match the i-th captured fragment in the named group called \"name\", begins from 0"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(<$name>)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Match any captured fragment in the named group called \"name\""
+                          }
+                        ]
+                      }
+                    ]
+                  }
+                ]
+              },
+              {
+                "kind": "ContentListItem",
+                "content": [
+                  {
+                    "kind": "Strong",
+                    "content": [
+                      {
+                        "kind": "Text",
+                        "text": "MISC"
+                      }
+                    ]
+                  },
+                  {
+                    "kind": "List",
+                    "ordered": false,
+                    "items": [
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(=regex)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": The prefix of the following text should match the regex, but it is not counted in the whole match "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(DFA incompatible)"
+                              }
+                            ]
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(!regex)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Any prefix of the following text should not match the regex, and it is not counted in the whole match "
+                          },
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(DFA incompatible)"
+                              }
+                            ]
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(<#name>regex)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Name the regex \"name\", and it applies here"
+                          }
+                        ]
+                      },
+                      {
+                        "kind": "ContentListItem",
+                        "content": [
+                          {
+                            "kind": "Strong",
+                            "content": [
+                              {
+                                "kind": "Text",
+                                "text": "(<&name>)"
+                              }
+                            ]
+                          },
+                          {
+                            "kind": "Text",
+                            "text": ": Copy the named regex \"name\" here and apply"
+                          }
+                        ]
+                      }
+                    ]
+                  }
+                ]
+              }
+            ]
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            The regular expression has pupre mode and rich mode.\n            Pure mode means the regular expression is driven by a DFA, while the rich mode is not.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            The regular expression can test a string instead of matching.\n            Testing only returns a bool very indicating success or failure.\n        "
+          }
+        ]
+      }
+    ]
+  }
+};
+  window["MVC-Resources.mvcModel"] = mvcModel;
+  window["MVC-Resources.mvcViews"] = mvcViews;
+  window["MVC-Resources.hrefPrefix"] = hrefPrefix;
+  window["MVC-Resources.directoryInfo"] = directoryInfo;
+  window["MVC-Resources.article"] = article;
+  for (const view of mvcViews) {
+    window[view.viewName].renderView(mvcModel, document.getElementById(view.targetObject));
+  }
+  const renderedScriptTags = document.getElementById("MVC-ViewContainer").getElementsByTagName("script");
+  for (const scriptTag of renderedScriptTags) {
+    eval(
+      "(function(){" + scriptTag.innerHTML + "})()"
+    );
+  }
+}
+</script>
+</body>
+</html>
diff --git a/doc/current/home/dsl_unittest.html b/doc/current/home/dsl_unittest.html
new file mode 100644
index 000000000..39dd3f29c
--- /dev/null
+++ b/doc/current/home/dsl_unittest.html
@@ -0,0 +1,596 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta charset="utf-8">
+<title>Unit Test Framework (Vlpp) -- GPU Accelerated C++ User Interface (vczh)</title>
+<link rel="shortcut icon" href="../favicon.ico">
+<link rel="stylesheet" type="text/css" href="../global.css">
+<link rel="stylesheet" type="text/css" href="../article.css">
+<script src="../scripts/rootView.js"></script>
+<script src="../scripts/directoryView.js"></script>
+<script src="../scripts/articleView.js"></script>
+
+</head>
+<body>
+<div id="MVC-ViewContainer"></div>
+<script lang="javascript">
+{
+  const mvcModel = {
+  "path": [
+    "home",
+    "dsl_unittest"
+  ]
+};
+  const mvcViews = [
+  {
+    "targetObject": "MVC-ViewContainer",
+    "viewName": "Gaclib-RootView"
+  },
+  {
+    "targetObject": "rootViewContainer",
+    "viewName": "Gaclib-DirectoryView"
+  },
+  {
+    "targetObject": "directoryViewContainer",
+    "viewName": "Gaclib-ArticleView"
+  }
+];
+  const hrefPrefix = "/doc/current";
+  const directoryInfo = {
+  "subNodes": [
+    {
+      "icon": "-",
+      "name": "Gaclib Document",
+      "selected": false,
+      "path": [
+        "home"
+      ],
+      "subNodes": [
+        {
+          "icon": "-",
+          "name": "Domain Specific Languages",
+          "selected": false,
+          "path": [
+            "home",
+            "dsl"
+          ],
+          "subNodes": [
+            {
+              "icon": " ",
+              "name": "Regular Expression",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_regex"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Reflectable Type Registrations",
+              "selected": false,
+              "path": [
+                "home",
+                "dsl_reflection"
+              ]
+            },
+            {
+              "icon": " ",
+              "name": "Unit Test Framework (Vlpp)",
+              "selected": true,
+              "path": [
+                "home",
+                "dsl_unittest"
+              ]
+            }
+          ]
+        }
+      ]
+    }
+  ]
+};
+  const article = {
+  "index": false,
+  "numberBeforeTitle": false,
+  "topic": {
+    "kind": "Topic",
+    "title": "Unit Test Framework (Vlpp)",
+    "content": [
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            Test cases could be defined in multiple cpp files. In each cpp file, there can be one "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_FILE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " call.\n            "
+          },
+          {
+            "kind": "Program",
+            "code": "TEST_FILE\r\n{\r\n    // here could be multiple TEST_CATEGORY and TEST_CASE\r\n}"
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            Both "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " could be used inside "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_FILE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ", or nested inside another "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ".\n            "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " could be used inside "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_FILE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " or "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ".\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " is used to verify a boolean expression.\n            It could only be used in "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ".\n            "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " could not be used in "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_FILE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " or "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ".\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            When the test program is started in debug mode (Windows only), or by command line options \"/D\",\n            A "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " failure will trigger a break point, it could be catched by any debugger.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            When the test program is started in release mode, or by command line options \"/R\", or without command line options,\n            A "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " failure will report an error and skip rest of the current "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ", the execution will continue.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ERROR"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " execute one statement, it fails when no [T:vl.Error] is thrown.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_EXCEPTION"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " execute one statement, it fails when the specified exception type is not thrown.\n            Another callback will be called when the exception is thrown, given a chance to check data in the exception.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " is an abbreviation of "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " + "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ".\n            It is very common that are multiple independent assertions.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " is a test case, it can be used in "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " or "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_FILE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ".\n            In release mode, by failing this assertion, the execution does not stop.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " is very useful when multiple assertions do not have dependencies.\n            During the execution of the test program, "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_FILE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ", "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CATEGORY"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": ", "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_CASE"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " and failed "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_ASSERT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " will be rendered with indentation and different colors.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "UnitTest::RunAndDisposeTests"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " is needed in the main function to execute test cases.\n            "
+          },
+          {
+            "kind": "Strong",
+            "content": [
+              {
+                "kind": "Text",
+                "text": "TEST_PRINT"
+              }
+            ]
+          },
+          {
+            "kind": "Text",
+            "text": " could be used during test cases to print debug information to a command-line application.\n        "
+          }
+        ]
+      },
+      {
+        "kind": "Paragraph",
+        "content": [
+          {
+            "kind": "Text",
+            "text": "\n            Example:\n            "
+          },
+          {
+            "kind": "Program",
+            "code": "TEST_FILE\r\n{\r\n    TEST_CATEGORY(L\"This is a test category\")\r\n    {\r\n        TEST_CASE(L\"This is a test case\")\r\n        {\r\n            TEST_ASSERT(true);\r\n            TEST_ERROR({WString::Empty[0];});\r\n            TEST_EXCEPTION({throw Exception();}, Exception, [](const Exception&){});\r\n        });\r\n        TEST_CASE_ASSERT(true);\r\n    });\r\n\r\n    TEST_CATEGORY(L\"This is another test category\")\r\n    {\r\n        TEST_PRINT(L\"some information\");\r\n        TEST_CASE_ASSERT(true);\r\n    });\r\n}\r\n\r\nint main(int argc, wchar_t* argv[])\r\n{\r\n    // in Linux or macOS, argv must be char*[]\r\n    return unittest::UnitTest::RunAndDisposeTests(argc, argv);\r\n}"
+          }
+        ]
+      }
+    ]
+  }
+};
+  window["MVC-Resources.mvcModel"] = mvcModel;
+  window["MVC-Resources.mvcViews"] = mvcViews;
+  window["MVC-Resources.hrefPrefix"] = hrefPrefix;
+  window["MVC-Resources.directoryInfo"] = directoryInfo;
+  window["MVC-Resources.article"] = article;
+  for (const view of mvcViews) {
+    window[view.viewName].renderView(mvcModel, document.getElementById(view.targetObject));
+  }
+  const renderedScriptTags = document.getElementById("MVC-ViewContainer").getElementsByTagName("script");
+  for (const scriptTag of renderedScriptTags) {
+    eval(
+      "(function(){" + scriptTag.innerHTML + "})()"
+    );
+  }
+}
+</script>
+</body>
+</html>
diff --git a/doc/current/home/mt.html b/doc/current/home/mt.html
index 742ae4b1c..e12ac901b 100644
--- a/doc/current/home/mt.html
+++ b/doc/current/home/mt.html
@@ -65,7 +65,7 @@
           ]
         },
         {
-          "icon": " ",
+          "icon": "+",
           "name": "Domain Specific Languages",
           "selected": false,
           "path": [
diff --git a/doc/current/home/registered.html b/doc/current/home/registered.html
index 879b9a17a..c5ea1efc3 100644
--- a/doc/current/home/registered.html
+++ b/doc/current/home/registered.html
@@ -65,7 +65,7 @@
           ]
         },
         {
-          "icon": " ",
+          "icon": "+",
           "name": "Domain Specific Languages",
           "selected": false,
           "path": [