public static final java.lang.String |
ACTIVATIONS |
"activations" |
public static final java.lang.String |
COMPILATIONS |
"compilations" |
public static final java.lang.String |
DEFFUNCTIONS |
"deffunctions" |
public static final java.lang.String |
FACTS |
"facts" |
public static final java.lang.String |
FOCUS |
"focus" |
public static final java.lang.String |
GENERIC_FUNCTIONS |
"generic-functions" |
public static final java.lang.String |
GLOBALS |
"globals" |
public static final java.lang.String |
INSTANCES |
"instances" |
public static final java.lang.String |
MESSAGE_HANDLERS |
"message-handlers" |
public static final java.lang.String |
MESSAGES |
"messages" |
public static final java.lang.String |
METHODS |
"methods" |
public static final java.lang.String |
RULES |
"rules" |
public static final java.lang.String |
SLOTS |
"slots" |
public static final java.lang.String |
STATISTICS |
"statistics" |