[Docs] Add LityLexer

second-state · Dec 16, 2018 · c45c2ad · c45c2ad
1 parent d5482ca
commit c45c2ad
Show file tree

Hide file tree

Showing 13 changed files with 307 additions and 60 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -12,10 +12,15 @@
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
 #
-# import os
-# import sys
-# sys.path.insert(0, os.path.abspath('.'))
 
+import os
+import sys
+
+def setup(sphinx):
+    thisdir = os.path.dirname(os.path.realpath(__file__))
+    sys.path.insert(0, thisdir + '/utils')
+    from LityLexer import LityLexer
+    sphinx.add_lexer('Lity', LityLexer())
 
 # -- Project information -----------------------------------------------------
 

diff --git a/docs/eni-tutorial.rst b/docs/eni-tutorial.rst
@@ -39,7 +39,7 @@ Use ENI in Your Contract
 
 Create a contract file called `Reverse.lity`.
 
-.. code::
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 

diff --git a/docs/erc-contract-checker-guide.rst b/docs/erc-contract-checker-guide.rst
@@ -21,7 +21,7 @@ Examples
 
 - ERC20 Interface (erc20_interface.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -52,7 +52,7 @@ Examples
 
 - ERC20 Interface with wrong mutability (wrong_mutability.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -96,7 +96,7 @@ Examples
 
 - ERC223 Interface (erc223_interface.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -123,7 +123,7 @@ Examples
 
 - ERC223 Token example (erc223_token.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -279,7 +279,7 @@ Examples
 
 - ERC721 Interface (erc721_interface.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -314,7 +314,7 @@ Examples
 
 - ERC721 Interface with wrong modification level (wrong_modification_level.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -362,7 +362,7 @@ Examples
 
 - ERC827 Interface (erc827_standard_no_inheritance.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -394,7 +394,7 @@ Examples
 
 - ERC827 Interface inheritance (erc827_inheritance.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -444,7 +444,7 @@ Examples
 
 - ERC884 Interface (erc884_interface.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 
@@ -496,7 +496,7 @@ Examples
 
 - ERC884 Interface with missing function (missing_function.sol)
 
-.. code:: ts
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 

diff --git a/docs/overflow-protection.rst b/docs/overflow-protection.rst
@@ -41,14 +41,14 @@ This example shows how Lity and CyberMiles Virtual Machine helps users to avoid
 Run a CyberMiles Local Node
 ```````````````````````````
 
-Follow the instructions here to have a `running CyberMiles local node to deploy a contract <https://www.litylang.org/getting_started/>`_. 
+Follow the instructions here to have a `running CyberMiles local node to deploy a contract <https://www.litylang.org/getting_started/>`_.
 
 Compile BEC Contract
 ````````````````````
 
 There is an overflow issue at this statement :code:`uint256 amount = uint256(cnt) * _value;` of the function :code:`batchTransfer` .
 
-.. code::
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
 

diff --git a/docs/oyente-integration.rst b/docs/oyente-integration.rst
@@ -15,27 +15,27 @@ Installation
 
 Execute a python virtualenv
 
-.. code::
+.. code:: bash
 
   virtualenv -p python3 env
   source env/bin/activate
 
 Download Oyente
 
-.. code::
+.. code:: bash
 
   git clone https://github.com/CyberMiles/oyente.git
   cd oyente
 
 Install Oyente requirements
 
-.. code::
+.. code:: bash
 
   pip install -r requirements.txt
 
 Install Oyente
 
-.. code::
+.. code:: bash
 
   pip install .
 

diff --git a/docs/reverse-string.rst b/docs/reverse-string.rst
@@ -10,7 +10,7 @@ Compiler StringReverse Contract
 
 There is a simple contract that leverage ENI to reverse a string.
 
-.. code::
+.. code-block:: Lity
 
   pragma lity ^1.2.4;
   contract StringReverse {

diff --git a/docs/rsa-crypto.rst b/docs/rsa-crypto.rst
@@ -10,7 +10,7 @@ Compiler RSACrypto Contract
 
 There is a simple contract that leverage ENI to do RSA encrypt / decrypt.
 
-.. code::
+.. code-block:: Lity
 
   pragma lity ^1.2.4;