01: /* ArrayLoadOperator Copyright (C) 1998-2002 Jochen Hoenicke.
02: *
03: * This program is free software; you can redistribute it and/or modify
04: * it under the terms of the GNU Lesser General Public License as published by
05: * the Free Software Foundation; either version 2, or (at your option)
06: * any later version.
07: *
08: * This program is distributed in the hope that it will be useful,
09: * but WITHOUT ANY WARRANTY; without even the implied warranty of
10: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11: * GNU General Public License for more details.
12: *
13: * You should have received a copy of the GNU Lesser General Public License
14: * along with this program; see the file COPYING.LESSER. If not, write to
15: * the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
16: *
17: * $Id: ArrayLoadOperator.java,v 4.10.2.1 2002/05/28 17:34:05 hoenicke Exp $
18: */
19:
20: package jode.expr;
21:
22: import jode.type.Type;
23: import jode.type.ArrayType;
24: import jode.decompiler.TabbedPrintWriter;
25:
26: public class ArrayLoadOperator extends Operator {
27:
28: public ArrayLoadOperator(Type type) {
29: super (type, 0);
30: initOperands(2);
31: }
32:
33: public int getPriority() {
34: return 950;
35: }
36:
37: public void updateSubTypes() {
38: subExpressions[0].setType(Type.tSubType(Type.tArray(type)));
39: subExpressions[1].setType(Type.tSubType(Type.tInt));
40: }
41:
42: public void updateType() {
43: Type subType = Type.tSuperType(subExpressions[0].getType())
44: .intersection(Type.tArray(type));
45: if (!(subType instanceof ArrayType))
46: updateParentType(Type.tError);
47: else
48: updateParentType(((ArrayType) subType).getElementType());
49: }
50:
51: public void dumpExpression(TabbedPrintWriter writer)
52: throws java.io.IOException {
53: subExpressions[0].dumpExpression(writer, 950);
54: writer.breakOp();
55: writer.print("[");
56: subExpressions[1].dumpExpression(writer, 0);
57: writer.print("]");
58: }
59: }
|