The Functions editor of the family editor allows design
analyses to be defined. Design analyses in Acme are functions that contain
either Armani predicates or references to external Java methods that can be
called from design rules. This editor allows the definition and parsing of
design analyses. If a design analysis has an error, then is displayed; hovering over the name
produces a hover that displays the error.