X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iot2.git;a=blobdiff_plain;f=config%2Fiotpolicy%2Fpolicy.pol;h=986f6f9bb2c773fd4cffe87946398c93065daebe;hp=3048c1ee845ed3cf9d3b11e9ea9f5129beae3527;hb=de12bab65360671de45c0cd5a2b1eff5450a3649;hpb=bc87b03e7fe400e692dbca613ee79ff4f5654eea

diff --git a/config/iotpolicy/policy.pol b/config/iotpolicy/policy.pol
index 3048c1e..986f6f9 100644
--- a/config/iotpolicy/policy.pol
+++ b/config/iotpolicy/policy.pol
@@ -1,25 +1,25 @@
 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 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 void MethodF(LightBulb K);
+	public void MethodF(int K);
 
 	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 = "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";
-		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)";
 	}