Annotation Type PostCondition


  • @Target(METHOD)
    @Retention(RUNTIME)
    public @interface PostCondition
    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      PostCondition.Type value
      The type.
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.String expression
      The expression will be parsed.
      • expression

        java.lang.String expression
        The expression will be parsed.
        Default:
        ""