HiddenSubtreeNode.java
Go to the documentation of this file.00001 package org.gecode.explorer.cocoa;
00002
00003 import com.apple.cocoa.foundation.*;
00004 import com.apple.cocoa.application.*;
00005
00006
00007 public class HiddenSubtreeNode extends Node {
00008
00009 private static NSBezierPath bezierPath;
00010 private static NSColor insideColor;
00011 private static NSColor borderColor;
00012
00013 private static NSPoint p1 = new NSPoint( 0, 0);
00014 private static NSPoint p2 = new NSPoint( unit, 2 * unit);
00015 private static NSPoint p3 = new NSPoint(- unit, 2 * unit);
00016
00017 private static NSPoint topConnector = new NSPoint(0, 0);
00018 private static NSPoint botConnector = new NSPoint(0, 2 * unit);
00019
00020 static {
00021 bezierPath = new NSBezierPath();
00022 bezierPath.moveToPoint(p1);
00023 bezierPath.lineToPoint(p2);
00024 bezierPath.lineToPoint(p3);
00025 bezierPath.lineToPoint(p1);
00026 bezierPath.closePath();
00027 insideColor = getDefaultColor("ChoiceInside");
00028 borderColor = getDefaultColor("ChoiceBorder");
00029 }
00030
00031 public HiddenSubtreeNode() {
00032 super();
00033 }
00034
00035 public NSBezierPath getBezierPath() {
00036 return bezierPath;
00037 }
00038
00039 public NSColor getInsideColor() {
00040 return insideColor;
00041 }
00042
00043 public NSColor getBorderColor() {
00044 return borderColor;
00045 }
00046
00047 public NSPoint getTopConnector() {
00048 return topConnector;
00049 }
00050
00051 public NSPoint getBotConnector() {
00052 return botConnector;
00053 }
00054
00055 }