FilesExpand file tree

 main

/

java.util.zip.model.yml

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

162 lines (162 loc) · 17.8 KB

 main

/

java.util.zip.model.yml

Top

File metadata and controls

• Code
• Blame

162 lines (162 loc) · 17.8 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

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

extensions:

- addsTo:

pack: codeql/java-all

extensible: summaryModel

data:

- ["java.util.zip", "CheckedInputStream", True, "CheckedInputStream", "(InputStream,Checksum)", "", "Argument[1]", "Argument[this].SyntheticField[java.util.zip.CheckedInputStream.cksum]", "value", "dfc-generated"]

- ["java.util.zip", "CheckedInputStream", True, "getChecksum", "()", "", "Argument[this].SyntheticField[java.util.zip.CheckedInputStream.cksum]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "CheckedOutputStream", True, "CheckedOutputStream", "(OutputStream,Checksum)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "CheckedOutputStream", True, "CheckedOutputStream", "(OutputStream,Checksum)", "", "Argument[1]", "Argument[this].SyntheticField[java.util.zip.CheckedOutputStream.cksum]", "value", "dfc-generated"]

- ["java.util.zip", "CheckedOutputStream", True, "getChecksum", "()", "", "Argument[this].SyntheticField[java.util.zip.CheckedOutputStream.cksum]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "DataFormatException", True, "DataFormatException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "Deflater", True, "setInput", "(ByteBuffer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "Deflater", True, "setInput", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "Deflater", True, "setInput", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", True, "DeflaterInputStream", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", True, "DeflaterInputStream", "(InputStream,Deflater)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", True, "DeflaterInputStream", "(InputStream,Deflater)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", True, "DeflaterInputStream", "(InputStream,Deflater,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", True, "DeflaterInputStream", "(InputStream,Deflater,int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "DeflaterOutputStream", True, "DeflaterOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "DeflaterOutputStream", True, "DeflaterOutputStream", "(OutputStream,Deflater)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "DeflaterOutputStream", True, "DeflaterOutputStream", "(OutputStream,Deflater,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "DeflaterOutputStream", True, "DeflaterOutputStream", "(OutputStream,Deflater,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "DeflaterOutputStream", True, "DeflaterOutputStream", "(OutputStream,Deflater,int,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "DeflaterOutputStream", True, "DeflaterOutputStream", "(OutputStream,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "GZIPOutputStream", True, "GZIPOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "GZIPOutputStream", True, "GZIPOutputStream", "(OutputStream,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "GZIPOutputStream", True, "GZIPOutputStream", "(OutputStream,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "GZIPOutputStream", True, "GZIPOutputStream", "(OutputStream,int,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "Inflater", True, "setInput", "(ByteBuffer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "Inflater", True, "setInput", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "Inflater", True, "setInput", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "InflaterInputStream", True, "InflaterInputStream", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "InflaterInputStream", True, "InflaterInputStream", "(InputStream,Inflater)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "InflaterInputStream", True, "InflaterInputStream", "(InputStream,Inflater)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "InflaterInputStream", True, "InflaterInputStream", "(InputStream,Inflater,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "InflaterInputStream", True, "InflaterInputStream", "(InputStream,Inflater,int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "InflaterOutputStream", True, "InflaterOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "InflaterOutputStream", True, "InflaterOutputStream", "(OutputStream,Inflater)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "InflaterOutputStream", True, "InflaterOutputStream", "(OutputStream,Inflater,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "ZipEntry", "(ZipEntry)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "ZipEntry", True, "getComment", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.comment]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "getCreationTime", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.ctime]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "getExtra", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.extra]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "getLastAccessTime", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.atime]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "getLastModifiedTime", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.mtime]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.util.zip", "ZipEntry", True, "setComment", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.zip.ZipEntry.comment]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setCreationTime", "(FileTime)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.zip.ZipEntry.ctime]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setCreationTime", "(FileTime)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.zip.ZipEntry.ctime]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setCreationTime", "(FileTime)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setExtra", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[java.util.zip.ZipEntry.extra]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setLastAccessTime", "(FileTime)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.zip.ZipEntry.atime]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setLastAccessTime", "(FileTime)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.zip.ZipEntry.atime]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setLastAccessTime", "(FileTime)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setLastModifiedTime", "(FileTime)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.zip.ZipEntry.mtime]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setLastModifiedTime", "(FileTime)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.zip.ZipEntry.mtime]", "value", "dfc-generated"]

- ["java.util.zip", "ZipEntry", True, "setLastModifiedTime", "(FileTime)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]

- ["java.util.zip", "ZipError", True, "ZipError", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "ZipException", True, "ZipException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "ZipInputStream", True, "getNextEntry", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

- ["java.util.zip", "ZipOutputStream", True, "ZipOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "ZipOutputStream", True, "ZipOutputStream", "(OutputStream,Charset)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]

- ["java.util.zip", "ZipOutputStream", True, "putNextEntry", "(ZipEntry)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- ["java.util.zip", "ZipOutputStream", True, "setComment", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]

- addsTo:

pack: codeql/java-all

extensible: neutralModel

data:

- ["java.util.zip", "Adler32", "getValue", "()", "summary", "df-generated"]

- ["java.util.zip", "Adler32", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "Adler32", "update", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "Adler32", "update", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "Adler32", "update", "(int)", "summary", "df-generated"]

- ["java.util.zip", "CRC32", "getValue", "()", "summary", "df-generated"]

- ["java.util.zip", "CRC32", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "CRC32", "update", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "CRC32", "update", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "CRC32", "update", "(int)", "summary", "df-generated"]

- ["java.util.zip", "CRC32C", "getValue", "()", "summary", "df-generated"]

- ["java.util.zip", "CRC32C", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "CRC32C", "update", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "CRC32C", "update", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "CRC32C", "update", "(int)", "summary", "df-generated"]

- ["java.util.zip", "CheckedInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.util.zip", "Checksum", "update", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "Checksum", "update", "(byte[])", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "Deflater", "(int)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "Deflater", "(int,boolean)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "deflate", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "deflate", "(ByteBuffer,int)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "deflate", "(byte[])", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "deflate", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "deflate", "(byte[],int,int,int)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "end", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "finish", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "finished", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "getAdler", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "getBytesRead", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "getBytesWritten", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "getTotalIn", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "getTotalOut", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "needsInput", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "setDictionary", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "setDictionary", "(byte[])", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "setDictionary", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "setLevel", "(int)", "summary", "df-generated"]

- ["java.util.zip", "Deflater", "setStrategy", "(int)", "summary", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", "available", "()", "summary", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "DeflaterInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.util.zip", "DeflaterOutputStream", "finish", "()", "summary", "df-generated"]

- ["java.util.zip", "GZIPOutputStream", "finish", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "Inflater", "(boolean)", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "end", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "finished", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "getAdler", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "getBytesRead", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "getBytesWritten", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "getRemaining", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "getTotalIn", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "getTotalOut", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "inflate", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "inflate", "(byte[])", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "inflate", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "needsDictionary", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "needsInput", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "setDictionary", "(ByteBuffer)", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "setDictionary", "(byte[])", "summary", "df-generated"]

- ["java.util.zip", "Inflater", "setDictionary", "(byte[],int,int)", "summary", "df-generated"]

- ["java.util.zip", "InflaterInputStream", "available", "()", "summary", "df-generated"]

- ["java.util.zip", "InflaterInputStream", "mark", "(int)", "summary", "df-generated"]

- ["java.util.zip", "InflaterInputStream", "markSupported", "()", "summary", "df-generated"]

- ["java.util.zip", "InflaterInputStream", "reset", "()", "summary", "df-generated"]

- ["java.util.zip", "InflaterInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.util.zip", "InflaterOutputStream", "finish", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "getCompressedSize", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "getCrc", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "getMethod", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "getSize", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "getTime", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "getTimeLocal", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "isDirectory", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "setCompressedSize", "(long)", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "setCrc", "(long)", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "setMethod", "(int)", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "setSize", "(long)", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "setTime", "(long)", "summary", "df-generated"]

- ["java.util.zip", "ZipEntry", "setTimeLocal", "(LocalDateTime)", "summary", "df-generated"]

- ["java.util.zip", "ZipFile", "size", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipInputStream", "available", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipInputStream", "closeEntry", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipInputStream", "skip", "(long)", "summary", "df-generated"]

- ["java.util.zip", "ZipOutputStream", "closeEntry", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipOutputStream", "finish", "()", "summary", "df-generated"]

- ["java.util.zip", "ZipOutputStream", "setLevel", "(int)", "summary", "df-generated"]

- ["java.util.zip", "ZipOutputStream", "setMethod", "(int)", "summary", "df-generated"]