1/* 2 * Copyright (c) 1994, 2003, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. Oracle designates this 8 * particular file as subject to the "Classpath" exception as provided 9 * by Oracle in the LICENSE file that accompanied this code. 10 * 11 * This code is distributed in the hope that it will be useful, but WITHOUT 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 * version 2 for more details (a copy is included in the LICENSE file that 15 * accompanied this code). 16 * 17 * You should have received a copy of the GNU General Public License version 18 * 2 along with this work; if not, write to the Free Software Foundation, 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 20 * 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22 * or visit www.oracle.com if you need additional information or have any 23 * questions. 24 */ 25 26package sun.tools.tree; 27 28import sun.tools.java.*; 29import java.util.Hashtable; 30 31/** 32 * WARNING: The contents of this source file are not part of any 33 * supported API. Code that depends on them does so at its own risk: 34 * they are subject to change or removal without notice. 35 */ 36abstract public 37class BinaryLogicalExpression extends BinaryExpression { 38 /** 39 * constructor 40 */ 41 public BinaryLogicalExpression(int op, long where, Expression left, Expression right) { 42 super(op, where, Type.tBoolean, left, right); 43 } 44 45 /** 46 * Check a binary expression 47 */ 48 public Vset checkValue(Environment env, Context ctx, 49 Vset vset, Hashtable<Object, Object> exp) { 50 ConditionVars cvars = new ConditionVars(); 51 // evaluate the logical expression, determining which variables are 52 // set if the resulting value is true or false 53 checkCondition(env, ctx, vset, exp, cvars); 54 // return the intersection. 55 return cvars.vsTrue.join(cvars.vsFalse); 56 } 57 58 /* 59 * Every subclass of this class must define a genuine implementation 60 * of this method. It cannot inherit the method of Expression. 61 */ 62 abstract 63 public void checkCondition(Environment env, Context ctx, Vset vset, 64 Hashtable<Object, Object> exp, ConditionVars cvars); 65 66 67 /** 68 * Inline 69 */ 70 public Expression inline(Environment env, Context ctx) { 71 left = left.inlineValue(env, ctx); 72 right = right.inlineValue(env, ctx); 73 return this; 74 } 75} 76