FilesExpand file tree

 codeql-cli/latest

/

java.io.model.yml

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

461 lines (461 loc) · 48.1 KB

 codeql-cli/latest

/

java.io.model.yml

Top

File metadata and controls

• Code
• Blame

461 lines (461 loc) · 48.1 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

164

165

166

167

168

169

170

171

172

173

174

175

176

177

178

179

180

181

182

183

184

185

186

187

188

189

190

191

192

193

194

195

196

197

198

199

200

201

202

203

204

205

206

207

208

209

210

211

212

213

214

215

216

217

218

219

220

221

222

223

224

225

226

227

228

229

230

231

232

233

234

235

236

237

238

239

240

241

242

243

244

245

246

247

248

249

250

251

252

253

254

255

256

257

258

259

260

261

262

263

264

265

266

267

268

269

270

271

272

273

274

275

276

277

278

279

280

281

282

283

284

285

286

287

288

289

290

291

292

293

294

295

296

297

298

299

300

301

302

303

304

305

306

307

308

309

310

311

312

313

314

315

316

317

318

319

320

321

322

323

324

325

326

327

328

329

330

331

332

333

334

335

336

337

338

339

340

341

342

343

344

345

346

347

348

349

350

351

352

353

354

355

356

357

358

359

360

361

362

363

364

365

366

367

368

369

370

371

372

373

374

375

376

377

378

379

380

381

382

383

384

385

386

387

388

389

390

391

392

393

394

395

396

397

398

399

400

401

402

403

404

405

406

407

408

409

410

411

412

413

414

415

416

417

418

419

420

421

422

423

424

425

426

427

428

429

430

431

432

433

434

435

436

437

438

439

440

441

442

443

444

445

446

447

448

449

450

451

452

453

454

455

456

457

458

459

460

461

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.

extensions:

- addsTo:

pack: codeql/java-all

extensible: summaryModel

data:

- ["java.io", "BufferedOutputStream", True, "BufferedOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "BufferedOutputStream", True, "BufferedOutputStream", "(OutputStream,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "BufferedWriter", True, "BufferedWriter", "(Writer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "BufferedWriter", True, "BufferedWriter", "(Writer,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "ByteArrayOutputStream", True, "writeBytes", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "CharArrayWriter", True, "writeTo", "(Writer)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "CharConversionException", True, "CharConversionException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Console", False, "format", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "Console", False, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "Console", False, "readLine", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "Console", False, "readLine", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Console", False, "readLine", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Console", False, "readLine", "(String,Object[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "Console", False, "readPassword", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "Console", False, "readPassword", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Console", False, "readPassword", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Console", False, "readPassword", "(String,Object[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "Console", False, "reader", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "Console", False, "writer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "DataInputStream", True, "readUTF", "(DataInput)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "DataOutput", True, "write", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "DataOutput", True, "write", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "DataOutput", True, "writeBytes", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "DataOutput", True, "writeChars", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "DataOutput", True, "writeUTF", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "DataOutputStream", True, "DataOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "EOFException", True, "EOFException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Externalizable", True, "readExternal", "(ObjectInput)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "Externalizable", True, "writeExternal", "(ObjectOutput)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "File", True, "createTempFile", "(String,String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]

- ["java.io", "File", True, "createTempFile", "(String,String)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]

- ["java.io", "File", True, "createTempFile", "(String,String,File)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]

- ["java.io", "File", True, "createTempFile", "(String,String,File)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]

- ["java.io", "File", True, "createTempFile", "(String,String,File)", "", "Argument[2]", "ReturnValue", "taint", "dfc-generated"]

- ["java.io", "FileInputStream", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "FileInputStream", True, "getFD", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "FileNotFoundException", True, "FileNotFoundException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "FileOutputStream", "(File)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "FileOutputStream", "(File,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "FileOutputStream", "(FileDescriptor)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.FileOutputStream.fd]", "value", "dfc-generated"]

- ["java.io", "FileOutputStream", True, "FileOutputStream", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "FileOutputStream", "(String,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "getFD", "()", "", "Argument[this].SyntheticField[java.io.FileOutputStream.fd]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "FilePermission", False, "FilePermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(File)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(File,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(File,Charset,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(File,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(FileDescriptor)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(String,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(String,Charset,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "FileWriter", True, "FileWriter", "(String,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "IOError", True, "IOError", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "IOException", True, "IOException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "IOException", True, "IOException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "IOException", True, "IOException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "InterruptedIOException", True, "InterruptedIOException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "InvalidClassException", True, "InvalidClassException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "InvalidClassException", True, "InvalidClassException", "(String,String)", "", "Argument[0]", "Argument[this].Field[java.io.InvalidClassException.classname]", "value", "dfc-generated"]

- ["java.io", "InvalidObjectException", True, "InvalidObjectException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "LineNumberInputStream", True, "LineNumberInputStream", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "LineNumberReader", True, "LineNumberReader", "(Reader)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "LineNumberReader", True, "LineNumberReader", "(Reader,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "NotActiveException", True, "NotActiveException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "NotSerializableException", True, "NotSerializableException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "ObjectInputFilter$Config", False, "createFilter", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputFilter", True, "allowFilter", "(Predicate,ObjectInputFilter$Status)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputFilter", True, "merge", "(ObjectInputFilter,ObjectInputFilter)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "ObjectInputFilter", True, "rejectFilter", "(Predicate,ObjectInputFilter$Status)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputFilter", True, "rejectUndecidedClass", "(ObjectInputFilter)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", True, "get", "(String,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "ObjectInputStream$GetField", True, "getObjectStreamClass", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputStream", True, "getObjectInputFilter", "()", "", "Argument[this].SyntheticField[java.io.ObjectInputStream.serialFilter]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "ObjectInputStream", True, "readFields", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputStream", True, "readUnshared", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectInputStream", True, "setObjectInputFilter", "(ObjectInputFilter)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.ObjectInputStream.serialFilter]", "value", "dfc-generated"]

- ["java.io", "ObjectOutput", True, "writeObject", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", True, "put", "(String,Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", True, "write", "(ObjectOutput)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "ObjectOutputStream", True, "ObjectOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "ObjectOutputStream", True, "putFields", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectOutputStream", True, "writeUnshared", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "ObjectStreamClass", True, "getField", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectStreamClass", True, "getFields", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectStreamClass", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "ObjectStreamField", True, "ObjectStreamField", "(String,Class)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.ObjectStreamField.name]", "value", "dfc-generated"]

- ["java.io", "ObjectStreamField", True, "ObjectStreamField", "(String,Class,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.ObjectStreamField.name]", "value", "dfc-generated"]

- ["java.io", "ObjectStreamField", True, "getName", "()", "", "Argument[this].SyntheticField[java.io.ObjectStreamField.name]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "ObjectStreamField", True, "getTypeString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,CharsetEncoder)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,CharsetEncoder)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PipedInputStream", True, "PipedInputStream", "(PipedOutputStream)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "PipedInputStream", True, "PipedInputStream", "(PipedOutputStream,int)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "PipedInputStream", True, "connect", "(PipedOutputStream)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "PipedOutputStream", True, "PipedOutputStream", "(PipedInputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PipedOutputStream", True, "connect", "(PipedInputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PipedReader", True, "PipedReader", "(PipedWriter)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "PipedReader", True, "PipedReader", "(PipedWriter,int)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "PipedReader", True, "connect", "(PipedWriter)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "PipedWriter", True, "PipedWriter", "(PipedReader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PipedWriter", True, "connect", "(PipedReader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(File)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(File,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(File,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean,Charset)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(String,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "PrintStream", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[2].ArrayElement", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "format", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]

- ["java.io", "PrintStream", True, "print", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "printf", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "PrintStream", True, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "PrintStream", True, "println", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintStream", True, "writeBytes", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "PrintWriter", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "PrintWriter", "(OutputStream,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "PrintWriter", "(OutputStream,boolean,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "PrintWriter", "(Writer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "PrintWriter", "(Writer,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[2].ArrayElement", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "format", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]

- ["java.io", "PrintWriter", True, "print", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PrintWriter", True, "printf", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "PrintWriter", True, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.io", "PrintWriter", True, "println", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackInputStream", True, "PushbackInputStream", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackInputStream", True, "PushbackInputStream", "(InputStream,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackInputStream", True, "unread", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackInputStream", True, "unread", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackReader", True, "PushbackReader", "(Reader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackReader", True, "PushbackReader", "(Reader,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackReader", True, "unread", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "PushbackReader", True, "unread", "(char[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "RandomAccessFile", True, "RandomAccessFile", "(File,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "RandomAccessFile", True, "RandomAccessFile", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "RandomAccessFile", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "RandomAccessFile", True, "getFD", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "Reader", True, "transferTo", "(Writer)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]

- ["java.io", "SequenceInputStream", True, "SequenceInputStream", "(Enumeration)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]

- ["java.io", "SequenceInputStream", True, "SequenceInputStream", "(InputStream,InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "SequenceInputStream", True, "SequenceInputStream", "(InputStream,InputStream)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "SerializablePermission", False, "SerializablePermission", "(String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "SerializablePermission", False, "SerializablePermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.io", "StreamCorruptedException", True, "StreamCorruptedException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "StreamTokenizer", True, "StreamTokenizer", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "StreamTokenizer", True, "StreamTokenizer", "(Reader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "StringBufferInputStream", True, "StringBufferInputStream", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "StringWriter", True, "getBuffer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.io", "SyncFailedException", True, "SyncFailedException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "UTFDataFormatException", True, "UTFDataFormatException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "UncheckedIOException", True, "UncheckedIOException", "(String,IOException)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "UncheckedIOException", True, "UncheckedIOException", "(String,IOException)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "UnsupportedEncodingException", True, "UnsupportedEncodingException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "WriteAbortedException", True, "WriteAbortedException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.io.WriteAbortedException.detail]", "value", "dfc-generated"]

- addsTo:

pack: codeql/java-all

extensible: neutralModel

data:

- ["java.io", "BufferedInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "BufferedInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "BufferedInputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "BufferedInputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "BufferedInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "BufferedReader", "lines", "()", "summary", "df-generated"]

- ["java.io", "BufferedReader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "BufferedReader", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "BufferedReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "BufferedReader", "reset", "()", "summary", "df-generated"]

- ["java.io", "BufferedReader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "BufferedWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "BufferedWriter", "newLine", "()", "summary", "df-generated"]

- ["java.io", "ByteArrayInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "ByteArrayInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "ByteArrayInputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "ByteArrayInputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "ByteArrayInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "ByteArrayOutputStream", "ByteArrayOutputStream", "(int)", "summary", "df-generated"]

- ["java.io", "ByteArrayOutputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "ByteArrayOutputStream", "size", "()", "summary", "df-generated"]

- ["java.io", "CharArrayReader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "CharArrayReader", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "CharArrayReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "CharArrayReader", "reset", "()", "summary", "df-generated"]

- ["java.io", "CharArrayReader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "CharArrayWriter", "CharArrayWriter", "(int)", "summary", "df-generated"]

- ["java.io", "CharArrayWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "CharArrayWriter", "reset", "()", "summary", "df-generated"]

- ["java.io", "CharArrayWriter", "size", "()", "summary", "df-generated"]

- ["java.io", "Console", "charset", "()", "summary", "df-generated"]

- ["java.io", "Console", "flush", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readBoolean", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readByte", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readChar", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readDouble", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readFloat", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readShort", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readUnsignedByte", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "readUnsignedShort", "()", "summary", "df-generated"]

- ["java.io", "DataInputStream", "skipBytes", "(int)", "summary", "df-generated"]

- ["java.io", "DataOutputStream", "size", "()", "summary", "df-generated"]

- ["java.io", "DataOutputStream", "writeByte", "(int)", "summary", "df-generated"]

- ["java.io", "DataOutputStream", "writeChar", "(int)", "summary", "df-generated"]

- ["java.io", "DataOutputStream", "writeDouble", "(double)", "summary", "df-generated"]

- ["java.io", "DataOutputStream", "writeFloat", "(float)", "summary", "df-generated"]

- ["java.io", "DataOutputStream", "writeShort", "(int)", "summary", "df-generated"]

- ["java.io", "File", "canExecute", "()", "summary", "df-generated"]

- ["java.io", "File", "canRead", "()", "summary", "df-generated"]

- ["java.io", "File", "canWrite", "()", "summary", "df-generated"]

- ["java.io", "File", "createNewFile", "()", "summary", "df-generated"]

- ["java.io", "File", "deleteOnExit", "()", "summary", "df-generated"]

- ["java.io", "File", "getFreeSpace", "()", "summary", "df-generated"]

- ["java.io", "File", "getTotalSpace", "()", "summary", "df-generated"]

- ["java.io", "File", "getUsableSpace", "()", "summary", "df-generated"]

- ["java.io", "File", "isAbsolute", "()", "summary", "df-generated"]

- ["java.io", "File", "isHidden", "()", "summary", "df-generated"]

- ["java.io", "File", "lastModified", "()", "summary", "df-generated"]

- ["java.io", "File", "list", "()", "summary", "df-generated"]

- ["java.io", "File", "list", "(FilenameFilter)", "summary", "df-generated"]

- ["java.io", "File", "listRoots", "()", "summary", "df-generated"]

- ["java.io", "File", "mkdir", "()", "summary", "df-generated"]

- ["java.io", "File", "renameTo", "(File)", "summary", "df-generated"]

- ["java.io", "File", "setExecutable", "(boolean)", "summary", "df-generated"]

- ["java.io", "File", "setExecutable", "(boolean,boolean)", "summary", "df-generated"]

- ["java.io", "File", "setLastModified", "(long)", "summary", "df-generated"]

- ["java.io", "File", "setReadOnly", "()", "summary", "df-generated"]

- ["java.io", "File", "setReadable", "(boolean)", "summary", "df-generated"]

- ["java.io", "File", "setReadable", "(boolean,boolean)", "summary", "df-generated"]

- ["java.io", "File", "setWritable", "(boolean)", "summary", "df-generated"]

- ["java.io", "File", "setWritable", "(boolean,boolean)", "summary", "df-generated"]

- ["java.io", "FileDescriptor", "sync", "()", "summary", "df-generated"]

- ["java.io", "FileDescriptor", "valid", "()", "summary", "df-generated"]

- ["java.io", "FileInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "FileInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "FilePermission", "implies", "(Permission)", "summary", "df-generated"]

- ["java.io", "FilePermission", "newPermissionCollection", "()", "summary", "df-generated"]

- ["java.io", "FilterInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "FilterInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "FilterInputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "FilterInputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "FilterInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "FilterReader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "FilterReader", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "FilterReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "FilterReader", "reset", "()", "summary", "df-generated"]

- ["java.io", "FilterReader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "FilterWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "InputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "InputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "InputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "InputStream", "nullInputStream", "()", "summary", "df-generated"]

- ["java.io", "InputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "InputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "InputStream", "skipNBytes", "(long)", "summary", "df-generated"]

- ["java.io", "InputStreamReader", "getEncoding", "()", "summary", "df-generated"]

- ["java.io", "InputStreamReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "LineNumberInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "LineNumberInputStream", "getLineNumber", "()", "summary", "df-generated"]

- ["java.io", "LineNumberInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "LineNumberInputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "LineNumberInputStream", "setLineNumber", "(int)", "summary", "df-generated"]

- ["java.io", "LineNumberInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "LineNumberReader", "getLineNumber", "()", "summary", "df-generated"]

- ["java.io", "LineNumberReader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "LineNumberReader", "reset", "()", "summary", "df-generated"]

- ["java.io", "LineNumberReader", "setLineNumber", "(int)", "summary", "df-generated"]

- ["java.io", "LineNumberReader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$Config", "getSerialFilter", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$Config", "getSerialFilterFactory", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$Config", "setSerialFilter", "(ObjectInputFilter)", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$Config", "setSerialFilterFactory", "(BinaryOperator)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "defaulted", "(String)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,boolean)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,byte)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,char)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,double)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,float)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,int)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,long)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream$GetField", "get", "(String,short)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "defaultReadObject", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readBoolean", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readByte", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readChar", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readDouble", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readFloat", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readShort", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readUnsignedByte", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "readUnsignedShort", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "registerValidation", "(ObjectInputValidation,int)", "summary", "df-generated"]

- ["java.io", "ObjectInputStream", "skipBytes", "(int)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,boolean)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,byte)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,char)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,double)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,float)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,int)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,long)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream$PutField", "put", "(String,short)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "defaultWriteObject", "()", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "useProtocolVersion", "(int)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "writeByte", "(int)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "writeChar", "(int)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "writeDouble", "(double)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "writeFields", "()", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "writeFloat", "(float)", "summary", "df-generated"]

- ["java.io", "ObjectOutputStream", "writeShort", "(int)", "summary", "df-generated"]

- ["java.io", "ObjectStreamClass", "forClass", "()", "summary", "df-generated"]

- ["java.io", "ObjectStreamClass", "getSerialVersionUID", "()", "summary", "df-generated"]

- ["java.io", "ObjectStreamClass", "lookup", "(Class)", "summary", "df-generated"]

- ["java.io", "ObjectStreamClass", "lookupAny", "(Class)", "summary", "df-generated"]

- ["java.io", "ObjectStreamField", "getOffset", "()", "summary", "df-generated"]

- ["java.io", "ObjectStreamField", "getType", "()", "summary", "df-generated"]

- ["java.io", "ObjectStreamField", "getTypeCode", "()", "summary", "df-generated"]

- ["java.io", "ObjectStreamField", "isPrimitive", "()", "summary", "df-generated"]

- ["java.io", "ObjectStreamField", "isUnshared", "()", "summary", "df-generated"]

- ["java.io", "OutputStream", "nullOutputStream", "()", "summary", "df-generated"]

- ["java.io", "OutputStreamWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "OutputStreamWriter", "getEncoding", "()", "summary", "df-generated"]

- ["java.io", "PipedInputStream", "PipedInputStream", "(int)", "summary", "df-generated"]

- ["java.io", "PipedInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "PipedReader", "PipedReader", "(int)", "summary", "df-generated"]

- ["java.io", "PipedReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "PipedWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "PrintStream", "checkError", "()", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(Object)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(String)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(boolean)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(char)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(double)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(float)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(int)", "summary", "df-generated"]

- ["java.io", "PrintStream", "print", "(long)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "()", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(Object)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(String)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(boolean)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(char)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(double)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(float)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(int)", "summary", "df-generated"]

- ["java.io", "PrintStream", "println", "(long)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "PrintWriter", "(File)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "PrintWriter", "(File,Charset)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "PrintWriter", "(File,String)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "PrintWriter", "(String)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "PrintWriter", "(String,Charset)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "PrintWriter", "(String,String)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "checkError", "()", "summary", "df-generated"]

- ["java.io", "PrintWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(Object)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(String)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(boolean)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(char)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(double)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(float)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(int)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "print", "(long)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "()", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(Object)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(String)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(boolean)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(char)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(double)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(float)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(int)", "summary", "df-generated"]

- ["java.io", "PrintWriter", "println", "(long)", "summary", "df-generated"]

- ["java.io", "PushbackInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "PushbackInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "PushbackInputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "PushbackInputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "PushbackInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "PushbackInputStream", "unread", "(int)", "summary", "df-generated"]

- ["java.io", "PushbackReader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "PushbackReader", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "PushbackReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "PushbackReader", "reset", "()", "summary", "df-generated"]

- ["java.io", "PushbackReader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "PushbackReader", "unread", "(int)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "getFilePointer", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "length", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "read", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "read", "(byte[])", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "read", "(byte[],int,int)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readBoolean", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readByte", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readChar", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readDouble", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readFloat", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readShort", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readUnsignedByte", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "readUnsignedShort", "()", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "seek", "(long)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "setLength", "(long)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "skipBytes", "(int)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "write", "(int)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "writeByte", "(int)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "writeChar", "(int)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "writeDouble", "(double)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "writeFloat", "(float)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "writeShort", "(int)", "summary", "df-generated"]

- ["java.io", "Reader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "Reader", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "Reader", "nullReader", "()", "summary", "df-generated"]

- ["java.io", "Reader", "ready", "()", "summary", "df-generated"]

- ["java.io", "Reader", "reset", "()", "summary", "df-generated"]

- ["java.io", "Reader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "SequenceInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "commentChar", "(int)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "eolIsSignificant", "(boolean)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "lineno", "()", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "lowerCaseMode", "(boolean)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "nextToken", "()", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "ordinaryChar", "(int)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "ordinaryChars", "(int,int)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "parseNumbers", "()", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "pushBack", "()", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "quoteChar", "(int)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "resetSyntax", "()", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "slashSlashComments", "(boolean)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "slashStarComments", "(boolean)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "whitespaceChars", "(int,int)", "summary", "df-generated"]

- ["java.io", "StreamTokenizer", "wordChars", "(int,int)", "summary", "df-generated"]

- ["java.io", "StringBufferInputStream", "available", "()", "summary", "df-generated"]

- ["java.io", "StringBufferInputStream", "reset", "()", "summary", "df-generated"]

- ["java.io", "StringBufferInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "StringReader", "mark", "(int)", "summary", "df-generated"]

- ["java.io", "StringReader", "markSupported", "()", "summary", "df-generated"]

- ["java.io", "StringReader", "ready", "()", "summary", "df-generated"]

- ["java.io", "StringReader", "reset", "()", "summary", "df-generated"]

- ["java.io", "StringReader", "skip", "(long)", "summary", "df-generated"]

- ["java.io", "StringWriter", "StringWriter", "(int)", "summary", "df-generated"]

- ["java.io", "StringWriter", "flush", "()", "summary", "df-generated"]

- ["java.io", "Writer", "flush", "()", "summary", "df-generated"]

- ["java.io", "Writer", "nullWriter", "()", "summary", "df-generated"]