Package: SetInfo

SetInfo

nameinstructionbranchcomplexitylinemethod
SetInfo(boolean, AbstractTypeInfo)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
consCollectionCheck(String)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%

Coverage

1: package org.overture.codegen.vdm2jml.predgen.info;
2:
3: import org.overture.codegen.vdm2jml.runtime.V2J;
4:
5: public class SetInfo extends AbstractSetSeqInfo
6: {
7:         public static final String IS_SET_METHOD = "isSet";
8:
9:         public SetInfo(boolean optional, AbstractTypeInfo elementType)
10:         {
11:                 super(optional, elementType);
12:         }
13:
14:         @Override
15:         public String consCollectionCheck(String arg)
16:         {
17:                 // e.g. (V2J.isSet(xs) && (\forall int i; 0 <= i && i < V2J.size(xs); Utils.is_nat(V2J.get(xs,i))));
18:                 return consSubjectCheck(V2J.class.getSimpleName(), IS_SET_METHOD, arg);
19:         }
20:
21: }