@@ -16,7 +16,7 @@ module Gradio {
1616 /**
1717 * The event handlers, Interface and gradio.ChatInterface classes, which take untrusted data.
1818 */
19- class GradioInput extends API:: CallNode {
19+ private class GradioInput extends API:: CallNode {
2020 GradioInput ( ) {
2121 this =
2222 API:: moduleImport ( "gradio" )
@@ -45,7 +45,7 @@ module Gradio {
4545 * The `inputs` parameters in Gradio event handlers, that are lists and are sources of untrusted data.
4646 * This model allows tracking each element list back to source, f.ex. `gr.Textbox(...)`.
4747 */
48- class GradioInputList extends RemoteFlowSource:: Range {
48+ private class GradioInputList extends RemoteFlowSource:: Range {
4949 GradioInputList ( ) {
5050 exists ( GradioInput call |
5151 // limit only to lists of parameters given to `inputs`.
@@ -70,7 +70,7 @@ module Gradio {
7070 /**
7171 * The `inputs` parameters in Gradio event handlers, that are not lists and are sources of untrusted data.
7272 */
73- class GradioInputParameter extends RemoteFlowSource:: Range {
73+ private class GradioInputParameter extends RemoteFlowSource:: Range {
7474 GradioInputParameter ( ) {
7575 exists ( GradioInput call |
7676 this = call .getParameter ( 0 , "fn" ) .getParameter ( _) .asSource ( ) and
@@ -86,7 +86,7 @@ module Gradio {
8686 /**
8787 * The `inputs` parameters in Gradio decorators to event handlers, that are sources of untrusted data.
8888 */
89- class GradioInputDecorator extends RemoteFlowSource:: Range {
89+ private class GradioInputDecorator extends RemoteFlowSource:: Range {
9090 GradioInputDecorator ( ) {
9191 exists ( GradioInput call |
9292 this = call .getReturn ( ) .getACall ( ) .getParameter ( 0 ) .getParameter ( _) .asSource ( )
0 commit comments