Class GenericIssueDetails


  • public class GenericIssueDetails
    extends java.lang.Object
    Depending on the concrete errorType, different properties are set.
    • Constructor Detail

      • GenericIssueDetails

        public GenericIssueDetails​(GenericIssueErrorType errorType,
                                   java.util.Optional<FrameId> frameId,
                                   java.util.Optional<BackendNodeId> violatingNodeId,
                                   java.util.Optional<java.lang.String> violatingNodeAttribute)
    • Method Detail

      • getErrorType

        public GenericIssueErrorType getErrorType()
        Issues with the same errorType are aggregated in the frontend.
      • getFrameId

        public java.util.Optional<FrameId> getFrameId()
      • getViolatingNodeId

        public java.util.Optional<BackendNodeId> getViolatingNodeId()
      • getViolatingNodeAttribute

        public java.util.Optional<java.lang.String> getViolatingNodeAttribute()