Package: UnknownLeaf

UnknownLeaf

name	instruction	branch	complexity	line	method
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: }