codeql/java/ql/lib/ext/generated/java.nio.charset.model.yml

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/java-all
      extensible: summaryModel
    data:
      - ["java.nio.charset", "CharsetDecoder", True, "decode", "(ByteBuffer)", "", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.replacement]", "ReturnValue.SyntheticField[java.nio.CharBuffer.hb]", "taint", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "decode", "(ByteBuffer,CharBuffer,boolean)", "", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.replacement]", "Argument[1].SyntheticField[java.nio.CharBuffer.hb]", "taint", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "malformedInputAction", "()", "", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.malformedInputAction]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "onMalformedInput", "(CodingErrorAction)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.malformedInputAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "onMalformedInput", "(CodingErrorAction)", "", "Argument[0]", "ReturnValue.SyntheticField[java.nio.charset.CharsetDecoder.malformedInputAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "onMalformedInput", "(CodingErrorAction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "onUnmappableCharacter", "(CodingErrorAction)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.unmappableCharacterAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "onUnmappableCharacter", "(CodingErrorAction)", "", "Argument[0]", "ReturnValue.SyntheticField[java.nio.charset.CharsetDecoder.unmappableCharacterAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "onUnmappableCharacter", "(CodingErrorAction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "replaceWith", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.replacement]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "replaceWith", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[java.nio.charset.CharsetDecoder.replacement]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "replaceWith", "(String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "replacement", "()", "", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.replacement]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "reset", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetDecoder", True, "unmappableCharacterAction", "()", "", "Argument[this].SyntheticField[java.nio.charset.CharsetDecoder.unmappableCharacterAction]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "encode", "(CharBuffer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "encode", "(CharBuffer,ByteBuffer,boolean)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "encode", "(CharBuffer,ByteBuffer,boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "malformedInputAction", "()", "", "Argument[this].SyntheticField[java.nio.charset.CharsetEncoder.malformedInputAction]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "onMalformedInput", "(CodingErrorAction)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.CharsetEncoder.malformedInputAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "onMalformedInput", "(CodingErrorAction)", "", "Argument[0]", "ReturnValue.SyntheticField[java.nio.charset.CharsetEncoder.malformedInputAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "onMalformedInput", "(CodingErrorAction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "onUnmappableCharacter", "(CodingErrorAction)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.CharsetEncoder.unmappableCharacterAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "onUnmappableCharacter", "(CodingErrorAction)", "", "Argument[0]", "ReturnValue.SyntheticField[java.nio.charset.CharsetEncoder.unmappableCharacterAction]", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "onUnmappableCharacter", "(CodingErrorAction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "replaceWith", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "replaceWith", "(byte[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "replacement", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "reset", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CharsetEncoder", True, "unmappableCharacterAction", "()", "", "Argument[this].SyntheticField[java.nio.charset.CharsetEncoder.unmappableCharacterAction]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "CoderMalfunctionError", True, "CoderMalfunctionError", "(Exception)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.charset", "IllegalCharsetNameException", True, "IllegalCharsetNameException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.IllegalCharsetNameException.charsetName]", "value", "dfc-generated"]
      - ["java.nio.charset", "IllegalCharsetNameException", True, "getCharsetName", "()", "", "Argument[this].SyntheticField[java.nio.charset.IllegalCharsetNameException.charsetName]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.charset", "UnsupportedCharsetException", True, "UnsupportedCharsetException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.charset.UnsupportedCharsetException.charsetName]", "value", "dfc-generated"]
      - ["java.nio.charset", "UnsupportedCharsetException", True, "getCharsetName", "()", "", "Argument[this].SyntheticField[java.nio.charset.UnsupportedCharsetException.charsetName]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.nio.charset", "Charset", "aliases", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "availableCharsets", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "canEncode", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "contains", "(Charset)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "decode", "(ByteBuffer)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "defaultCharset", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "displayName", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "displayName", "(Locale)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "encode", "(CharBuffer)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "encode", "(String)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "forName", "(String)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "isRegistered", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "isSupported", "(String)", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "newDecoder", "()", "summary", "df-generated"]
      - ["java.nio.charset", "Charset", "newEncoder", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "averageCharsPerByte", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "charset", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "detectedCharset", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "flush", "(CharBuffer)", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "isAutoDetecting", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "isCharsetDetected", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetDecoder", "maxCharsPerByte", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "averageBytesPerChar", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "canEncode", "(CharSequence)", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "canEncode", "(char)", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "charset", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "flush", "(ByteBuffer)", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "isLegalReplacement", "(byte[])", "summary", "df-generated"]
      - ["java.nio.charset", "CharsetEncoder", "maxBytesPerChar", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "isError", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "isMalformed", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "isOverflow", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "isUnderflow", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "isUnmappable", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "length", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "malformedForLength", "(int)", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "throwException", "()", "summary", "df-generated"]
      - ["java.nio.charset", "CoderResult", "unmappableForLength", "(int)", "summary", "df-generated"]
      - ["java.nio.charset", "MalformedInputException", "MalformedInputException", "(int)", "summary", "df-generated"]
      - ["java.nio.charset", "MalformedInputException", "getInputLength", "()", "summary", "df-generated"]
      - ["java.nio.charset", "UnmappableCharacterException", "UnmappableCharacterException", "(int)", "summary", "df-generated"]
      - ["java.nio.charset", "UnmappableCharacterException", "getInputLength", "()", "summary", "df-generated"]