Class ApplyWorkspaceEditParams


  • public class ApplyWorkspaceEditParams
    extends java.lang.Object
    The workspace/applyEdit request is sent from the server to the client to modify resource on the client side.
    • Constructor Detail

      • ApplyWorkspaceEditParams

        public ApplyWorkspaceEditParams()
      • ApplyWorkspaceEditParams

        public ApplyWorkspaceEditParams​(WorkspaceEdit edit)
      • ApplyWorkspaceEditParams

        public ApplyWorkspaceEditParams​(WorkspaceEdit edit,
                                        java.lang.String label)
    • Method Detail

      • setEdit

        public void setEdit​(WorkspaceEdit edit)
        The edits to apply.
      • getLabel

        public java.lang.String getLabel()
        An optional label of the workspace edit. This label is presented in the user interface for example on an undo stack to undo the workspace edit.
      • setLabel

        public void setLabel​(java.lang.String label)
        An optional label of the workspace edit. This label is presented in the user interface for example on an undo stack to undo the workspace edit.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

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

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object