Adding new policy, Java, and Cpp files for testing/debugging

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

diff --git a/config/iotpolicy/testclasspolicy.pol b/config/iotpolicy/testclasspolicy.pol
new file mode 100644 (file)
index 0000000..21eb09e
--- /dev/null
+++ b/config/iotpolicy/testclasspolicy.pol
@@ -0,0 +1,32 @@
+public interface TestClassInterface {
+
+       public void setA(int _int);
+       public void setB(float _float);
+       public void setC(String _string);
+       public String sumArray(String newA[]);
+       public int setAndGetA(int newA);
+       public int setACAndGetA(String newC, int newA);
+
+       capability Setters {
+               description = "All the set methods";
+               method = "setA(int _int)";
+               method = "setB(float _float)";
+               method = "setC(String _string)";
+       }
+
+       capability SetAndGets {
+               description = "All the set-and-get methods";
+               method = "sumArray(String newA[])";
+               method = "setAndGetA(int newA)";
+               method = "setACAndGetA(String newC, int newA)";
+       }
+
+       struct StructJ {
+
+               string  name;
+               float   value;
+               int     year;
+       } 
+}
+
+