Interface Line

  • All Superinterfaces:
    IdentifiableRemote, java.rmi.Remote, TptRemote

    public interface Line
    extends IdentifiableRemote
    A horizontal line that divides a Diagram into two parallel regions. Each region needs to contain a separate, parallel automaton.
    • Method Detail

      • getPosition

        int getPosition()
                 throws java.rmi.RemoteException
        Get vertical position (y-position) of the line in the drawing area.
        Returns:
        The y-Position
        Throws:
        java.rmi.RemoteException - remote communication problem
      • setPosition

        void setPosition​(int y)
                  throws java.rmi.RemoteException
        Set the vertical position of a line in the drawing area.
        Parameters:
        y - The vertical (y-)position for the line.
        Throws:
        java.rmi.RemoteException - remote communication problem