|
|
|
|
| import time |
| import re |
| import pandas as pd |
| import numpy as np |
| import torch |
| import torch.nn.functional as F |
| import graphviz as graphviz |
| import pydeck as pdk |
| import streamlit as st |
|
|
| from transformers import AutoTokenizer, AutoModel |
| from tokenizers import Tokenizer, AddedToken |
| from st_click_detector import click_detector |
|
|
| |
|
|
| st.graphviz_chart(''' |
| graph G { |
| fontname="Helvetica,Arial,sans-serif" |
| node [fontname="Helvetica,Arial,sans-serif"] |
| edge [fontname="Helvetica,Arial,sans-serif"] |
| layout=fdp |
| e |
| subgraph clusterA { |
| a -- b; |
| subgraph clusterC { |
| C -- D; |
| } |
| } |
| subgraph clusterB { |
| d -- f |
| } |
| d -- D |
| e -- clusterB |
| clusterC -- clusterB |
| } |
| ''') |
|
|
| st.graphviz_chart(''' |
| graph Transparency { |
| layout=neato |
| start=11 // empiric value to set orientation |
| bgcolor="#0000ff11" |
| node [shape=circle width=2.22 label="" style=filled] |
| 5 [color="#0000ff80"] |
| 6 [color="#ee00ee80"] |
| 1 [color="#ff000080"] |
| 2 [color="#eeee0080"] |
| 3 [color="#00ff0080"] |
| 4 [color="#00eeee80"] |
| 1 -- 2 -- 3 -- 4 -- 5 -- 6 -- 1 |
| } |
| ''') |
|
|
| st.graphviz_chart(''' |
| digraph UML_Class_diagram { |
| fontname="Helvetica,Arial,sans-serif" |
| node [fontname="Helvetica,Arial,sans-serif"] |
| edge [fontname="Helvetica,Arial,sans-serif"] |
| labelloc="t" |
| label="UML Class diagram demo" |
| graph [splines=false] |
| node [shape=record style=filled fillcolor=gray95] |
| edge [arrowhead=vee style=dashed] |
| Client -> Interface1 [xlabel=dependency] |
| Client -> Interface2 |
| edge [dir=back arrowtail=empty style=""] |
| Interface1 -> Class1 [xlabel=inheritance] |
| Interface2 -> Class1 [dir=none] |
| Interface2 [label="" xlabel="Simple\ninterface" shape=circle] |
| Interface1[label = <{<b>«interface» I/O</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| Class1[label = <{<b>I/O class</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| edge [dir=back arrowtail=empty style=dashed] |
| Class1 -> System_1 [xlabel=implementation] |
| System_1 [label = <{<b>System</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| "Shared resource" [label = <{<b>Shared resource</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| edge [dir=back arrowtail=diamond] |
| "System_1" -> Subsystem_1 [xlabel="composition"] |
| Subsystem_1[label = <{<b>Subsystem 1</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| Subsystem_2[label = <{<b>Subsystem 2</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| Subsystem_3[label = <{<b>Subsystem 3</b> | + property<br align="left"/>...<br align="left"/>|+ method<br align="left"/>...<br align="left"/>}>] |
| "System_1" -> Subsystem_2 |
| "System_1" -> Subsystem_3 |
| edge [xdir=back arrowtail=odiamond] |
| Subsystem_1 -> "Shared resource" [xlabel=aggregation] |
| {Subsystem_2 Subsystem_3 } -> "Shared resource" |
| } |
| ''') |
|
|
|
|
|
|
| st.graphviz_chart(''' |
| digraph G { |
| fontname="Helvetica,Arial,sans-serif" |
| node [fontname="Helvetica,Arial,sans-serif"] |
| edge [fontname="Helvetica,Arial,sans-serif"] |
| subgraph cluster_1 { |
| node [ style=filled,shape="box",fillcolor="antiquewhite:aquamarine" ]n5; |
| node [ shape="ellipse",fillcolor="bisque4:blue2" ]n4; |
| node [ shape="circle",fillcolor="cadetblue1:chocolate1" ]n3; |
| node [ shape="diamond",fillcolor="crimson:cyan4" ]n2; |
| node [ shape="triangle",fillcolor="deepskyblue2:firebrick" ]n1; |
| node [ shape="pentagon",fillcolor="gray24:gray88" ]n0; |
| label = "X11 Colors"; |
| } |
| subgraph cluster_2 { |
| node [ style=filled,shape="box",fillcolor="bisque:brown" ]n11; |
| node [ shape="ellipse",fillcolor="green:darkorchid" ]n10; |
| node [ shape="circle",fillcolor="deepskyblue:gold" ]n9; |
| node [ shape="diamond",fillcolor="lightseagreen:orangered" ]n8; |
| node [ shape="triangle",fillcolor="turquoise:salmon" ]n7; |
| node [ shape="pentagon",fillcolor="snow:black" ]n6; |
| label = "SVG Colors"; |
| } |
| subgraph cluster_3 { |
| node [ style=filled,shape="box",fillcolor="/accent3/1:/accent3/3" ]n17; |
| node [ shape="ellipse",fillcolor="/accent4/1:/accent4/4" ]n16; |
| node [ shape="circle",fillcolor="/accent5/1:/accent5/5" ]n15; |
| node [ shape="diamond",fillcolor="/accent6/1:/accent6/6" ]n14; |
| node [ shape="triangle",fillcolor="/accent7/1:/accent7/7" ]n13; |
| node [ shape="pentagon",fillcolor="/accent8/1:/accent8/8" ]n12; |
| label = "Brewer - accent"; |
| } |
| subgraph cluster_4 { |
| node [ style=filled,shape="box",fillcolor="/blues3/1:/blues3/2" ]n23; |
| node [ shape="ellipse",fillcolor="/blues4/1:/blues4/3" ]n22; |
| node [ shape="circle",fillcolor="/blues5/1:/blues5/4" ]n21; |
| node [ shape="diamond",fillcolor="/blues6/1:/blues6/5" ]n20; |
| node [ shape="triangle",fillcolor="/blues7/1:/blues7/6" ]n19; |
| node [ shape="pentagon",fillcolor="/blues8/1:/blues8/7" ]n18; |
| label = "Brewer - blues"; |
| } |
| n3 -> n9 -> n15 -> n21; |
| } |
| ''') |
|
|
| st.graphviz_chart(''' |
| digraph G {bgcolor="#0000FF44:#FF000044" gradientangle=90 |
| fontname="Helvetica,Arial,sans-serif" |
| node [fontname="Helvetica,Arial,sans-serif"] |
| edge [fontname="Helvetica,Arial,sans-serif"] |
| subgraph cluster_0 { |
| style=filled; |
| color=lightgrey; |
| fillcolor="darkgray:gold"; |
| gradientangle=0 |
| node [fillcolor="yellow:green" style=filled gradientangle=270] a0; |
| node [fillcolor="lightgreen:red"] a1; |
| node [fillcolor="lightskyblue:darkcyan"] a2; |
| node [fillcolor="cyan:lightslateblue"] a3; |
| a0 -> a1 -> a2 -> a3; |
| label = "process #1"; |
| } |
| subgraph cluster_1 { |
| node [fillcolor="yellow:magenta" |
| style=filled gradientangle=270] b0; |
| node [fillcolor="violet:darkcyan"] b1; |
| node [fillcolor="peachpuff:red"] b2; |
| node [fillcolor="mediumpurple:purple"] b3; |
| b0 -> b1 -> b2 -> b3; |
| label = "process #2"; |
| color=blue |
| fillcolor="darkgray:gold"; |
| gradientangle=0 |
| style=filled; |
| } |
| start -> a0; |
| start -> b0; |
| a1 -> b3; |
| b2 -> a3; |
| a3 -> a0; |
| a3 -> end; |
| b3 -> end; |
| start [shape=Mdiamond , |
| fillcolor="pink:red", |
| gradientangle=90, |
| style=radial]; |
| end [shape=Msquare, |
| fillcolor="lightyellow:orange", |
| style=radial, |
| gradientangle=90]; |
| } |
| ''') |
|
|
| st.graphviz_chart(''' |
| graph Color_wheel { |
| graph [ |
| layout = neato |
| label = "Color wheel, 33 colors.\nNeato layout" |
| labelloc = b |
| fontname = "Helvetica,Arial,sans-serif" |
| start = regular |
| normalize = 0 |
| ] |
| node [ |
| shape = circle |
| style = filled |
| color = "#00000088" |
| fontname = "Helvetica,Arial,sans-serif" |
| ] |
| edge [ |
| len = 2.7 |
| color = "#00000088" |
| fontname = "Helvetica,Arial,sans-serif" |
| ] |
| subgraph Dark { |
| node [fontcolor = white width = 1.4] |
| center [width = 1 style = invis shape = point] |
| center -- darkred [label = "0°/360°"] |
| darkred [fillcolor = darkred] |
| brown [fillcolor = brown] |
| brown -- center [label = "30°"] |
| olive [fillcolor = olive] |
| olive -- center [label = "60°"] |
| darkolivegreen [fillcolor = darkolivegreen fontsize = 10] |
| darkolivegreen -- center [label = "90°"] |
| darkgreen [fillcolor = darkgreen] |
| darkgreen -- center [label = "120°"] |
| "dark hue 0.416" [color = ".416 1 .6" fontcolor = white] |
| "dark hue 0.416" -- center [label = "150°"] |
| darkcyan [fillcolor = darkcyan] |
| darkcyan -- center [label = "180°"] |
| "dark hue 0.583" [color = ".583 1 .6" fontcolor = white] |
| "dark hue 0.583" -- center [label = "210°"] |
| darkblue [fillcolor = darkblue] |
| darkblue -- center [label = "240°"] |
| "dark hue 0.750" [color = ".750 1 .6"] |
| "dark hue 0.750" -- center [label = "270°"] |
| darkmagenta [fillcolor = darkmagenta] |
| darkmagenta -- center [label = "300°"] |
| "dark hue 0.916" [color = ".916 1 .6"] |
| "dark hue 0.916" -- center [label = "330°"] |
| } |
| subgraph Tue { |
| node [width = 1.3] |
| "hue 0.083" -- brown |
| "hue 0.083" [color = ".083 1 1"] |
| "hue 0.125" [color = ".125 1 1"] |
| "hue 0.166" -- olive |
| "hue 0.166" [color = ".166 1 1"] |
| "hue 0.208" [color = ".208 1 1"] |
| "hue 0.250" -- darkolivegreen |
| "hue 0.250" [color = ".250 1 1"] |
| "hue 0.291" [color = ".291 1 1"] |
| "hue 0.333" -- darkgreen |
| "hue 0.333" [color = ".333 1 1"] |
| "hue 0.375" [color = ".375 1 1"] |
| "hue 0.416" -- "dark hue 0.416" |
| "hue 0.416" [color = ".416 1 1"] |
| "hue 0.458" [color = ".458 1 1"] |
| "hue 0.500" -- darkcyan |
| "hue 0.500" [color = ".500 1 1"] |
| "hue 0.541" [color = ".541 1 1"] |
| node [fontcolor = white] |
| "hue 0.000" [color = ".000 1 1"] |
| "hue 0.000" -- darkred |
| "hue 0.041" [color = ".041 1 1"] |
| "hue 0.583" -- "dark hue 0.583" |
| "hue 0.583" [color = ".583 1 1"] |
| "hue 0.625" [color = ".625 1 1"] |
| "hue 0.666" -- darkblue |
| "hue 0.666" [color = ".666 1 1"] |
| "hue 0.708" [color = ".708 1 1"] |
| "hue 0.750" -- "dark hue 0.750" |
| "hue 0.750" [color = ".750 1 1"] |
| "hue 0.791" [color = ".791 1 1"] |
| "hue 0.833" -- darkmagenta |
| "hue 0.833" [color = ".833 1 1"] |
| "hue 0.875" [color = ".875 1 1"] |
| "hue 0.916" -- "dark hue 0.916" |
| "hue 0.916" [color = ".916 1 1"] |
| "hue 0.958" [color = ".958 1 1"] |
| edge [len = 1] |
| "hue 0.000" -- "hue 0.041" -- "hue 0.083" -- "hue 0.125" -- "hue 0.166" -- "hue 0.208" |
| "hue 0.208" -- "hue 0.250" -- "hue 0.291" -- "hue 0.333" -- "hue 0.375" -- "hue 0.416" |
| "hue 0.416" -- "hue 0.458" -- "hue 0.500" --"hue 0.541" -- "hue 0.583" -- "hue 0.625" |
| "hue 0.625" -- "hue 0.666" -- "hue 0.708" -- "hue 0.750" -- "hue 0.791" -- "hue 0.833" |
| "hue 0.833" -- "hue 0.875" -- "hue 0.916" -- "hue 0.958" -- "hue 0.000" |
| } |
| subgraph Main_colors { |
| node [width = 2 fontsize = 20] |
| red [fillcolor = red fontcolor = white] |
| orangered [fillcolor = orangered] |
| orange [fillcolor = orange] |
| gold [fillcolor = gold] |
| yellow [fillcolor = yellow] |
| yellowgreen [fillcolor = yellowgreen] |
| deeppink [fillcolor = deeppink fontcolor = white] |
| fuchsia [label = "fuchsia\nmagenta" fillcolor = fuchsia fontcolor = white] |
| purple [fillcolor = purple fontcolor = white] |
| blue [fillcolor = blue fontcolor = white] |
| cornflowerblue [fillcolor = cornflowerblue] |
| deepskyblue [fillcolor = deepskyblue] |
| aqua [fillcolor = aqua label = "aqua\ncyan"] |
| springgreen [fillcolor = springgreen] |
| green [fillcolor = green] |
| purple -- fuchsia -- deeppink -- red |
| cornflowerblue -- blue -- purple |
| cornflowerblue -- deepskyblue -- aqua [len = 1.7] |
| aqua -- springgreen -- green -- yellowgreen -- yellow |
| yellow -- gold -- orange -- orangered -- red [len = 1.6] |
| orange -- "hue 0.083" |
| deeppink -- "hue 0.916" |
| deeppink -- "hue 0.875" |
| red -- "hue 0.000" |
| yellowgreen -- "hue 0.250" |
| blue -- "hue 0.666" |
| yellow -- "hue 0.166" |
| gold -- "hue 0.125" |
| green -- "hue 0.333" |
| springgreen -- "hue 0.416" |
| aqua -- "hue 0.500" |
| cornflowerblue -- "hue 0.583" |
| deepskyblue -- "hue 0.541" |
| purple -- "hue 0.791" |
| purple -- "hue 0.750" |
| fuchsia -- "hue 0.833" |
| } |
| subgraph Light_colors { |
| node [width = 2 fontsize = 20] |
| node [shape = circle width = 1.8] |
| edge [len = 2.1] |
| pink [fillcolor = pink] |
| pink -- red |
| lightyellow [fillcolor = lightyellow] |
| lightyellow -- yellow |
| mediumpurple [fillcolor = mediumpurple] |
| mediumpurple -- purple |
| violet [fillcolor = violet] |
| violet -- fuchsia |
| hotpink [fillcolor = hotpink] |
| hotpink -- deeppink |
| "light hue 0.250" [color = ".250 .2 1"] |
| "light hue 0.250" -- yellowgreen |
| lightcyan [fillcolor = lightcyan] |
| lightcyan -- aqua |
| lightslateblue [fillcolor = lightslateblue] |
| lightslateblue -- blue |
| lightgreen [fillcolor = lightgreen] |
| lightgreen -- green |
| lightskyblue [fillcolor = lightskyblue] |
| lightskyblue -- deepskyblue |
| peachpuff [fillcolor = peachpuff] |
| peachpuff -- orange |
| "light hue 0.416" [color = ".416 .2 1"] |
| "light hue 0.416" -- springgreen |
| } |
| subgraph Tints { |
| node [width = 1] |
| edge [len = 2.4] |
| "hue 0 tint" -- pink |
| "hue 0 tint" [color = "0 .1 1"] |
| "hue 0.041 tint" [color = ".041 .1 1"] |
| "hue 0.083 tint" -- peachpuff |
| "hue 0.083 tint" [color = ".083 .1 1"] |
| "hue 0.125 tint" [color = ".125 .1 1"] |
| "hue 0.166 tint" -- lightyellow |
| "hue 0.166 tint" [color = ".166 .1 1"] |
| "hue 0.208 tint" [color = ".208 .1 1"] |
| "hue 0.250 tint" -- "light hue 0.250" |
| "hue 0.250 tint" [color = ".250 .1 1"] |
| "hue 0.291 tint" [color = ".291 .1 1"] |
| "hue 0.333 tint" -- lightgreen |
| "hue 0.333 tint" [color = ".333 .1 1"] |
| "hue 0.375 tint" [color = ".375 .1 1"] |
| "hue 0.416 tint" -- "light hue 0.416" |
| "hue 0.416 tint" [color = ".416 .1 1"] |
| "hue 0.458 tint" [color = ".458 .1 1"] |
| "hue 0.5 tint" -- lightcyan |
| "hue 0.5 tint" [color = ".5 .1 1"] |
| "hue 0.541 tint" -- lightskyblue |
| "hue 0.541 tint" [color = ".541 .1 1"] |
| "hue 0.583 tint" [color = ".583 .1 1"] |
| "hue 0.625 tint" [color = ".625 .1 1"] |
| "hue 0.666 tint" -- lightslateblue |
| "hue 0.666 tint" [color = ".666 .1 1"] |
| "hue 0.708 tint" [color = ".708 .1 1"] |
| "hue 0.750 tint" -- mediumpurple |
| "hue 0.750 tint" [color = ".750 .1 1"] |
| "hue 0.791 tint" [color = ".791 .1 1"] |
| "hue 0.833 tint" -- violet |
| "hue 0.833 tint" [color = ".833 .1 1"] |
| "hue 0.875 tint" [color = ".875 .1 1"] |
| "hue 0.916 tint" -- hotpink |
| "hue 0.916 tint" [color = ".916 .1 1"] |
| "hue 0.958 tint" [color = ".958 .1 1"] |
| edge [len = 2] |
| "hue 0 tint" -- "hue 0.041 tint" -- "hue 0.083 tint" -- "hue 0.125 tint" -- "hue 0.166 tint" -- "hue 0.208 tint" |
| "hue 0.208 tint" -- "hue 0.250 tint" -- "hue 0.291 tint" -- "hue 0.333 tint" -- "hue 0.375 tint" -- "hue 0.416 tint" |
| "hue 0.416 tint" -- "hue 0.458 tint" -- "hue 0.5 tint" --"hue 0.541 tint" -- "hue 0.583 tint" -- "hue 0.625 tint" |
| "hue 0.625 tint" -- "hue 0.666 tint" -- "hue 0.708 tint" -- "hue 0.750 tint" -- "hue 0.791 tint" -- "hue 0.833 tint" |
| "hue 0.833 tint" -- "hue 0.875 tint" -- "hue 0.916 tint" -- "hue 0.958 tint" -- "hue 0 tint" |
| } |
| } |
| ''') |
|
|