Package ch.usi.si.codelounge.jsicko

Annotation Type Contract.Requires

  • @Target({METHOD,CONSTRUCTOR})
public static @interface Contract.Requires
    Declares the preconditions 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