Module io.mokamint.application.api
Package io.mokamint.application.api

Annotation Interface Name

@Retention(RUNTIME) public @interface Name
An annotation for applications, providing their external name, as seen by the users of Mokamint.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
    Yields the name of an application, as it is seen by the users of Mokamint.

  • Element Details

    • value

      String value
      Yields the name of an application, as it is seen by the users of Mokamint.
      Returns:
      the name