52 * either the left and right hand side isn true |
52 * either the left and right hand side isn true |
53 * cvars.vsFalse indicates variables with a known value if |
53 * cvars.vsFalse indicates variables with a known value if |
54 * both the left or right hand side are false |
54 * both the left or right hand side are false |
55 */ |
55 */ |
56 public void checkCondition(Environment env, Context ctx, Vset vset, |
56 public void checkCondition(Environment env, Context ctx, Vset vset, |
57 Hashtable exp, ConditionVars cvars) { |
57 Hashtable<Object, Object> exp, ConditionVars cvars) { |
58 // Find out when the left side is true/false |
58 // Find out when the left side is true/false |
59 left.checkCondition(env, ctx, vset, exp, cvars); |
59 left.checkCondition(env, ctx, vset, exp, cvars); |
60 left = convert(env, ctx, Type.tBoolean, left); |
60 left = convert(env, ctx, Type.tBoolean, left); |
61 Vset vsTrue = cvars.vsTrue.copy(); |
61 Vset vsTrue = cvars.vsTrue.copy(); |
62 Vset vsFalse = cvars.vsFalse.copy(); |
62 Vset vsFalse = cvars.vsFalse.copy(); |