Package: AbstractSetSeqInfo

AbstractSetSeqInfo

nameinstructionbranchcomplexitylinemethod
AbstractSetSeqInfo(boolean, AbstractTypeInfo)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
consElementCheck(String, String, String, NameGen, String)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
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: import org.overture.codegen.vdm2jml.util.NameGen;
5:
6: public abstract class AbstractSetSeqInfo extends AbstractCollectionInfo
7: {
8:         public static final String GET_METHOD = "get";
9:
10:         protected AbstractTypeInfo elementType;
11:
12:         public AbstractSetSeqInfo(boolean optional, AbstractTypeInfo elementType)
13:         {
14:                 super(optional);
15:                 this.elementType = elementType;
16:         }
17:
18:         @Override
19:         public String consElementCheck(String enclosingClass,
20:                         String javaRootPackage, String arg, NameGen nameGen, String iteVar)
21:         {
22:                 String elementArg = consSubjectCheckExtraArg(V2J.class.getSimpleName(), GET_METHOD, arg, iteVar);
23:                 return elementType.consCheckExp(enclosingClass, javaRootPackage, elementArg, nameGen);
24:         }
25: }