public void visit(VariableDeclaration that)
{
that.Type.visit(this);
Console.WriteLine(" {0};", that.Name);
}
public void visit(VariableDeclaration that)
{
if (!_symbols.Insert(that.Name, that))
throw new CheckerError(that.Position, "Duplicate name '" + that.Name + "' detected in variable declaration");
}
