X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iot2.git;a=blobdiff_plain;f=config%2Fiotpolicy%2Ftestclasspolicy_advanced.pol;fp=config%2Fiotpolicy%2Ftestclasspolicy_advanced.pol;h=ad432795ae6dc44c62f2978d0ffb374ae85c9088;hp=c5fcfd27c26538ed25096d60fe63c94230042927;hb=8daaec4f96717f5ac88d7158a0955ac194647800;hpb=03f1eb47b4b938ab05001122a0010bf8c07de338 diff --git a/config/iotpolicy/testclasspolicy_advanced.pol b/config/iotpolicy/testclasspolicy_advanced.pol index c5fcfd2..ad43279 100644 --- a/config/iotpolicy/testclasspolicy_advanced.pol +++ b/config/iotpolicy/testclasspolicy_advanced.pol @@ -15,6 +15,7 @@ public interface TestClassInterface { public void registerCallback(CallBackInterface _cb); public void registerCallbackArray(CallBackInterface _cb[]); public void registerCallbackList(List _cb); + public void registerCallbackComplex(int in, List _cb, double db); public int callBack(); capability EnumsStructs { @@ -39,6 +40,7 @@ public interface TestClassInterface { method = "registerCallback(CallBackInterface _cb)"; method = "registerCallbackArray(CallBackInterface _cb[])"; method = "registerCallbackList(List _cb)"; + method = "registerCallbackComplex(int in, List _cb, double db)"; method = "callBack()"; }