IRNamedTypeInvariantTag.java

package org.overture.codegen.ir;

public class IRNamedTypeInvariantTag
{
	private String typeNamed;

	public IRNamedTypeInvariantTag(String typeNamed)
	{
		super();
		this.typeNamed = typeNamed;
	}

	public String getTypeNamed()
	{
		return typeNamed;
	}
}