public void write_oberon_exit_stmt(oberon_exit_stmt _oberon_exit_stmt)
{
write_statement(_oberon_exit_stmt);
if (_oberon_exit_stmt.text == null)
{
bw.Write((byte)0);
}
else
{
bw.Write((byte)1);
bw.Write(_oberon_exit_stmt.text);
}
}
public void visit(oberon_exit_stmt _oberon_exit_stmt)
{
bw.Write((Int16)148);
write_oberon_exit_stmt(_oberon_exit_stmt);
}
public void visit(oberon_exit_stmt _oberon_exit_stmt)
{
read_oberon_exit_stmt(_oberon_exit_stmt);
}
public void read_oberon_exit_stmt(oberon_exit_stmt _oberon_exit_stmt)
{
read_statement(_oberon_exit_stmt);
if (br.ReadByte() == 0)
{
_oberon_exit_stmt.text = null;
}
else
{
_oberon_exit_stmt.text = br.ReadString();
}
}
public void visit(oberon_exit_stmt _oberon_exit_stmt)
{
throw new NotImplementedException();
}