Package ch.usi.si.codelounge.jsicko

Annotation Type Contract.Ensures

  • @Target({METHOD,CONSTRUCTOR})
public static @interface Contract.Ensures
    Declares the postconditions of a method. The value of this class corresponds to the name of a boolean method implementing a clause.

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      String[] value