X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=config%2Fiotpolicy%2Fcamerapolicy.pol;fp=config%2Fiotpolicy%2Fcamerapolicy.pol;h=809f12dcf6f76e35d5de8f5c9fd3355c7c489bda;hb=7c4edd552766ca89566cf033bc2320483204c625;hp=0afb5a05795462b5bc6b48ebb196cf3a9d9b335c;hpb=0c354a510ae5b360f5f04ff328d3b9a94f471e56;p=iot2.git

diff --git a/config/iotpolicy/camerapolicy.pol b/config/iotpolicy/camerapolicy.pol
index 0afb5a0..809f12d 100644
--- a/config/iotpolicy/camerapolicy.pol
+++ b/config/iotpolicy/camerapolicy.pol
@@ -6,6 +6,7 @@ public interface Camera {
     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);
 
 	capability ImageCapture {
 		description = "The quick brown fox jumps over the smart dog";
@@ -13,6 +14,7 @@ public interface Camera {
 		method = "MethodA(int A, int B)";
 		method = "MethodB(int C, String D[])";
 		method = "MethodC(String E, List<Integer> F)";
+		method = "MethodF(LightBulb K)";
 	}
 
 	capability VideoRecording {