config/iotpolicy/testclasspolicy.pol

   1 public interface TestClassInterface {
   2
   3         public byte getByte(byte in);
   4         public short getShort(short in);
   5         public long getLong(long in);
   6         public float getFloat(float in);
   7         public double getDouble(double in);
   8         public boolean getBoolean(boolean in);
   9         public char getChar(char in);
  10
  11         public byte[] getByteArray(byte in[]);
  12         public short[] getShortArray(short in[]);
  13         public long[] getLongArray(long in[]);
  14         public float[] getFloatArray(float in[]);
  15         public double[] getDoubleArray(double in[]);
  16         public boolean[] getBooleanArray(boolean in[]);
  17         public char[] getCharArray(char in[]);
  18
  19         public List<Byte> getByteList(List<Byte> in);
  20         public List<Short> getShortList(List<Short> in);
  21         public List<Long> getLongList(List<Long> in);
  22         public List<Float> getFloatList(List<Float> in);
  23         public List<Double> getDoubleList(List<Double> in);
  24         public List<Boolean> getBooleanList(List<Boolean> in);
  25         public List<Character> getCharList(List<Character> in);
  26
  27         public Enum handleEnum(Enum en);
  28         public Enum[] handleEnumArray(Enum en[]);
  29         public List<Enum> handleEnumList(List<Enum> en);
  30
  31         public Struct handleStruct(Struct str);
  32         public Struct[] handleStructArray(Struct str[]);
  33         public List<Struct> handleStructList(List<Struct> str);
  34
  35         public int getA();
  36         public void setA(int _int);
  37         public void setB(float _float);
  38         public void setC(String _string);
  39         public String sumArray(String newA[]);
  40         public int setAndGetA(int newA);
  41         public int setACAndGetA(String newC, int newA);
  42
  43         capability Setters {
  44                 description = "All the set methods";
  45                 method = "getByte(byte in)";
  46                 method = "getShort(short in)";
  47                 method = "getLong(long in)";
  48                 method = "getFloat(float in)";
  49                 method = "getDouble(double in)";
  50                 method = "getBoolean(boolean in)";
  51                 method = "getChar(char in)";
  52                 method = "getByteArray(byte in[])";
  53                 method = "getShortArray(short in[])";
  54                 method = "getLongArray(long in[])";
  55                 method = "getFloatArray(float in[])";
  56                 method = "getDoubleArray(double in[])";
  57                 method = "getBooleanArray(boolean in[])";
  58                 method = "getCharArray(char in[])";
  59                 method = "getByteList(List<Byte> in)";
  60                 method = "getShortList(List<Short> in)";
  61                 method = "getLongList(List<Long> in)";
  62                 method = "getFloatList(List<Float> in)";
  63                 method = "getDoubleList(List<Double> in)";
  64                 method = "getBooleanList(List<Boolean> in)";
  65                 method = "getCharList(List<Character> in)";
  66
  67                 method = "handleEnum(Enum en)";
  68                 method = "handleEnumArray(Enum en[])";
  69                 method = "handleEnumList(List<Enum> en)";
  70
  71                 method = "handleStruct(Struct str)";
  72                 method = "handleStructArray(Struct str[])";
  73                 method = "handleStructList(List<Struct> str)";
  74
  75                 method = "getA()";
  76                 method = "setA(int _int)";
  77                 method = "setB(float _float)";
  78                 method = "setC(String _string)";
  79         }
  80
  81         capability SetAndGets {
  82                 description = "All the set-and-get methods";
  83                 method = "sumArray(String newA[])";
  84                 method = "setAndGetA(int newA)";
  85                 method = "setACAndGetA(String newC, int newA)";
  86         }
  87
  88         enum Enum {
  89
  90                 APPLE,
  91                 ORANGE,
  92                 GRAPE
  93         }
  94
  95         struct Struct {
  96
  97                 string  name;
  98                 float   value;
  99                 int     year;
 100         }
 101 }
 102
 103