main page modules namespaces classes files
Gecode/J home

ExplorerDocument.java

Go to the documentation of this file.

package org.gecode.explorer.cocoa;

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

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


public class ExplorerDocument extends NSDocument {

    public NSScrollView graphicScrollView;
    public TreeView treeView;
    public NSSlider slider;
    
    private ExplorerNode rootNode;

    public ExplorerDocument() {
        super();

                NSMutableDictionary applicationDefaults = new NSMutableDictionary();

                applicationDefaults.setObjectForKey("Blueberry", "NodeColorChoiceInside");
                applicationDefaults.setObjectForKey("Licorice", "NodeColorChoiceBorder");
                applicationDefaults.setObjectForKey("Fern", "NodeColorSolutionInside");
                applicationDefaults.setObjectForKey("Licorice", "NodeColorSolutionBorder");
                applicationDefaults.setObjectForKey("Maraschino", "NodeColorFailureInside");
                applicationDefaults.setObjectForKey("Licorice", "NodeColorFailureBorder");
                applicationDefaults.setObjectForKey("Silver", "NodeColorUnknownInside");
                applicationDefaults.setObjectForKey("Licorice", "NodeColorUnknownBorder");

                NSUserDefaults defaults = NSUserDefaults.standardUserDefaults();
                defaults.registerDefaults(applicationDefaults);
    }

    public ExplorerDocument(String fileName, String fileType) {
        super(fileName, fileType);
    }

    public String windowNibName() {
        return "ExplorerDocument";
    }

    public void windowControllerDidLoadNib(NSWindowController aController) {
        // The next lines replace the standard NSClipView by an instance of
        // CenteringClipView.
        super.windowControllerDidLoadNib(aController);
        NSView documentView = graphicScrollView.documentView();
        CenteringClipView newClipView =
            new CenteringClipView(graphicScrollView.contentView().frame());
        newClipView.setDocumentView(documentView);
        newClipView.setBackgroundColor(NSColor.whiteColor());
        graphicScrollView.setContentView((NSClipView) newClipView);
        
        setScale(slider);
        
        Queens queens = new Queens(8);
        this.rootNode = new ExplorerNode(queens);
        treeView.setRootNode(rootNode);
    }

    public NSData dataRepresentationOfType(String aType) {
        NSRect rectangle = this.treeView.frame();
        NSData data = this.treeView.dataWithPDFInsideRect(rectangle);
        return data;
    }

    public boolean loadDataRepresentation(NSData data, String aType) {
        return true;
    }

    public void setScale(Object sender) {
        NSSlider slider = (NSSlider) sender;
        treeView.setScale(slider.floatValue());
        treeView.setNeedsDisplay(true);
    }
    
    public void exploreAll(Object sender) {
        DFS dfs = new DFS();
        dfs.setup(rootNode);
        while (! dfs.step());
        treeView.layout();
    }
}