In this notebook, we will be going through a tutorial on how to use the typegraph functionality to extract the relationships between types and functions within programs.
In this notebook, we will be going through a tutorial on how to use the typegraph functionality to extract the relationships between types and functions within programs.
Below we are using our parsefile function to take scripts and wrap them around in module headings that way they can be consumed by our other API's. We then pass off our Exprs to our typegraph function which collects all the type information we would like extracted from the code.
You can see the code that is being loaded here at agentbased2.jl
newsam.agents = Symbol[:I, :I, :I, :I, :S, :I, :I, :S, :I, :I, :I, :I, :I, :I, :S, :I, :S, :R, :I, :I] +newsam.agents = Symbol[:S, :I, :R, :S, :S, :S, :R, :S, :R, :I, :S, :R, :S, :S, :R, :S, :S, :R, :I, :I] E = Tuple{String,Tuple{Symbol,Vararg{Symbol,N} where N},Symbol}[("\"count\"", (:StateModel, :Symbol), :Int64), ("\"count\"", (:StateModel,), :Int64), ("\"stateload\"", (:StateModel, :Symbol), :Float64), ("\"tick!\"", (:StateModel,), :Array), ("\"transition\"", (:StateModel, :Int64, :Symbol), :Symbol), ("\"describe\"", (:StateModel,), :Array), ("\"step!\"", (:StateModel, :Int64), :StateModel), ("\"main\"", (:Int64,), :Tuple)]@@ -11942,6 +11943,7 @@@typegraph example
@@ -11990,26 +11992,16 @@We are going to repeat the process again for another similar script to see if we are able to detect the differences between the two programs.
+You can see the code that is being loaded here at agenttypes.jl
@typegraph example -
describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>18, Infected()=>1, Recovered()=>1] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>18, Infected()=>1, Recovered()=>1] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>17, Infected()=>1, Recovered()=>2] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>15, Infected()=>2, Recovered()=>3] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>13, Infected()=>4, Recovered()=>3] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>10, Infected()=>8, Recovered()=>2] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>3, Infected()=>10, Recovered()=>7] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>3, Infected()=>6, Recovered()=>11] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>7, Infected()=>4, Recovered()=>9] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>10, Infected()=>2, Recovered()=>8] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>18, Infected()=>2, Recovered()=>0] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>16, Infected()=>3, Recovered()=>1] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>11, Infected()=>6, Recovered()=>3] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>7, Infected()=>8, Recovered()=>5] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>17, Infected()=>2, Recovered()=>1] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>11, Infected()=>8, Recovered()=>1] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>2, Infected()=>14, Recovered()=>4] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>3, Infected()=>7, Recovered()=>10] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>5, Infected()=>7, Recovered()=>8] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>8, Infected()=>9, Recovered()=>3] describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>4, Infected()=>8, Recovered()=>8] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>6, Infected()=>5, Recovered()=>9] +describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>7, Infected()=>6, Recovered()=>7] describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>6, Infected()=>7, Recovered()=>7] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>4, Infected()=>6, Recovered()=>10] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>7, Infected()=>8, Recovered()=>5] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>3, Infected()=>11, Recovered()=>6] -describe(sm) = Pair{_1,Int64} where _1[Susceptible()=>2, Infected()=>6, Recovered()=>12]@@ -12034,9 +12026,9 @@@typegraph example@typegraph example@typegraph example
-@@ -12195,13 +12187,13 @@visualizing the edges¶
Now that we have extracted the relevant type information, we want to visualize these transformations in a knowledge graph.
+Visualizing the edges¶
Now that we have extracted the relevant type information, we want to visualize these transformations in a knowledge graph.
visualizing the edgescatch add_vertex!(g,:label,e[2]) # add ags end - + try g[e[3],:label] catch add_vertex!(g,:label,e[3]) # add rets end - + try add_edge!(g,g[e[2],:label],g[e[3],:label],:label,e[1])#escapehtml(string(e[1]))) # add func edges catch @@ -12211,12 +12203,6 @@
visualizing the edgesreturn g end -# for e in edges(g) -# sn, dn = g[src(e),:label], g[dst(e), :label] -# # f = g[sn, :label, dn, :label] -# @show g.eprops[e][:label] -# println(sn, "--->", dn) -# end function projectors(g, key=:label) newedges = [] for v in vertices(g) @@ -12387,7 +12373,7 @@
visualizing the edges
@@ -12430,11 +12416,11 @@using Colors cm = Colors.colormap("RdBu", 2nv(h)) -color(v) = "#$(hex(cm[v + floor(Int, nv(h)/2)]))" #"gray$(100 - 3v)" +color(v) = "#$(hex(cm[v + floor(Int, nv(h)/2)]))"visualizing the edgesIn [14]:
-@@ -12458,324 +12444,188 @@for v in vertices(g) - g.vprops[v][:color] = color(v) - g.vprops[v][:style] = "filled" +for v in vertices(h) + h.vprops[v][:color] = color(v) + h.vprops[v][:style] = "filled" end -draw(g, "exampletypegraph.dot") +draw(h, "exampletypegraph.dot")visualizing the edges -
-color(v) = "#$(hex(cm[v + floor(Int, nv(h)/2)]))" #"gray$(100 - 3v)" -ϕ(t) = begin +ϕ(t) = begin d=Dict{Symbol,Symbol}(:Susceptible=>:Symbol, :Infected=>:Symbol, :Recovered=>:Symbol, @@ -12867,324 +12716,324 @@visualizing the edges -