Is it possible to write virtual NetKAT policies in Python?

[ZhijiaCHEN]

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?

[jnfoster]

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> .

[ZhijiaCHEN]

@jnfoster :
That's great! I should be able to add these bindings myself. Thanks!

[smolkaj]

Great. Pull requests are welcome ;)