Class PureWhitelist.PureElement

  • Enclosing class:
    PureWhitelist

    @Data
    public static class PureWhitelist.PureElement
    extends java.lang.Object
    Declares that a method is pure or all methods in a class or package are pure.
    • Method Detail

      • covers

        public boolean covers​(org.eclipse.xtext.common.types.JvmOperation jvmOperation)
      • hashCode

        @Pure
        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        @Pure
        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

        @Pure
        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getFullyQualifiedName

        @Pure
        public java.lang.String getFullyQualifiedName()