public void write_sequence_type(sequence_type _sequence_type)
{
write_type_definition(_sequence_type);
if (_sequence_type.elements_type == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
_sequence_type.elements_type.visit(this);
}
}
public override void visit(sequence_type _sequence_type)
{
_sequence_type.elements_type.visit(this);
}
public void visit(sequence_type _sequence_type)
{
bw.Write((Int16)199);
write_sequence_type(_sequence_type);
}
public override void visit(sequence_type _sequence_type)
{
template_type_reference ttr = new template_type_reference();
ttr.name = new named_type_reference("IEnumerable");
ttr.source_context = _sequence_type.source_context;
ttr.params_list = new template_param_list();
ttr.params_list.params_list.Add(_sequence_type.elements_type);
visit(ttr);
}
public void read_sequence_type(sequence_type _sequence_type)
{
read_type_definition(_sequence_type);
_sequence_type.elements_type = _read_node() as type_definition;
}
public void visit(sequence_type _sequence_type)
{
read_sequence_type(_sequence_type);
}
public override void visit(sequence_type _sequence_type)
{
sb.Append("sequence of ");
visit_node(_sequence_type.elements_type);
}
public void CompareInternal(sequence_type left, sequence_type right)
{
if (left == null && right != null || left != null && right == null)
throw_not_equal(left, right);
if (left != null && right != null)
{
CompareInternal(left.elements_type, right.elements_type);
}
}
