511512513514515516517518519520521522523
updateRules(); } void updateBottomDisplay() { if (rule != null) { LeftHandSide lhs = rule.getLeftHandSide(); lhstext.setText(lhs.toString()); RightHandSide rhs = rule.getRightHandSide(); classtext.setText(rhs.getAssignmentClassName());