import javax.media.opengl.glu.*;
import com.sun.opengl.util.*;
import java.util.*;
+import edu.berkeley.qfat.bind.*;
import edu.berkeley.qfat.geom.*;
import edu.berkeley.qfat.geom.Point;
-public class MeshViewer extends Viewer {
-
- public int whichNeighbor = 1;
-
- public double temp;
- public boolean tileon = true;
- public boolean tilemeshon = false;
- public boolean goalon = true;
- public boolean anneal = false;
- public boolean hillclimb = false;
- public boolean neighbors = false;
- public boolean neighborsWire = false;
- public boolean neighborsWireOne = false;
- public boolean errorNormals = false;
-
- public boolean force = false;
- public Matrix[] transforms;
- public Mesh.Vertex[] points;
- public int breaks = 0;
-
- public int temps;
- public int accepts;
- public int vertss;
- protected HashSet<Mesh.T> safeTriangles = new HashSet<Mesh.T>();
-
- public MeshViewer(JFrame f) { super(f); }
-
-
- public void _display(GLAutoDrawable drawable, GL gl) {
-
- if (transforms==null) return;
- glcanvas.setSize(f.getWidth(), f.getHeight() - 100);
- Graphics2D g = (Graphics2D)f.getGraphics();
- g.setColor(Color.black);
- g.fillRect(0, f.getHeight()-100, f.getWidth(), f.getHeight());
- g.setColor(Color.red);
- int top = f.getHeight()-70;
- g.drawString("temperature: "+temps, 10, 30+top);
- g.drawString("acceptance: "+accepts, 10, 50+top);
- g.drawString("vertices: "+vertss, 10, 70+top);
- g.fillRect(140, 25+top, temps, 10);
- g.fillRect(140, 45+top, accepts, 10);
- g.fillRect(140, 65+top, vertss, 10);
+/**
+ * A basic MeshViewer displays zero or more meshes to the user, in
+ * wireframe or shaded panels.
+ */
+public class MeshViewer extends JPanel implements GLEventListener, MouseListener, MouseMotionListener, KeyListener, MouseWheelListener {
+
+ Main main;
+
+ private float tz = 0;
+ private float anglex = 0;
+ private float angley = 0;
+
+ boolean drawEdge = false;
+
+ private Mesh.Vertex closest = null;
+ private Mesh.E closestEdge = null;
+ private Point closestOriginallyAt = null;
+ private int mousex;
+ private int mousey;
+ private Matrix projection = null;
+ private Point clickPoint = null;
+ private GLCanvas glcanvas;
+ private boolean updateVisibilities = false;
+ private boolean updateClosest = false;
+ private boolean mouseInside = false;
+
+ private HashSet<Mesh> meshes = new HashSet<Mesh>();
+
+ public synchronized void addMesh(Mesh m) { meshes.add(m); }
+ public synchronized void removeMesh(Mesh m) { meshes.remove(m); }
+
+ public void reshape(GLAutoDrawable drawable, int x, int y, int width, int height) { }
+ public void displayChanged(GLAutoDrawable drawable, boolean modeChanged, boolean deviceChanged) { }
+
+ public void addKeyListener(KeyListener kl) { glcanvas.addKeyListener(kl); }
+
+ public synchronized void init(GLAutoDrawable gld) {
+ GL gl = glcanvas.getGL();//gld.getGL();
+ gl.glClearColor(0.0f, 0.0f, 0.0f, 1.0f);
+ gl.glViewport(0, 0, 500, 300);
+ gl.glEnable(GL.GL_DEPTH_TEST);
+ gl.glClearDepth(1.0);
+ gl.glDepthFunc(GL.GL_LEQUAL);
+ gl.glMatrixMode(GL.GL_PROJECTION);
+ gl.glLoadIdentity();
+ gl.glMatrixMode(GL.GL_MODELVIEW);
+
+ float mat_specular[] = { 0.5f, 0.5f, 0.5f, 0.5f };
+ float mat_shininess[] = { 50.0f };
+ gl.glShadeModel(GL.GL_SMOOTH);
+ gl.glLightfv(GL.GL_LIGHT0, GL.GL_POSITION, new float[] { 1.0f, 4.0f, -10.0f, 0.0f }, 0);
+ gl.glLightfv(GL.GL_LIGHT1, GL.GL_POSITION, new float[] { -10.0f, 10.0f, 10.0f, 0.0f }, 0);
+ gl.glLightfv(GL.GL_LIGHT2, GL.GL_POSITION, new float[] { 10.0f, -10.0f, 10.0f, 0.0f }, 0);
+ gl.glLightfv(GL.GL_LIGHT3, GL.GL_POSITION, new float[] { 10.0f, 10.0f, -10.0f, 0.0f }, 0);
+ gl.glLightfv(GL.GL_LIGHT4, GL.GL_POSITION, new float[] { -10.0f, 10.0f, -10.0f, 0.0f }, 0);
+ gl.glLightfv(GL.GL_LIGHT5, GL.GL_POSITION, new float[] { 10.0f, -10.0f, -10.0f, 0.0f }, 0);
+ gl.glEnable(GL.GL_LIGHTING);
+ gl.glEnable(GL.GL_LIGHT0);
+
+ gl.glColorMaterial(GL.GL_FRONT_AND_BACK, GL.GL_AMBIENT_AND_DIFFUSE);
+ gl.glEnable(GL.GL_COLOR_MATERIAL);
+
+ display(gld);
+
+ // hack to get around Mac OS bug
+ IntBuffer buf = ByteBuffer.allocateDirect(9*4*4).order(ByteOrder.nativeOrder()).asIntBuffer();
+ gl.glReadPixels(0,0, 1, 1, gl.GL_RGB, gl.GL_UNSIGNED_BYTE, buf);
+ }
+
+ public synchronized final void display(GLAutoDrawable drawable) {
+ glcanvas.setSize(glcanvas.getParent().getWidth(), glcanvas.getParent().getHeight());
+ GL gl = glcanvas.getGL();//drawable.getGL();
GLU glu = new GLU();
+
+ if (!mouseInside) gl.glClearColor(0.1f, 0.1f, 0.1f, 1.0f);
+ else gl.glClearColor(0.0f, 0.0f, 0.0f, 1.0f);
+
gl.glClear(GL.GL_COLOR_BUFFER_BIT | GL.GL_DEPTH_BUFFER_BIT);
gl.glPointSize(5.0f);
gl.glLoadIdentity();
glu.gluPerspective(50, ((float)drawable.getWidth())/drawable.getHeight(), 0.5, 10);
+
glu.gluLookAt(0, 0, -((tz/10)-1), 0, 0, 0, 0, 1, 0);
gl.glRotatef(anglex/3, 0, 1, 0);
gl.glRotatef(-(angley/3), 1, 0, 0);
-
- gl.glDisable(GL.GL_LIGHTING);
- gl.glColor4f(1, 0, 0, 1);
- gl.glBegin(GL.GL_LINES);
- gl.glVertex3f(0,0,0);
- gl.glVertex3f(.3f,0,0);
- gl.glEnd();
- gl.glColor4f(0, 1, 0, 1);
- gl.glBegin(GL.GL_LINES);
- gl.glVertex3f(0,0,0);
- gl.glVertex3f(0,.3f,0);
- gl.glEnd();
- gl.glColor4f(0, 0, 1, 1);
- gl.glBegin(GL.GL_LINES);
- gl.glVertex3f(0,0,0);
- gl.glVertex3f(0,0,.3f);
- gl.glEnd();
gl.glEnable(GL.GL_LIGHTING);
+ gl.glShadeModel(GL.GL_SMOOTH);
+ for(Mesh mesh : meshes) {
+ mesh.render(gl, Matrix.ONE);
+ if (main != null && main.whichNeighbor>0 && main.transforms!=null && !mesh.option_wireframe) {
+ mesh.option_wireframe = true;
+ mesh.render(gl, main.transforms[main.whichNeighbor-1]);
+ mesh.option_wireframe = false;
+ }
+ }
+ // highlight the point closest to the mouse; we do this here to avoid flicker
+ if (closest != null) {
+ gl.glDisable(GL.GL_LIGHTING);
+ gl.glShadeModel(GL.GL_FLAT);
+
+ if (drawEdge) {
+ for(Mesh.E e : (Iterable<Mesh.E>)closestEdge.getBoundPeers()) {
+ gl.glColor3f(0,1,0);
+ gl.glBegin(gl.GL_LINES);
+ e.glVertices(gl);
+ gl.glEnd();
+ gl.glColor3f(1,0,0);
+ gl.glBegin(gl.GL_LINES);
+ e.pair.glVertices(gl);
+ gl.glEnd();
+ }
+ /*
+ if (closestEdge != null) {
+ gl.glColor3f(1,1,0);
+ gl.glBegin(gl.GL_TRIANGLES);
+ Mesh.T t = closestEdge.t;
+ t.p1().glVertex(gl);
+ t.p2().glVertex(gl);
+ t.p3().glVertex(gl);
+ gl.glColor3f(0,1,1);
+ main.transforms[main.whichNeighbor-1].times(closestEdge.t.p1()).glVertex(gl);
+ main.transforms[main.whichNeighbor-1].times(closestEdge.t.p2()).glVertex(gl);
+ main.transforms[main.whichNeighbor-1].times(closestEdge.t.p3()).glVertex(gl);
+ System.out.println("t="
+ +t.p1()+"\n "
+ +t.p2()+"\n "
+ +t.p3()+"\n "
+ );
+ System.out.println("x="
+ +main.transforms[main.whichNeighbor-1].times(t.p1())+"\n "
+ +main.transforms[main.whichNeighbor-1].times(t.p2())+"\n "
+ +main.transforms[main.whichNeighbor-1].times(t.p3())+"\n "
+ );
+ gl.glEnd();
+ }
+ */
+ }
- gl.glBegin(GL.GL_TRIANGLES);
- if (tileon)
- draw(gl, true, safeTriangles);
- if (tilemeshon)
- draw(gl, false, safeTriangles);
- gl.glEnd();
+ if (closest.visible) {
+ gl.glDisable(GL.GL_DEPTH_TEST);
+ gl.glColor3f(1,1,0);
+ gl.glBegin(gl.GL_POINTS);
+ closest.getPoint().glVertex(gl);
+ gl.glColor3f(0.5f,0.5f,0);
+ for(Mesh.Vertex v : (Iterable<Mesh.Vertex>)closest.getBoundPeers())
+ if (v!=closest)
+ v.getPoint().glVertex(gl);
+ gl.glEnd();
- //draw(gl, false, tile);
+ if (closest.getBindingConstraint() instanceof Plane) {
+ Plane p = (Plane)closest.getBindingConstraint();
+ Vec v = p.norm();
+ gl.glEnable(gl.GL_BLEND);
+ gl.glBlendFunc(gl.GL_SRC_ALPHA, gl.GL_ONE_MINUS_SRC_ALPHA);
+ gl.glColor4f(1,1,0,0.3f);
+ gl.glBegin(gl.GL_LINES);
+ closest.getPoint().glVertex(gl);
+ v.plus(closest.getPoint()).glVertex(gl);
+ closest.getPoint().glVertex(gl);
+ v.times(-1).plus(closest.getPoint()).glVertex(gl);
+ gl.glEnd();
+ gl.glDisable(gl.GL_BLEND);
+ }
- gl.glBegin(GL.GL_TRIANGLES);
- gl.glColor4f((float)0.5, (float)0.5, (float)0.5, (float)0.8);
- if (goalon)
- draw(gl, false, goal);
- gl.glEnd();
+ gl.glEnable(GL.GL_DEPTH_TEST);
+ }
+ }
+ projection = Matrix.getProjectionMatrix(gl);
- int i = 0;
- gl.glColor4f(1,1,1,1);
- for(Matrix m : transforms) {
- i++;
- if (neighborsWireOne && i!=whichNeighbor) continue;
- if (neighbors) draw(gl, true, safeTriangles, m);
- else if (neighborsWire || neighborsWireOne) draw(gl, false, safeTriangles, m);
+ if (updateVisibilities) {
+ updateVisibilities = false;
+ // update vertex visibilities
+ updateVisibility(gl);
}
- gl.glDisable(GL.GL_LIGHTING);
- gl.glShadeModel(GL.GL_FLAT);
- if (closest != null) {
- gl.glColor3f(1,1,1);
- gl.glBegin(gl.GL_POINTS);
- closest.getPoint().glVertex(gl);
- gl.glEnd();
+ if (updateClosest) {
+ updateClosest = false;
+ double dist = Double.MAX_VALUE;
+ double distE = Double.MAX_VALUE;
+ closest = null;
+ closestOriginallyAt = null;
+ closestEdge = null;
+ for(Mesh mesh : meshes)
+ if (mesh.option_selectable)
+ for(Mesh.Vertex v : mesh.vertices()) {
+ if (!v.visible) continue;
+ Point p = projection.times(v.getPoint());
+ int x = (int)p.x;
+ int y = (int)p.y;
+ int mousex = (int)getMouse().x;
+ int mousey = (int)getMouse().y;
+ if (closest==null || (x-mousex)*(x-mousex)+(y-mousey)*(y-mousey) < dist) {
+ dist = (x-mousex)*(x-mousex)+(y-mousey)*(y-mousey);
+ closest = v;
+ }
+ for(Mesh.E e = v.e; e!=null; e=e.pair.next==v.e?null:e.pair.next) {
+ if (!e.v2.visible) continue;
+ Segment s =
+ new Segment(projection.times(e.v1.getPoint()),
+ projection.times(e.v2.getPoint()));
+ double dist2 = s.distance(getMouse());
+ if (dist2 < distE) {
+ distE = dist2;
+ closestEdge = e;
+ }
+ }
+ }
}
+ }
+ protected synchronized void updateVisibility(GL gl) {
+ IntBuffer buf = ByteBuffer.allocateDirect(9*4*4).order(ByteOrder.nativeOrder()).asIntBuffer();
gl.glFlush();
gl.glDrawBuffer(GL.GL_BACK);
- gl.glReadBuffer( GL.GL_BACK );
- gl.glPixelStorei( GL.GL_PACK_ALIGNMENT, 1);
+ gl.glReadBuffer(GL.GL_BACK);
+ gl.glPixelStorei(GL.GL_PACK_ALIGNMENT, 1);
gl.glFlush();
gl.glDisable(GL.GL_LIGHTING);
gl.glShadeModel(GL.GL_FLAT);
+ gl.glClear(GL.GL_COLOR_BUFFER_BIT | GL.GL_DEPTH_BUFFER_BIT);
+ gl.glColor3f(0,0,0);
+ for(Mesh mesh : meshes) mesh.render(gl, Matrix.ONE, true);
+ for(Mesh mesh : meshes)
+ if (mesh.option_selectable)
+ for(Mesh.Vertex v : mesh.vertices()) {
+ Point p = v.getPoint();
+ Point projected = projection.times(p);
+ boolean vis = false;
+
+ gl.glColor3f(1,1,1);
+ gl.glBegin(gl.GL_POINTS);
+ p.glVertex(gl);
+ gl.glEnd();
+ gl.glFlush();
+
+ vis = false;
+ gl.glReadPixels((int)projected.x-1, (int)projected.y-1, 3, 3, gl.GL_RGB, gl.GL_UNSIGNED_BYTE, buf);
+ for(int j=0; j<9*4; j++) vis |= buf.get(j)!=0;
+
+ v.visible = vis;
+ if (vis) {
+ gl.glColor3f(0,0,0);
+ gl.glBegin(gl.GL_POINTS);
+ p.glVertex(gl);
+ gl.glEnd();
+ }
+ }
+ gl.glShadeModel(GL.GL_SMOOTH);
+ gl.glEnable(GL.GL_LIGHTING);
+ gl.glDrawBuffer(GL.GL_FRONT);
+ }
+ /** return the position of the mouse as a point in window-space */
+ public Point getMouse() {
+ return new Point(mousex, glcanvas.getHeight()-mousey, 0);
+ }
- updateVisibility(gl, tile);
-
- Matrix projection = Matrix.getProjectionMatrix(gl);
- double dist = Double.MAX_VALUE;
- if (clickPoint != null) return;
- closest = null;
- for(Mesh.Vertex v : tile.vertices()) {
- if (!v.visible) continue;
- Point p = projection.times(v.getPoint());
- int x = (int)p.x;
- int y = (int)p.y;
- y = glcanvas.getHeight()-y;
- if (closest==null || (x-mousex)*(x-mousex)+(y-mousey)*(y-mousey) < dist) {
- dist = (x-mousex)*(x-mousex)+(y-mousey)*(y-mousey);
- closest = v;
- }
- }
+ /** return the position where the mouse button was pressed, or null if it is not currently pressed */
+ public Point getMouseClick() {
+ return clickPoint;
}
+ public void mouseWheelMoved(MouseWheelEvent e) {
+ tz -= e.getWheelRotation();
+ }
- private void draw(GL gl, boolean triangles, Iterable<Mesh.T> tris) { draw(gl, triangles, tris, Matrix.ONE); }
- private void draw(GL gl, boolean triangles, Iterable<Mesh.T> tris, Matrix m) {
- float red = 0.0f;
- float green = 0.0f;
- float blue = 0.0f;
- synchronized(this) {
- for(Mesh.T t : tris) {
- if (red < 0.15) red = 1.0f;
- if (green < 0.15) green = 1.0f;
- if (blue < 0.15) blue = 1.0f;
- red -= .09f;
- green -= .12f;
- blue -= .15f;
-
- /*
- if (triangles) switch(t.color) {
- case 0: gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3); break;
- case 1: gl.glColor4f((float)0.25, (float)0.75, (float)0.25, (float)0.3); break;
- case 2: gl.glColor4f((float)0.75, (float)0.25, (float)0.25, (float)0.3); break;
- case 3: gl.glColor4f((float)0.50, (float)0.50, (float)0.50, (float)0.3); break;
- case 4: gl.glColor4f((float)0.25, (float)0.75, (float)0.75, (float)0.3); break;
- case 5: gl.glColor4f((float)0.25, (float)0.75, (float)0.75, (float)0.3); break;
- case 6: gl.glColor4f((float)0.75, (float)0.25, (float)0.75, (float)0.3); break;
- }
- */
-
- gl.glColor4f((float)(0.25+(0.05*t.color)),
- (float)(0.25+(0.05*t.color)),
- (float)(0.75+(0.05*t.color)),
- (float)0.3);
- //if (t.v1().visible && t.v2().visible && t.v3().visible) continue;
-
- /*
- if (t.e1().pair.t==null) gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3);
- else if (t.e2().pair.t==null) gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3);
- else if (t.e3().pair.t==null) gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3);
- else gl.glColor4f((float)0.75, (float)0.25, (float)0.25, (float)0.3);
- */
- //gl.glBegin(GL.GL_LINES);
-
- if (triangles) {
- t.glTriangle(gl, m);
- } else {
- gl.glDisable(GL.GL_LIGHTING);
- gl.glBegin(GL.GL_LINES);
- gl.glColor3f(1, 1, 1);
- m.times(t.e1().p1.goodp).glVertex(gl);
- m.times(t.e1().p2.goodp).glVertex(gl);
- m.times(t.e2().p1.goodp).glVertex(gl);
- m.times(t.e2().p2.goodp).glVertex(gl);
- m.times(t.e3().p1.goodp).glVertex(gl);
- m.times(t.e3().p2.goodp).glVertex(gl);
- gl.glEnd();
- gl.glEnable(GL.GL_LIGHTING);
- }
+ public void keyTyped(KeyEvent e) { }
+ public void keyPressed(KeyEvent e) { }
+ public void keyReleased(KeyEvent e) { }
- Point centroid = t.centroid();
- gl.glBegin(GL.GL_LINES);
- gl.glColor3f(1, 1, 1);
-
- if (triangles && errorNormals)
- for(Mesh.Vertex p : new Mesh.Vertex[] { t.v1(), t.v2(), t.v3() }) {
- if (p.ok) {
- //gl.glDisable(GL.GL_LIGHTING);
- gl.glBegin(GL.GL_LINES);
- gl.glColor3f(1, 1, 1);
- p.p.glVertex(gl);
- p.p.plus(p.norm().times((float)p.error()*10)).glVertex(gl);
- //if (p.nearest_in_other_mesh != null) p.nearest_in_other_mesh.p.glVertex(gl);
- //tile.nearest(p).centroid().glVertex(gl);
- gl.glEnd();
- //gl.glEnable(GL.GL_LIGHTING);
- }
- }
- gl.glEnd();
-
- }
+ public void mouseClicked(MouseEvent e) { }
+ public void mouseEntered(MouseEvent e) { mouseInside = true; }
+ public void mouseExited(MouseEvent e) { mouseInside = false; }
+ public void mousePressed(MouseEvent e) {
+ clickPoint = getMouse();
+ }
+
+ public void mouseReleased(MouseEvent e) {
+ clickPoint = null;
+ }
+
+ public void mouseMoved(MouseEvent e) {
+ mousex = e.getX();
+ mousey = e.getY();
+
+ if ((e.getModifiersEx() & MouseEvent.SHIFT_DOWN_MASK) != 0) {
+ updateVisibilities = true;
+ drawEdge = true;
+ updateClosest = true;
}
}
- public synchronized void dump() {
- try {
- PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream("dump.stl")));
- pw.println("solid dump");
- for(Mesh.T t : tile) {
- Vec normal = t.norm();
- pw.println("facet normal " + normal.x + " " + normal.y + " " + normal.z);
- pw.println(" outer loop");
- for(Mesh.Vertex v : new Mesh.Vertex[] { t.v1(), t.v2(), t.v3() }) {
- pw.println(" vertex " + v.p.x + " " + v.p.y + " " + v.p.z);
+ public void mouseDragged(MouseEvent e) {
+ if ((e.getModifiersEx() & MouseEvent.SHIFT_DOWN_MASK) != 0) {
+ updateVisibilities = true;
+ drawEdge = true;
+ if (closest != null && projection != null) {
+ synchronized(this) {
+ if (closestOriginallyAt==null) closestOriginallyAt = closest.getPoint();
+ Vec d1 = projection.inverse().times(getMouse()).minus(projection.inverse().times(clickPoint));
+ Vec delta = d1.plus(closestOriginallyAt).minus(closest.getPoint());
+ closest.move(delta, false);
+ }
}
- pw.println(" endloop");
- pw.println("endfacet");
+ } else if ((e.getModifiersEx() & MouseEvent.CTRL_DOWN_MASK) != 0) {
+ // move edge
+ } else {
+ updateVisibilities = true;
+ anglex -= mousex - e.getX();
+ angley += mousey - e.getY();
}
- pw.println("endsolid dump");
- pw.flush();
- pw.close();
- } catch (Exception e) { throw new RuntimeException(e); }
+ mousex = e.getX();
+ mousey = e.getY();
}
- public void keyPressed(KeyEvent e) {
- super.keyPressed(e);
- switch(e.getKeyCode()) {
- case KeyEvent.VK_SPACE: breaks++; force = true; break;
- case KeyEvent.VK_UP: temp = temp * 2; break;
- case KeyEvent.VK_ENTER: temp = 10; break;
- case KeyEvent.VK_LEFT: whichNeighbor--; break;
- case KeyEvent.VK_RIGHT: whichNeighbor++; break;
- case KeyEvent.VK_D: dump(); break;
- case KeyEvent.VK_E: errorNormals = !errorNormals; break;
- case KeyEvent.VK_A: hillclimb = false; anneal = !anneal; break;
- case KeyEvent.VK_H: anneal = true; hillclimb = !hillclimb; break;
- case KeyEvent.VK_N: neighbors = !neighbors; break;
- case KeyEvent.VK_T: tileon = !tileon; break;
- case KeyEvent.VK_G: goalon = !goalon; break;
- case KeyEvent.VK_M: tilemeshon = !tilemeshon; break;
- }
+ public MeshViewer() {
+ glcanvas = new GLCanvas();
+ glcanvas.addGLEventListener(this);
+ setLayout(new BorderLayout());
+ this.add(glcanvas, BorderLayout.CENTER);
+ glcanvas.addMouseListener(this);
+ glcanvas.addMouseMotionListener(this);
+ glcanvas.addMouseWheelListener(this);
+ glcanvas.addKeyListener(this);
+ }
+
+ public void repaint() {
+ if (glcanvas != null) glcanvas.repaint();
}
}
\ No newline at end of file