View Javadoc

1   /* Soot - a J*va Optimization Framework
2    * Copyright (C) 1999 Patrick Lam
3    * Copyright (C) 2004 Ondrej Lhotak
4    *
5    * This library is free software; you can redistribute it and/or
6    * modify it under the terms of the GNU Lesser General Public
7    * License as published by the Free Software Foundation; either
8    * version 2.1 of the License, or (at your option) any later version.
9    *
10   * This library is distributed in the hope that it will be useful,
11   * but WITHOUT ANY WARRANTY; without even the implied warranty of
12   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13   * Lesser General Public License for more details.
14   *
15   * You should have received a copy of the GNU Lesser General Public
16   * License along with this library; if not, write to the
17   * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
18   * Boston, MA 02111-1307, USA.
19   */
20  
21  /*
22   * Modified by the Sable Research Group and others 1997-1999.  
23   * See the 'credits' file distributed with Soot for the complete list of
24   * contributors.  (Soot is distributed at http://www.sable.mcgill.ca/soot)
25   */
26  
27  
28  
29  
30  
31  
32  package org.kit.furia.fragment.soot.representation.internal;
33  import soot.*;
34  import org.kit.furia.fragment.soot.representation.*;
35  import soot.jimple.internal.*;
36  import java.util.*;
37  
38  public class FInstanceFieldRef extends AbstractInstanceFieldRef
39      implements Precedence, Qable, SpecialConstructContainer
40  {
41      /**
42  	 * 
43  	 */
44  	private static final long serialVersionUID = 8993710155488116600L;
45  
46  	public FInstanceFieldRef(Value base, SootFieldRef fieldRef)
47      {
48          super(Frimp.v().newObjExprBox(base), fieldRef);
49      }
50  
51      private String toString(Value op, String opString, String rightString)
52      {
53          String leftOp = opString;
54  
55          if (op instanceof Precedence && 
56              ((Precedence)op).getPrecedence() < getPrecedence()) 
57              leftOp = "(" + leftOp + ")";
58          return leftOp + rightString;
59      }
60  
61      public String toString()
62      {
63          return toString(getBase(), getBase().toString(),
64                          "." + fieldRef.getSignature());
65      }
66  
67      public int getPrecedence()
68      {
69          return 950;
70      }
71      
72      public Object  clone()  // NOPMD by amuller on 11/16/06 4:12 PM
73      {
74          return new FInstanceFieldRef(Frimp.cloneIfNecessary(getBase()), 
75              fieldRef);
76      }
77  
78      public String toQ() throws Exception {
79  		String res = FuriaConstructDefinitions.FURIA_finstanceFieldRef + "(" + Frimp.toQ(getBase()) + "," + Frimp.toQ(fieldRef) + ")";
80      	// just print the field ref here...
81      	
82  		return res;
83  	}
84  
85  	public List getContainedSpecialConstructs() {
86  		List res = new LinkedList();
87  		res.add(getBase());
88  		res.add(fieldRef);
89  		return res;
90  	}
91      
92      
93      
94  }