public void CompareInternal(array_size left, array_size right)
{
if (left == null && right != null || left != null && right == null)
throw_not_equal(left, right);
if (left != null && right != null)
{
CompareInternal(left.attr_list, right.attr_list);
CompareInternal(left.max_value, right.max_value);
}
}
public void write_array_size(array_size _array_size)
{
write_type_definition(_array_size);
if (_array_size.max_value == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
_array_size.max_value.visit(this);
}
}
public void visit(array_size _array_size)
{
bw.Write((Int16)163);
write_array_size(_array_size);
}
public override void visit(array_size _array_size)
{
throw new NotImplementedException();
}
public override void visit(array_size _array_size)
{
throw new Exception("The method or operation is not implemented.");
}
public void read_array_size(array_size _array_size)
{
read_type_definition(_array_size);
_array_size.max_value = _read_node() as expression;
}
public void visit(array_size _array_size)
{
read_array_size(_array_size);
}
public override void visit(array_size node)
{
prepare_node(node.max_value, "max_value");
}
public override void visit(array_size node)
{
}
