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();
		}
Example #5
0
 public void visit(oberon_ident_with_export_marker _oberon_ident_with_export_marker)
 {
     throw new NotImplementedException();
 }