Translating array into vector in C++; supporting only List/ArrayList/list for Collect...

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

diff --git a/config/iotpolicy/camerapolicy.pol b/config/iotpolicy/camerapolicy.pol
index 7565bca09102d8fcea8f4d810a620c9096690f89..c2aa98bdf476264ccf8b9723440c507f31142580 100644 (file)
--- a/config/iotpolicy/camerapolicy.pol
+++ b/config/iotpolicy/camerapolicy.pol
@@ -3,8 +3,8 @@ public interface Camera {
     public void MethodA(int A, int B);
     public void MethodA(int A, int B, int AB);
     public int MethodB(int C, String D[]);
-    public String MethodC(String E, Map<String,Integer> F);
-    public float MethodD(Set<String> G, float H);
+    public String MethodC(String E, List<Integer> F);
+    public float MethodD(List<String> G, float H);
     public boolean MethodE(String I, boolean J);
        public void MethodF(LightBulb K);
 
@@ -13,14 +13,14 @@ public interface Camera {
                description = "Another description";
                method = "MethodA(int A, int B)";
                method = "MethodB(int C, String D[])";
-               method = "MethodC(String E, Map<String,Integer> F)";
+               method = "MethodC(String E, List<Integer> F)";
        }
 
        capability VideoRecording {
                description = "The quick brown fox jumps over the cool dog";
                method = "MethodA(int A, int B)";
                method = "MethodA(int A, int B, int AB)";
-               method = "MethodD(Set<String> G, float H)";
+               method = "MethodD(List<String> G, float H)";
        }
 
        capability BackupData {