Class ScalaWorkspaceEdit


  • public class ScalaWorkspaceEdit
    extends java.lang.Object
    A workspace edit represents changes to many resources managed in the workspace.
    • Constructor Detail

      • ScalaWorkspaceEdit

        public ScalaWorkspaceEdit​(java.util.List<ScalaTextEdit> changes)
    • Method Detail

      • getChanges

        @Pure
        public java.util.List<ScalaTextEdit> getChanges()
      • setChanges

        public void setChanges​(java.util.List<ScalaTextEdit> changes)
      • toString

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

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

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