Is it possible to write virtual NetKAT policies in Python?
ZhijiaCHEN opened this issue · comments
Hi,
I am playing with NetKAT's topology abstraction feature. But I found that NetKAT's python syntax module does not have corresponding predicates and policies for vport and vswitch fields. Does that mean I am not able to write virtual policies in Python at this moment?
Hi Zhijia,
Good catch. VSwitch, VPort, and VLink seem to be missing from the NetKAT
Python bindings. These would be easy to add by following the pattern for
Switch:
https://github.com/frenetic-lang/frenetic/blob/master/src/lang/python/frenetic/syntax.py#L245
It looks like (de)serialization support on the OCaml side is already there:
https://github.com/frenetic-lang/frenetic/blob/master/src/lib/netkat/Json.ml
…-N
On Fri, Jan 12, 2018 at 11:06 PM, ZhijiaCHEN ***@***.***> wrote:
Hi,
I am playing with NetKAT's topology abstraction feature. But I found that
NetKAT's python syntax module does not have corresponding predicates and
policies for vport and vswitch fields. Does that mean I am not able to
write virtual policies in Python at this moment?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#599>, or mute the thread
<https://github.com/notifications/unsubscribe-auth/ABwi0hS7UH4XvvMaZTuEuTFuCtESxa7Lks5tKCvFgaJpZM4RdF_x>
.
@jnfoster :
That's great! I should be able to add these bindings myself. Thanks!
Great. Pull requests are welcome ;)