Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.multijava.util.backend
Class MethodEnv

java.lang.Object
  extended byorg.multijava.util.backend.MethodEnv
class MethodEnv
extends Object

This class represents a method environment

Field Summary
private  MethodInfo info
           
private  ArrayList locals
           
 
Constructor Summary
(package private) MethodEnv(MethodInfo info)
           
 
Method Summary
 QTemporary getLocalVar(int pos)
          getLocalVar
 QTemporary getLocalVar(InstructionHandle insn)
          getLocalVar
private static void getParameters(MethodInfo info, String signature, int[] sizes)
          Computes the number of parameters.
 void setParameters(int[] sizes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

locals

private ArrayList locals

info

private MethodInfo info
Constructor Detail

MethodEnv

MethodEnv(MethodInfo info)
Method Detail

getLocalVar

public QTemporary getLocalVar(int pos)
getLocalVar

getLocalVar

public QTemporary getLocalVar(InstructionHandle insn)
getLocalVar

setParameters

public void setParameters(int[] sizes)

getParameters

private static void getParameters(MethodInfo info,
                                  String signature,
                                  int[] sizes)
Computes the number of parameters. (MOVE FROM HERE !!!)

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.