Class JWDirectoryCreationFailed

java.lang.Object
com.io7m.jwheatsheaf.api.JWDirectoryCreationFailed
All Implemented Interfaces:
JWFileChooserEventType, JWFileChooserEventType.JWDirectoryCreationFailedType, JWFileChooserEventType.JWFileChooserEventErrorType

public final class JWDirectoryCreationFailed
extends java.lang.Object
implements JWFileChooserEventType.JWDirectoryCreationFailedType
An error occurred whilst trying to create a directory.
  • Method Details

    • path

      public java.nio.file.Path path()
      Specified by:
      path in interface JWFileChooserEventType.JWDirectoryCreationFailedType
      Specified by:
      path in interface JWFileChooserEventType.JWFileChooserEventErrorType
      Returns:
      The directory that could not be created
    • exception

      public java.lang.Exception exception()
      Specified by:
      exception in interface JWFileChooserEventType.JWDirectoryCreationFailedType
      Specified by:
      exception in interface JWFileChooserEventType.JWFileChooserEventErrorType
      Returns:
      The exception
    • withPath

      public final JWDirectoryCreationFailed withPath​(java.nio.file.Path value)
      Copy the current immutable object by setting a value for the path attribute. A shallow reference equality check is used to prevent copying of the same value by returning this.
      Parameters:
      value - A new value for path
      Returns:
      A modified copy of the this object
    • withException

      public final JWDirectoryCreationFailed withException​(java.lang.Exception value)
      Copy the current immutable object by setting a value for the exception attribute. A shallow reference equality check is used to prevent copying of the same value by returning this.
      Parameters:
      value - A new value for exception
      Returns:
      A modified copy of the this object
    • equals

      public boolean equals​(java.lang.Object another)
      This instance is equal to all instances of JWDirectoryCreationFailed that have equal attribute values.
      Overrides:
      equals in class java.lang.Object
      Returns:
      true if this is equal to another instance
    • hashCode

      public int hashCode()
      Computes a hash code from attributes: path, exception.
      Overrides:
      hashCode in class java.lang.Object
      Returns:
      hashCode value
    • toString

      public java.lang.String toString()
      Prints the immutable value JWDirectoryCreationFailed with attribute values.
      Overrides:
      toString in class java.lang.Object
      Returns:
      A string representation of the value
    • of

      public static JWDirectoryCreationFailed of​(java.nio.file.Path path, java.lang.Exception exception)
      Construct a new immutable JWDirectoryCreationFailed instance.
      Parameters:
      path - The value for the path attribute
      exception - The value for the exception attribute
      Returns:
      An immutable JWDirectoryCreationFailed instance
    • copyOf

      Creates an immutable copy of a JWFileChooserEventType.JWDirectoryCreationFailedType value. Uses accessors to get values to initialize the new immutable instance. If an instance is already immutable, it is returned as is.
      Parameters:
      instance - The instance to copy
      Returns:
      A copied immutable JWDirectoryCreationFailed instance
    • builder

      public static JWDirectoryCreationFailed.Builder builder()
      Creates a builder for JWDirectoryCreationFailed.
       JWDirectoryCreationFailed.builder()
          .setPath(java.nio.file.Path) // required path
          .setException(Exception) // required exception
          .build();
       
      Returns:
      A new JWDirectoryCreationFailed builder