Package: UnknownLeaf

UnknownLeaf

nameinstructionbranchcomplexitylinemethod
UnknownLeaf()
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: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%

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 UnknownLeaf extends AbstractTypeInfo
9: {
10:         public UnknownLeaf()
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 "true";
26:         }
27: }