GraphMine

graphmine-util / io.github.sof3.graphmine.util / java.io.DataInputStream / readString

readString

fun DataInputStream.readString(): String