()
| 763 | } |
| 764 | |
| 765 | private Color getColor() { |
| 766 | String color = getString(); |
| 767 | color = color.toLowerCase(Locale.US); |
| 768 | if (color.equals("black")) |
| 769 | return Color.black; |
| 770 | else if (color.equals("white")) |
| 771 | return Color.white; |
| 772 | else if (color.equals("red")) |
| 773 | return Color.red; |
| 774 | else if (color.equals("green")) |
| 775 | return Color.green; |
| 776 | else if (color.equals("blue")) |
| 777 | return Color.blue; |
| 778 | else if (color.equals("cyan")) |
| 779 | return Color.cyan; |
| 780 | else if (color.equals("darkgray")) |
| 781 | return Color.darkGray; |
| 782 | else if (color.equals("gray")) |
| 783 | return Color.gray; |
| 784 | else if (color.equals("lightgray")) |
| 785 | return Color.lightGray; |
| 786 | else if (color.equals("magenta")) |
| 787 | return Color.magenta; |
| 788 | else if (color.equals("orange")) |
| 789 | return Color.orange; |
| 790 | else if (color.equals("yellow")) |
| 791 | return Color.yellow; |
| 792 | else if (color.equals("pink")) |
| 793 | return Color.pink; |
| 794 | else if (color.startsWith("#")) |
| 795 | return Colors.decode(color, Color.black); |
| 796 | else |
| 797 | interp.error("'red', 'green', or '#0000ff' etc. expected"); |
| 798 | return null; |
| 799 | } |
| 800 | |
| 801 | void checkIndex(int index, int lower, int upper) { |
| 802 | if (index<lower || index>upper) |
no test coverage detected