Changeset 8edd04e in lost-haven for gamegui/ScrollBar.java

Timestamp:

Jun 7, 2020, 3:04:32 PM (5 years ago)

Author:

Dmitry Portnoy <dmitry.portnoy@…>

Branches:

master

Children:

a49176d

Parents:

155577b

Message:

Make the decompiled game code compile successfully

File:

• gamegui/ScrollBar.java (modified) (1 diff)

gamegui/ScrollBar.java

@@ -2 +2 @@
 
 import java.awt.*;
-import java.awt.event.*;
+import java.awt.event.MouseEvent;
 
 public class ScrollBar extends Member {
-        int size;
-        int position;
-        int scrollSpeed;
-        
-        public ScrollBar(String newName, int newX, int newY, int newWidth, int newHeight, int newScrollSpeed) {
-                super(newName, newX, newY, newWidth, newHeight);
-                
-                size = 0;
-                position = 0;
-                scrollSpeed = newScrollSpeed;
-        }
-        
-        public void clear() {
-                size = 0;
-                position = 0;
-        }
-        
-        public boolean handleEvent(MouseEvent e) {
-                if(!(getX() < e.getX() && e.getX() < getX()+getWidth() && getY() < e.getY() && e.getY() < getY()+getHeight()))
-                        return false;
-                else
-                        return true;
-        }
-        
-        public void draw(Graphics g) {
-                g.setColor(Color.black);
-        g.fillRect(getX(), getY(), getWidth(), getHeight());
-        
-        g.setColor(Color.red);
-                g.drawRect(getX(), getY(), getWidth(), getHeight());
-                
-                g.drawLine(getX(), getY()+getWidth(), getX()+getWidth(), getY()+getWidth());
-                g.drawLine(getX(), getY()+getHeight()-getWidth(), getX()+getWidth(), getY()+getHeight()-getWidth());
-        
-                g.drawLine(getX(), getY()+getWidth()+position, getX()+getWidth(), getY()+getWidth()+position);
-                g.drawLine(getX(), getY()+getWidth()+position+size, getX()+getWidth(), getY()+getWidth()+position+size);
-                
-                g.drawLine(getX()+getWidth()*3/20, getY()+getWidth()*17/20, getX()+getWidth()*17/20, getY()+getWidth()*17/20);
-                g.drawLine(getX()+getWidth()*17/20, getY()+getWidth()*17/20, getX()+getWidth()/2, getY()+getWidth()*3/20);
-                g.drawLine(getX()+getWidth()/2, getY()+getWidth()*3/20, getX()+getWidth()*3/20, getY()+getWidth()*17/20);
-                
-                g.drawLine(getX()+getWidth()*3/20, getY()+getHeight()-getWidth()*17/20, getX()+getWidth()*17/20, getY()+getHeight()-getWidth()*17/20);
-                g.drawLine(getX()+getWidth()*17/20, getY()+getHeight()-getWidth()*17/20, getX()+getWidth()/2, getY()+getHeight()-getWidth()*3/20);
-                g.drawLine(getX()+getWidth()/2, getY()+getHeight()-getWidth()*3/20, getX()+getWidth()*3/20, getY()+getHeight()-getWidth()*17/20);
-        }
 
-        public int getPosition() {
-                return position;
-        }
+  int size;
+  int position;
+  int scrollSpeed;
 
-        public int getScrollSpeed() {
-                return scrollSpeed;
-        }
+  public ScrollBar(String newName, int newX, int newY, int newWidth, int newHeight, int newScrollSpeed) {
+    super(newName, newX, newY, newWidth, newHeight);
+    this.size = 0;
+    this.position = 0;
+    this.scrollSpeed = newScrollSpeed;
+  }
 
-        public int getSize() {
-                return size;
-        }
-        
-        public int getMaxSize() {
-                return getHeight()-2*getWidth();
-        }
+  public void clear() {
+    this.size = 0;
+    this.position = 0;
+  }
 
-        public void setPosition(int position) {
-                this.position = position;
-        }
-        
-        public void setSize(int size) {
-                this.size = size;
-        }
+  public boolean handleEvent(MouseEvent e) {
+    if (getX() >= e.getX() || e.getX() >= getX() + getWidth() || getY() >= e.getY() || e.getY() >= getY() + getHeight()) {
+      return false;
+    }
+    return true;
+  }
+
+  public void draw(Graphics g) {
+    g.setColor(Color.black);
+    g.fillRect(getX(), getY(), getWidth(), getHeight());
+    g.setColor(Color.red);
+    g.drawRect(getX(), getY(), getWidth(), getHeight());
+    g.drawLine(getX(), getY() + getWidth(), getX() + getWidth(), getY() + getWidth());
+    g.drawLine(getX(), getY() + getHeight() - getWidth(), getX() + getWidth(), getY() + getHeight() - getWidth());
+    g.drawLine(getX(), getY() + getWidth() + this.position, getX() + getWidth(), getY() + getWidth() + this.position);
+    g.drawLine(getX(), getY() + getWidth() + this.position + this.size, getX() + getWidth(), getY() + getWidth() + this.position + this.size);
+    g.drawLine(getX() + getWidth() * 3 / 20, getY() + getWidth() * 17 / 20, getX() + getWidth() * 17 / 20, getY() + getWidth() * 17 / 20);
+    g.drawLine(getX() + getWidth() * 17 / 20, getY() + getWidth() * 17 / 20, getX() + getWidth() / 2, getY() + getWidth() * 3 / 20);
+    g.drawLine(getX() + getWidth() / 2, getY() + getWidth() * 3 / 20, getX() + getWidth() * 3 / 20, getY() + getWidth() * 17 / 20);
+    g.drawLine(getX() + getWidth() * 3 / 20, getY() + getHeight() - getWidth() * 17 / 20, getX() + getWidth() * 17 / 20, getY() + getHeight() - getWidth() * 17 / 20);
+    g.drawLine(getX() + getWidth() * 17 / 20, getY() + getHeight() - getWidth() * 17 / 20, getX() + getWidth() / 2, getY() + getHeight() - getWidth() * 3 / 20);
+    g.drawLine(getX() + getWidth() / 2, getY() + getHeight() - getWidth() * 3 / 20, getX() + getWidth() * 3 / 20, getY() + getHeight() - getWidth() * 17 / 20);
+  }
+
+  public int getPosition() {
+    return this.position;
+  }
+
+  public int getScrollSpeed() {
+    return this.scrollSpeed;
+  }
+
+  public int getSize() {
+    return this.size;
+  }
+
+  public int getMaxSize() {
+    return getHeight() - 2 * getWidth();
+  }
+
+  public void setPosition(int position) {
+    this.position = position;
+  }
+
+  public void setSize(int size) {
+    this.size = size;
+  }
 }