FilesExpand file tree

rc/3.14

/

java.io.model.yml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

404 lines (404 loc) · 44.6 KB

rc/3.14

/

java.io.model.yml

Copy path

Top

File metadata and controls

• Code
• Blame

404 lines (404 loc) · 44.6 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

# 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", "df-generated"]

- ["java.io", "BufferedOutputStream", True, "BufferedOutputStream", "(OutputStream,int)", "", "Argument[0]", "Argument[this]", "taint", "df-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", "df-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[0]", "Argument[this]", "taint", "df-generated"]

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

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

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

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

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

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

- ["java.io", "Console", False, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "taint", "df-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, "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", "df-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", "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]", "taint", "df-generated"]

- ["java.io", "FileOutputStream", True, "FileOutputStream", "(FileDescriptor)", "", "Argument[this]", "Argument[0]", "taint", "df-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]", "ReturnValue", "taint", "df-generated"]

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

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

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

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

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

- ["java.io", "FileReader", True, "FileReader", "(String,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-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]", "taint", "df-generated"]

- ["java.io", "InvalidClassException", True, "InvalidClassException", "(String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-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", "df-generated"]

- ["java.io", "LineNumberReader", True, "LineNumberReader", "(Reader,int)", "", "Argument[0]", "Argument[this]", "taint", "df-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", "taint", "df-generated"]

- ["java.io", "ObjectInputFilter", True, "merge", "(ObjectInputFilter,ObjectInputFilter)", "", "Argument[1]", "ReturnValue", "taint", "df-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", "taint", "df-generated"]

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

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

- ["java.io", "ObjectInputStream", True, "getObjectInputFilter", "()", "", "Argument[this]", "ReturnValue", "taint", "df-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]", "taint", "df-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]", "taint", "df-generated"]

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

- ["java.io", "ObjectStreamField", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-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", "df-generated"]

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

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

- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean,String)", "", "Argument[0]", "Argument[this]", "taint", "df-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", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

- ["java.io", "PrintStream", True, "println", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-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", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

- ["java.io", "PrintWriter", True, "println", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-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", "SerializablePermission", False, "SerializablePermission", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.io", "SerializablePermission", False, "SerializablePermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-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[0]", "Argument[this]", "taint", "df-generated"]

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

- addsTo:

pack: codeql/java-all

extensible: neutralModel

data:

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

- ["java.io", "BufferedWriter", "newLine", "()", "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", "CharArrayWriter", "CharArrayWriter", "(int)", "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", "DataInput", "readBoolean", "()", "summary", "df-generated"]

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

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

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

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

- ["java.io", "DataInput", "readInt", "()", "summary", "df-generated"]

- ["java.io", "DataInput", "readLong", "()", "summary", "df-generated"]

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

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

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

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

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

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

- ["java.io", "DataOutput", "writeBoolean", "(boolean)", "summary", "df-generated"]

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

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

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

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

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

- ["java.io", "DataOutput", "writeLong", "(long)", "summary", "df-generated"]

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

- ["java.io", "DataOutputStream", "size", "()", "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", "Flushable", "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", "LineNumberInputStream", "getLineNumber", "()", "summary", "df-generated"]

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

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

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

- ["java.io", "ObjectInput", "available", "()", "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", "ObjectInputFilter$FilterInfo", "arrayLength", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$FilterInfo", "depth", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$FilterInfo", "references", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$FilterInfo", "serialClass", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter$FilterInfo", "streamBytes", "()", "summary", "df-generated"]

- ["java.io", "ObjectInputFilter", "checkInput", "(ObjectInputFilter$FilterInfo)", "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", "defaultReadObject", "()", "summary", "df-generated"]

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

- ["java.io", "ObjectOutput", "flush", "()", "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", "writeFields", "()", "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", "getEncoding", "()", "summary", "df-generated"]

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

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

- ["java.io", "PrintStream", "checkError", "()", "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", "(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", "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", "(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", "unread", "(int)", "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", "seek", "(long)", "summary", "df-generated"]

- ["java.io", "RandomAccessFile", "setLength", "(long)", "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", "SequenceInputStream", "(InputStream,InputStream)", "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", "StringWriter", "StringWriter", "(int)", "summary", "df-generated"]

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