main page modules namespaces classes files
Gecode/J home

TreeView.java

Go to the documentation of this file.

package org.gecode.explorer.cocoa;

import com.apple.cocoa.foundation.*;
import com.apple.cocoa.application.*;

import java.util.*;

import org.gecode.*;
import org.gecode.explorer.*;


public class TreeView extends NSView {
    
    float scale = (float) 1;
    ExplorerNode root;
    BoundingBox rootBox;
    
    public void setRootNode(ExplorerNode theRoot) {
        this.root = theRoot;
        root.dirtyUp();
        layout();
    }
    
    public TreeView(NSRect frameRect) {
        super(frameRect);
    }
    
    public void layout() {
        root.layout();
        rootBox = root.getBoundingBox();
        contentSizeChanged();
    }
    
    private void drawUnitSquare() {
        NSPoint p = new NSPoint((float) -50, (float) 0);
        NSSize size = new NSSize((float) 100, (float) 100);
        NSRect rect = new NSRect(p, size);
        NSBezierPath.bezierPathWithRect(rect).stroke();
    }
    
    private void drawFrameRect() {
        NSBezierPath.bezierPathWithRect(frame()).stroke();
    }
    
    private NSAffineTransform getRootTransform() {
        float translateX = - (float) rootBox.left + sideMargin / 2;
        float translateY = topMargin;
        NSAffineTransform rootTransform = new NSAffineTransform();
        rootTransform.translateXYBy(translateX * scale, translateY * scale);
        rootTransform.scaleBy(scale);
        return rootTransform;
    }
        
    private void drawRootBox() {
        float rootBoxL = ((float) rootBox.left);
        float rootBoxR = ((float) rootBox.right);
        float rootBoxD = ((float) rootBox.depth * root.verticalOffset);
        
        NSPoint p = new NSPoint(rootBoxL, (float) 0.0);
        NSSize size = new NSSize(- rootBoxL + rootBoxR, rootBoxD);
        NSRect rect = new NSRect(p, size);
        NSBezierPath.bezierPathWithRect(rect).stroke();
    }
    
    private float topMargin = (float) 20;
    private float sideMargin = (float) root.horizontalOffset;
    
    private void contentSizeChanged() {
        if (rootBox != null) {
            float rootBoxL = ((float) rootBox.left);
            float rootBoxR = ((float) rootBox.right);
            float rootBoxD = ((float) rootBox.depth * root.verticalOffset);
            
            float width = - rootBoxL + rootBoxR + sideMargin;
            float depth = rootBoxD + topMargin;
            
            NSAffineTransform transform = new NSAffineTransform();
            transform.scaleBy(scale);
            NSSize newContentSize = new NSSize(width, depth);
            newContentSize = transform.transformSize(newContentSize);
            
            NSRect newContentRect = new NSRect(new NSPoint(), newContentSize);
            setFrame(newContentRect);
            
            NSScrollView scrollView = enclosingScrollView();
            scrollView.documentView().setFrame(newContentRect);
            scrollView.reflectScrolledClipView(scrollView.contentView());
            
            setNeedsDisplay(true);
        }
    }
    
    public boolean isFlipped() {
        return true;
    }
    
    public void drawRect(NSRect aRect) {
        NSAffineTransform rootTransform = getRootTransform();
        rootTransform.concat();
        
        rootTransform.invert();
        NSRect clippingRect = aRect;
        NSPoint clippingRectOrigin = clippingRect.origin();
        clippingRectOrigin = rootTransform.transformPoint(clippingRectOrigin);
        NSSize clippingRectSize = clippingRect.size();
        clippingRectSize = rootTransform.transformSize(clippingRectSize);
        
        int clipX = (int) clippingRectOrigin.x();
        int clipY = (int) clippingRectOrigin.y();
        int clipW = (int) clippingRectSize.width();
        int clipH = (int) clippingRectSize.height();
        Rect clipRect = new Rect(clipX, clipY, clipW, clipH);
        
        root.draw(null, clipRect);
    }
    
    public void setScale(float aScale) {
        scale = aScale / (float) 100 / (float) 3;
        contentSizeChanged();
        }
    
    public void mouseDown(NSEvent theEvent) {
        NSPoint theMouseLocation = convertPointFromView(theEvent.locationInWindow(), null);
        NSAffineTransform transform = new NSAffineTransform(getRootTransform());
        transform.invert();
        theMouseLocation = transform.transformPoint(theMouseLocation);
        int clickedX = (int) theMouseLocation.x();
        int clickedY = (int) theMouseLocation.y();
        VisualNode clickedNode = root.findNodeForPoint(clickedX, clickedY);
        if (clickedNode != null) {
            clickedNode.toggleHidden();
            clickedNode.dirtyUp();
            layout();
        }
    }

    // drag and drop
    
//    public int draggingSourceOperationMaskForLocal(boolean isLocal) {
//        return NSDraggingInfo.DragOperationCopy;
//    }
    
//    public void mouseDown(NSEvent theEvent) {
//        NSPasteboard dragBoard =
//            NSPasteboard.pasteboardWithName(NSPasteboard.DragPboard);
//        NSArray typesArray = new NSArray(NSPasteboard.PDFPboardType);
//        dragBoard.declareTypes(typesArray, this);
//        writePDFInsideRectToPasteboard(frame(), dragBoard);
//        NSImage image = new NSImage(dragBoard);
//        NSImage dragImage = new NSImage(frame().size());
//        dragImage.lockFocus();
//        image.dissolveToPoint(new NSPoint(), (float) 0.5);
//        dragImage.unlockFocus();
//        NSPoint location = new NSPoint();
//        dragImage(dragImage, new NSPoint(), new NSSize(), theEvent, dragBoard,
//                  this, true);
//    }
    
}