public void write_oberon_ident_with_export_marker(oberon_ident_with_export_marker _oberon_ident_with_export_marker) { write_ident(_oberon_ident_with_export_marker); bw.Write((byte)_oberon_ident_with_export_marker.marker); }
public void visit(oberon_ident_with_export_marker _oberon_ident_with_export_marker) { bw.Write((Int16)147); write_oberon_ident_with_export_marker(_oberon_ident_with_export_marker); }
public void visit(oberon_ident_with_export_marker _oberon_ident_with_export_marker) { read_oberon_ident_with_export_marker(_oberon_ident_with_export_marker); }
public void read_oberon_ident_with_export_marker(oberon_ident_with_export_marker _oberon_ident_with_export_marker) { read_ident(_oberon_ident_with_export_marker); _oberon_ident_with_export_marker.marker = (oberon_export_marker)br.ReadByte(); }
public void visit(oberon_ident_with_export_marker _oberon_ident_with_export_marker) { throw new NotImplementedException(); }