Appendix: Style BNF Grammar

1. <script> ::= (<script_line> <s>+)*
2. <script_line> ::= [<display_class> | <display_style> | <image_style>]
3. <display_class> ::= (".paint_class" | ".warp_class" | ".glyph_class") <s>+ <identifier> <s>+ <class_spec>
4. <display_style> ::= (".paint" | ".warp" | ".glyph") <s>+ <identifier> <s>+ "extends" <s>+ <modifier>
5. <image_style> ::= ".image" <s>+ <identifier> <s>+ ["extends" <s>+ <identifier> <s>+] ["{" <s>+ <image_property> <s>+ [";" <s>+ <image_property> <s>+]* [";" <s>*] "}"]
6. <image_property> ::= (<property> | <modifier_list>)
7. <modifier_list> ::= ("paint" | "warp") <s>* ("=" | "+") <s>* <modifier> <s>* ["," <s>* <modifier> <s>*]*
8. <modifier> ::= <identifier> <s>* ["{" <s>* <property> <s>* [";" <s>* <property> <s>*]* [";" <s>*] "}"]
9. <property> ::= <identifier> <s>* "=" <s>* <value>
10. <value> ::= (<integer_value> | <float_value> | <percent_value> | <color_value> | <hue_value> | <identifier>)
11. <color_value> ::= ("0"-"9" | "A"-"F" | "a"-"f"){6} | "black" /*000000*/ | "obscure_gray" /*333333*/ | "dark_gray" /*666666*/ | "gray" /*808080*/ | "light_gray" /*999999*/ | "pale_gray" /*CCCCCC*/ | "white" /*FFFFFF*/ | "red" /*FF0000*/ | "yellow" /*FFFF00*/ | "green" /*008000*/ | "cyan" /*00FFFF*/ | "blue" /*0000FF*/ | "magenta" /*FF00FF*/)
12. <hue_value> ::= <integer_value> | "red" /*000*/ | "orange" /*030*/ | "yellow" /*060*/ | "spring" /*090*/ | "green" /*120*/ | "teal" /*150*/ | "cyan" /*180*/ | "azure" /*210*/ | "blue" /*240*/ | "violet" /*270*/ | "magenta" /*300*/ | "pink" /*330*/)
13. <percent_value> ::= <integer_value> "%"
14. <integer_value> can be parsed by java.lang.Integer.parseInt(String) without throwing java.lang.NumberFormatException
15. <float_value> can be parsed by java.lang.Float.parseFloat(String) without throwing java.lang.NumberFormatException
16. <s> ::= (" " | "\n" | "\r" | "\t" | <comment>)
17. <comment>::= "/*" <character>* "*/"
18. <character> ::= "\040"-"\176"
19. <class_spec> ::= (<identifier>".")* <identifier>
20. <identifier> ::= <java_letter><java_letter_or_digit>*
21. <java_letter> is a Unicode character for which java.lang.Character.isJavaIdentifierStart() is true
22. <java_letter_or_digit> is a Unicode character for which java.lang.Character.isJavaIdentifierPart() is true