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) { }