public void visit(program_body _program_body)
{
bw.Write((Int16)54);
write_program_body(_program_body);
}
public void write_program_body(program_body _program_body)
{
write_syntax_tree_node(_program_body);
if (_program_body.used_units == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
_program_body.used_units.visit(this);
}
if (_program_body.program_definitions == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
_program_body.program_definitions.visit(this);
}
if (_program_body.program_code == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
_program_body.program_code.visit(this);
}
if (_program_body.using_list == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
_program_body.using_list.visit(this);
}
}
public override void visit(program_body _program_body)
{
throw new Exception("The method or operation is not implemented.");
}
public override void visit(program_body _program_body)
{
throw new NotImplementedException();
}
public void read_program_body(program_body _program_body)
{
read_syntax_tree_node(_program_body);
_program_body.used_units = _read_node() as uses_list;
_program_body.program_definitions = _read_node() as declarations;
_program_body.program_code = _read_node() as statement_list;
_program_body.using_list = _read_node() as using_list;
}
public void visit(program_body _program_body)
{
read_program_body(_program_body);
}
public override void visit(program_body _program_body)
{
prepare_node(_program_body.used_units,"used units");
prepare_node(_program_body.program_definitions,"definitions");
prepare_node(_program_body.program_code,"program code");
}
public void CompareInternal(program_body left, program_body right)
{
if (left == null && right != null || left != null && right == null)
throw_not_equal(left, right);
if (left != null && right != null)
{
CompareInternal(left.program_definitions, right.program_definitions);
CompareInternal(left.used_units, right.used_units);
CompareInternal(left.program_code, right.program_code);
}
}
public override void visit(program_body _program_body)
{
}
