Provides helper functions for integration in the CoLoMoTo Jupyter notebook. It currently provides:
- injection of menus and toolbars
- interactive file upload
- formatter for
networkxgraphs
In addition, it provides simple python interfaces for the following tools:
- CellCollective (model repository and knowledge base) - http://cellcollective.org
- ITS-Tools (model checker) - https://lip6.github.io/ITSTools-web/
- NuSMV (model checker) - http://nusmv.fbk.eu/
See also https://github.com/colomoto/colomoto-docker.
conda install -c colomoto colomoto_jupyter
pip install colomoto_jupyter
python -m nusmv_setup
python -m itstools_setup
from colomoto_jupyter import IN_IPYTHON, jupyter_setup
if IN_IPYTHON:
# menu specification (list of dict), optional
menu = [
{"name": "entry 1",
"snippet": ["code to be append to the current cell"]},
"---", # separation
{"name": "submenu 1",
"sub-menu": [
{"name": "entry 2",
"snippet": ["code example"]},
]}
]
# toolbar specification (list of dict), optional
toolbar = [
{"name": "Label",
"setup": {
"icon": "fa-something", # http://fontawesome.io/icons/
"help": "tooltip text",
"handler": "javascript_function_1"}}
]
## additional javascript functions, optional
js_api = {
"javascript_function_1":
"""
function () { alert("plop"); }
""",
"javascript_function_2":
"""
function () { alert("bar"); }
""",
}
jupyter_setup("mymodule",
label="My module",
color="blue", # for menu and toolbar
menu=menu,
toolbar=toolbar,
js_api=js_api)See https://github.com/colomoto/colomoto-jupyter/blob/master/demo_tool.py for a more complete usage example.
