jakarta-mail-api.yaml

"functions":
- "name": "[jakarta.mail.internet.ParameterList].<init>(java.lang.String)"
  "params":
  - "name": "arg0"
    "type": "java.lang.String"
  "return_type": "jakarta.mail.internet.ParameterList"
  "signature": "[jakarta.mail.internet.ParameterList].<init>(java.lang.String)"
- "name": "[jakarta.mail.internet.InternetAddress].<init>(java.lang.String,boolean)"
  "params":
  - "name": "arg0"
    "type": "java.lang.String"
  - "name": "arg1"
    "type": "boolean"
  "return_type": "jakarta.mail.internet.InternetAddress"
  "signature": "[jakarta.mail.internet.InternetAddress].<init>(java.lang.String,boolean)"
- "name": "[jakarta.mail.internet.InternetAddress].<init>(java.lang.String)"
  "params":
  - "name": "arg0"
    "type": "java.lang.String"
  "return_type": "jakarta.mail.internet.InternetAddress"
  "signature": "[jakarta.mail.internet.InternetAddress].<init>(java.lang.String)"
- "name": "[jakarta.mail.internet.ContentDisposition].<init>(java.lang.String)"
  "params":
  - "name": "arg0"
    "type": "java.lang.String"
  "return_type": "jakarta.mail.internet.ContentDisposition"
  "signature": "[jakarta.mail.internet.ContentDisposition].<init>(java.lang.String)"
- "name": "[jakarta.mail.internet.ContentType].<init>(java.lang.String)"
  "params":
  - "name": "arg0"
    "type": "java.lang.String"
  "return_type": "jakarta.mail.internet.ContentType"
  "signature": "[jakarta.mail.internet.ContentType].<init>(java.lang.String)"
- "name": "[jakarta.mail.URLName].<init>(java.lang.String)"
  "params":
  - "name": "arg0"
    "type": "java.lang.String"
  "return_type": "jakarta.mail.URLName"
  "signature": "[jakarta.mail.URLName].<init>(java.lang.String)"
- "name": "[jakarta.mail.internet.MimeMessage].<init>(jakarta.mail.internet.MimeMessage)"
  "params":
  - "name": "arg0"
    "type": "jakarta.mail.internet.MimeMessage"
  "return_type": "jakarta.mail.internet.MimeMessage"
  "signature": "[jakarta.mail.internet.MimeMessage].<init>(jakarta.mail.internet.MimeMessage)"
"language": "jvm"
"project": "jakarta-mail-api"
"target_name": "HeaderTokenizerFuzzer"
"target_path": "/src/HeaderTokenizerFuzzer.java"