main page modules namespaces classes files
Gecode/J home

FailureNode.java

Go to the documentation of this file.

//
//  CocoaFailureNode.java
//  GecodeExplorer
//
//  Created by Marco Kuhlmann on 24.01.05.
//  Copyright 2005 __MyCompanyName__. All rights reserved.
//

package org.gecode.explorer.cocoa;

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


public class FailureNode extends Node {

    private static NSBezierPath bezierPath;
    private static NSColor insideColor;
    private static NSColor borderColor;
    
    private static int myUnit = (int) (unit / ((Math.sqrt(2) + 1) / 2));
    private static int myHalfUnit = myUnit / 2;
    private static int myDown = (unit - myUnit) / 2;

    private static NSPoint p1 = new NSPoint(- myHalfUnit, myDown);
    private static NSPoint p2 = new NSPoint(  myHalfUnit, myDown);
    private static NSPoint p3 = new NSPoint(  myHalfUnit, myUnit + myDown);
    private static NSPoint p4 = new NSPoint(- myHalfUnit, myUnit + myDown);

    static {
        bezierPath = new NSBezierPath();
        bezierPath.moveToPoint(p1);
        bezierPath.lineToPoint(p2);
        bezierPath.lineToPoint(p3);
        bezierPath.lineToPoint(p4);
        bezierPath.lineToPoint(p1);
        bezierPath.closePath();
        insideColor = getDefaultColor("FailureInside");
        borderColor = getDefaultColor("FailureBorder");
    }
    
    public FailureNode() {
        super();
    }
    
    public NSBezierPath getBezierPath() {
        return bezierPath;
    }
    
    public NSColor getInsideColor() {
        return insideColor;
    }
    
    public NSColor getBorderColor() {
        return borderColor;
    }

    public NSPoint getTopConnector() {
        return new NSPoint(0, myDown);
    }

    public NSPoint getBotConnector() {
        return new NSPoint(0, myUnit + myDown);
    }

}