JML

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 !!!)


JML

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.