DeclarationTag.java

package org.overture.codegen.trans;

import org.overture.codegen.ir.declarations.AVarDeclIR;

public class DeclarationTag
{
	private boolean declared;

	private AVarDeclIR successVarDecl;

	public DeclarationTag(boolean declared, AVarDeclIR successVarDecl)
	{
		this.declared = declared;
		this.successVarDecl = successVarDecl;
	}

	public boolean isDeclared()
	{
		return declared;
	}

	public AVarDeclIR getSuccessVarDecl()
	{
		return successVarDecl;
	}
}