Package pascal.taie.analysis.pta.plugin.util

Annotation Interface InvokeHandler

@Documented @Repeatable(InvokeHandlers.class) @Retention(RUNTIME) @Target(METHOD) public @interface InvokeHandler
Annotation for conveniently marking Invoke handlers in API models.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    signature
    Method signature of the Invoke to be handled.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    int[]
    argIndexes
    Indexes for the arguments used by the handler.

  • Element Details

    • signature

      String[] signature
      Method signature of the Invoke to be handled. Multiple method signatures can be specified in a single InvokeHandler annotation.

    • argIndexes

      int[] argIndexes
      Indexes for the arguments used by the handler.
      Default:
      {}