ChoiceNode.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 ChoiceNode extends Node {
00008
00009 private static NSBezierPath bezierPath;
00010 private static NSColor insideColor;
00011 private static NSColor borderColor;
00012
00013 private static NSPoint origin = new NSPoint(- halfUnit, 0);
00014 private static NSSize size = new NSSize(unit, unit);
00015 private static NSRect surroundingRect = new NSRect(origin, size);
00016
00017 private static NSPoint topConnector = new NSPoint(0, 0);
00018 private static NSPoint botConnector = new NSPoint(0, unit);
00019
00020 static {
00021 bezierPath = new NSBezierPath();
00022 bezierPath = NSBezierPath.bezierPathWithOvalInRect(surroundingRect);
00023 insideColor = getDefaultColor("ChoiceInside");
00024 borderColor = getDefaultColor("ChoiceBorder");
00025 }
00026
00027 public ChoiceNode() {
00028 super();
00029 }
00030
00031 public NSBezierPath getBezierPath() {
00032 return bezierPath;
00033 }
00034
00035 public NSColor getInsideColor() {
00036 return insideColor;
00037 }
00038
00039 public NSColor getBorderColor() {
00040 return borderColor;
00041 }
00042
00043 public NSPoint getTopConnector() {
00044 return topConnector;
00045 }
00046
00047 public NSPoint getBotConnector() {
00048 return botConnector;
00049 }
00050
00051 }