if (nodes == null) {
nodes = StringUtils.getShortClassName(st);
} else if ( ! nodes.equals(StringUtils.getShortClassName(st))) {
nodes = "mixed";
}
Label lab = st.label();
if (phraseLabels == null) {
if (lab == null) {
phraseLabels = "null";
} else {
phraseLabels = StringUtils.getShortClassName(lab);
}
} else if ( ! phraseLabels.equals(StringUtils.getShortClassName(lab))) {
phraseLabels = "mixed";
}
} else if (st.isPreTerminal()) {
if (nodes == null) {
nodes = StringUtils.getShortClassName(st);
} else if ( ! nodes.equals(StringUtils.getShortClassName(st))) {
nodes = "mixed";
}
Label lab = st.label();
if (tagLabels == null) {
if (lab == null) {
tagLabels = "null";
} else {
tagLabels = StringUtils.getShortClassName(lab);
}
} else if ( ! tagLabels.equals(StringUtils.getShortClassName(lab))) {
tagLabels = "mixed";
}
} else if (st.isLeaf()) {
if (leaves == null) {
leaves = StringUtils.getShortClassName(st);
} else if ( ! leaves.equals(StringUtils.getShortClassName(st))) {
leaves = "mixed";
}
Label lab = st.label();
if (leafLabels == null) {
if (lab == null) {
leafLabels = "null";
} else {
leafLabels = StringUtils.getShortClassName(lab);