Method: IRNamedTypeInvariantTag(String)

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: }