*
* @param condition the condition that will have evaluated to 'true'
*/
private void propagateTrueState(Expression condition) {
if (condition instanceof BinaryExpression) {
BinaryExpression binary = (BinaryExpression) condition;
if (binary.getOperator().getType() == TokenType.AMPERSAND_AMPERSAND) {
propagateTrueState(binary.getLeftOperand());
propagateTrueState(binary.getRightOperand());
}
} else if (condition instanceof IsExpression) {
IsExpression is = (IsExpression) condition;
if (is.getNotOperator() == null) {
// Since an is-statement doesn't actually change the type, we don't