Adding handling for primitives, non-primitives, and user-defined types; doesn't handl...

[iot2.git] / config / iotpolicy / policy.pol

diff --git a/config/iotpolicy/policy.pol b/config/iotpolicy/policy.pol
index 3048c1ee845ed3cf9d3b11e9ea9f5129beae3527..986f6f9bb2c773fd4cffe87946398c93065daebe 100644 (file)
--- a/config/iotpolicy/policy.pol
+++ b/config/iotpolicy/policy.pol
@@ -1,25 +1,25 @@
 public interface Camera {
 
 public interface Camera {
 

-    public void MethodA(int A, Speaker B);
-    public void MethodA(int A, Speaker B, int AB);
+    public void MethodA(int A, int B);
+    public void MethodA(int A, int B, int AB);

     public int MethodB(int C, String D);
     public int MethodB(int C, String D);

-    public String MethodC(String E, Map<int> F);
+    public String MethodC(String E, Map<String,Integer> F);

     public float MethodD(Set<String> G, float H);
     public boolean MethodE(String I, boolean J);
     public float MethodD(Set<String> G, float H);
     public boolean MethodE(String I, boolean J);

-       public void MethodF(LightBulb K);
+       public void MethodF(int K);

 
        capability ImageCapture {
                description = "The quick brown fox jumps over the smart dog";
                description = "Another description";
 
        capability ImageCapture {
                description = "The quick brown fox jumps over the smart dog";
                description = "Another description";

-               method = "MethodA(int A, Speaker B)";
+               method = "MethodA(int A, int B)";

                method = "MethodB(int C, String D)";
                method = "MethodB(int C, String D)";

-               method = "MethodC(String E, Map<int> F)";
+               method = "MethodC(String E, Map<String,Integer> F)";

        }
 
        capability VideoRecording {
                description = "The quick brown fox jumps over the cool dog";
        }
 
        capability VideoRecording {
                description = "The quick brown fox jumps over the cool dog";

-               method = "MethodA(int A, Speaker B)";
-               method = "MethodA(int A, Speaker B, int AB)";
+               method = "MethodA(int A, int B)";
+               method = "MethodA(int A, int B, int AB)";

                method = "MethodD(Set<String> G, float H)";
        }
 
                method = "MethodD(Set<String> G, float H)";
        }