Package: RecursiveLeaf

RecursiveLeaf

nameinstructionbranchcomplexitylinemethod
RecursiveLeaf()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
consCheckExp(String, String, String, NameGen)
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getLeafTypesRecursively()
M: 0 C: 4
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 java.util.LinkedList;
4: import java.util.List;
5:
6: import org.overture.codegen.vdm2jml.util.NameGen;
7:
8: public class RecursiveLeaf extends AbstractTypeInfo
9: {
10:         public RecursiveLeaf()
11:         {
12:                 super(false);
13:         }
14:
15:         @Override
16:         public List<LeafTypeInfo> getLeafTypesRecursively()
17:         {
18:                 return new LinkedList<>();
19:         }
20:
21:         @Override
22:         public String consCheckExp(String enclosingClass, String javaRootPackage,
23:                         String arg, NameGen nameGen)
24:         {
25:                 return "false";
26:         }
27: }