Package dev.equo.ide

Class WorkspaceInit

  • public class WorkspaceInit
extends java.lang.Object
    Initializes the IDE workspace.

    • Constructor Summary

      Constructors 
      Constructor Description
      WorkspaceInit()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void applyTo​(java.io.File workspaceDir)
      Should be called on the root workspace dir, which has folders like instance/install/config.
      void copyAllFrom​(WorkspaceInit other)
      Copies all initializers from the given workspace into this one.
      void setProperty​(java.lang.String subpath, java.lang.String key, java.lang.String value)
      Sets the given property at the given subpath.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • WorkspaceInit

        public WorkspaceInit()

    • Method Detail

      • setProperty

        public void setProperty​(java.lang.String subpath,
                        java.lang.String key,
                        java.lang.String value)
        Sets the given property at the given subpath.

      • copyAllFrom

        public void copyAllFrom​(WorkspaceInit other)
        Copies all initializers from the given workspace into this one.

      • applyTo

        public void applyTo​(java.io.File workspaceDir)
        Should be called on the root workspace dir, which has folders like instance/install/config.