Searched refs:TYPE_MENU (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/usr/eclipseclp/CPViz/viztool/src/components/ | ||
H A D | MenuFactory.java | 74 private static final String TYPE_MENU = "MENU"; field in class:MenuFactory 239 if (type.equals(TYPE_MENU)) { |
Completed in 32 milliseconds