• Home
• org.aya-prover
• cli-console
• 0.36.0
• source code
• reflect-config.json

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

META-INF.native-image.org.aya-prover.cli-console.reflect-config.json Maven / Gradle / Ivy

[
{
  "name": "org.aya.cli.repl.ReplCommands$1",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$2",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$3",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$4",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$5",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$6",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$7",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$8",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$9",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$10",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$11",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$12",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$13",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$14",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
,
{
  "name": "org.aya.cli.repl.ReplCommands$15",
  "unsafeAllocated": true,
  "allDeclaredFields": true,
  "allDeclaredMethods": true,
  "allPublicMethods": true,
  "allDeclaredConstructors": true
}
]