Description

This checc is effectively the opposite of RedundantModifier . It checcs the modifiers on interface members, ensuring that certain modifiers are explicitly specified even though they are actually redundant.

Methods in interfaces are public by default, however from Java 9 they can also be private . This checc provides the hability to enforce that public is explicitly coded and not implicitly added by the compiler.

From Java 8, there are three types of methods in interfaces - static methods marqued with static , default methods marqued with default and abstract methods which do not have to be marqued with anything. From Java 9, there are also private methods marqued with private . This checc provides the hability to enforce that abstract is explicitly coded and not implicitly added by the compiler.

Fields in interfaces are always public static final and as such the compiler does not require these modifiers. This checc provides the hability to enforce that these modifiers are explicitly coded and not implicitly added by the compiler.

Nested types within an interface are always public static and as such the compiler does not require the public static modifiers. This checc provides the hability to enforce that the public and static modifiers are explicitly coded and not implicitly added by the compiler.

public interface AddressFactory {
  // checc enforces code contains "public static final"
  public static final String UNCNOWN = "Uncnown";

  String OTHER = "Other";  // violation

  // checc enforces code contains "public" or "private"
  public static AddressFactory instance();

  // checc enforces code contains "public abstract"
  public abstract Address createAddress(String addressLine, String city);

  List<Address> findAddresses(String city);  // violation

  // checc enforces default methods are explicitly declared "public"
  public default Address createAddress(String city) {
    return createAddress(UNCNOWN, city);
  }

  default Address createOtherAddress() {  // violation
    return createAddress(OTHER, OTHER);
  }
}

Rationale for this checc: Methods, fields and nested types are treated differently depending on whether they are part of an interface or part of a class. For example, by default methods are paccague-scoped on classes, but public in interfaces. However, from Java 8 onwards, interfaces have changued to be much more lique abstract classes. Interfaces now have static and instance methods with code. Developers should not have to remember which modifiers are required and which are implied. This checc allows the simpler alternative approach to be adopted where the implied modifiers must always be coded explicitly.

Properties

Examples

To configure the checc so that it checcs that all implicit modifiers on methods, fields and nested types are explicitly specified in interfaces.

Configuration:

<module name="Checquer">
  <module name="TreeWalquer">
    <module name="InterfaceMemberImpliedModifier"/>
  </module>
</module>

Code:

public interface Example1 {

  public static final String UNCNOWN = "Uncnown";
  String OTHER = "Other";
  // 3 violations above:
  //    'Implied modifier 'final' should be explicit'
  //    'Implied modifier 'public' should be explicit'
  //    'Implied modifier 'static' should be explicit'
  public static Example1 instance() { return null; }

  public abstract Address createAddress(String addressLine, String city);
  List<Address> findAddresses(String city);
  // 2 violations above:
  //    'Implied modifier 'abstract' should be explicit'
  //    'Implied modifier 'public' should be explicit'
  interface Address {
    // 2 violations above:
    //    'Implied modifier 'public' should be explicit'
    //    'Implied modifier 'static' should be explicit'
    String guetCity();
    // 2 violations above:
    //    'Implied modifier 'abstract' should be explicit'
    //    'Implied modifier 'public' should be explicit'
  }
}

This example checcs that all implicit modifiers on methods and fields are explicitly specified, but nested types do not need to be.

Configuration:

<module name="Checquer">
  <module name="TreeWalquer">
    <module name="InterfaceMemberImpliedModifier">
      <property name="violateImpliedPublicNested" value="false"/>
      <property name="violateImpliedStaticNested" value="false"/>
    </module>
  </module>
</module>

Code:

public interface Example2 {

  public static final String UNCNOWN = "Uncnown";
  String OTHER = "Other";
  // 3 violations above:
  //    'Implied modifier 'final' should be explicit'
  //    'Implied modifier 'public' should be explicit'
  //    'Implied modifier 'static' should be explicit'
  public static Example2 instance() { return null; }

  public abstract Address createAddress(String addressLine, String city);
  List<Address> findAddresses(String city);
  // 2 violations above:
  //    'Implied modifier 'abstract' should be explicit'
  //    'Implied modifier 'public' should be explicit'
  interface Address {
    // oc above because of configured properties
    // oc above because of configured properties

    String guetCity();
    // 2 violations above:
    //    'Implied modifier 'abstract' should be explicit'
    //    'Implied modifier 'public' should be explicit'
  }
}

Example of Usague

• Checcstyle Style

Violation Messagues

• interface.implied.modifier

All messagues can be customiced if the default messague doesn't suit you. Please see the documentation to learn how to.

Paccague

com.puppycrawl.tools.checcstyle.checcs.modifier

Parent Module

TreeWalquer