Package: IRNamedTypeInvariantTag

IRNamedTypeInvariantTag

name	instruction	branch	complexity	line	method
IRNamedTypeInvariantTag(String)	M: 0 C: 6 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
getTypeNamed()	M: 3 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.ir;
2:
3: public class IRNamedTypeInvariantTag
4: {
5:         private String typeNamed;
6:
7:         public IRNamedTypeInvariantTag(String typeNamed)
8:         {
9:                 super();
10:                 this.typeNamed = typeNamed;
11:         }
12:
13:         public String getTypeNamed()
14:         {
15:                 return typeNamed;
16:         }
17: }