BinaryReader (object)¶

バージョン 1.12.0 で追加.

The BinaryReader is used to read binary data from files. It supports reading of any shallow data structure represented as a Data pointer and a DataSize.

参考

BinaryWriter, BinaryBlockReader

/*
** Example: BinaryReader
*/

require FileIO;
  
operator entry() {

  FilePath path = FilePath('${TEMP}/binaryWriter.bin').expandEnvVars();
  {
    BinaryWriter writer = BinaryWriter(path.string());
    Size count = 50;
    Scalar values[];
    values.resize(count);
    for(Size i=0;i<values.size();i++)
      values[i] = Scalar(i) * 0.7;
    report(values[3]);
    report(values[17]);
    report(values[33]);
  
    writer.write(count.data(), count.dataSize());
    writer.write(values.data(), values.dataSize());
    report('Binary file written.');
  }
  
  if(path.exists())
  {
  
    BinaryReader reader = BinaryReader(path.string());
    Size count = 0;
    reader.read(count.data(), count.dataSize());
    Scalar values[];
    values.resize(count);
    reader.read(values.data(), values.dataSize());
  
    report(values[3]);
    report(values[17]);
    report(values[33]);
  
    report('Binary file read.');
  }
  
}

/*
** Output:

+2.1
+11.9
+23.1
Binary file written.
+2.1
+11.9
+23.1
Binary file read.

*/

Methods¶

	BinaryReader ( in BinaryReader other )
	BinaryReader ( in String filePath )
	BinaryReader ()
BinaryReader	clone ? ()
Boolean	close ! ()
Boolean	eof ? ()
Boolean	isOpen ? ()
Boolean	open ! ( in String filePath )
UInt64	pos ? ()
	read ! ( in Data data, in UInt64 dataSize )
	readString ! ( out String string )
	readStringArray ! ( out String strings[] )
	seek ! ( in UInt64 pos )
UInt64	size ? ()
	~BinaryReader ()