edu.mit.ai.psg.jeva
Class EnvMethodBoundary

java.lang.Object
  |
  +--edu.mit.ai.psg.jeva.EnvBase
        |
        +--edu.mit.ai.psg.jeva.EnvMethodBoundary

public class EnvMethodBoundary

extends EnvBase

Env used at method boundary so lookupInMethod does not look any farther. (lookupInMethod is lookup restricted to locals and parameters of a method, used for checking if a local variable name is already in use. [JavaLangSpec1.0sec14.3.2]) Env used to capture method or constructor for checking return type and checked exceptions.

Author:

CarlManning, caroma@ai.mit.edu
Copyright (c) 1997, 1998 Massachusetts Institute of Technology

Constructor Summary

EnvMethodBoundary(String methodName, IMember methodOrConstructor, IEnv nextEnv)

Method Summary

IStore	lookupInMethod(String queryName)
boolean	lookupLabel(String queryName)
IClass	lookupReturnType()
IClass[]	lookupThrows()
String	toString()

Methods inherited from class edu.mit.ai.psg.jeva.EnvBase

getNext, getOptionBits, lookupClass, lookupEnclosingClass, lookupEnclosingPackage, lookupField, lookupLabel, lookupLocal, lookupPackage, lookupThis

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

EnvMethodBoundary

public EnvMethodBoundary(String methodName,
                         IMember methodOrConstructor,
                         IEnv nextEnv)

Method Detail

lookupInMethod

public IStore lookupInMethod(String queryName)

lookupLabel

public boolean lookupLabel(String queryName)

lookupReturnType

public IClass lookupReturnType()

Overrides:

lookupReturnType in class EnvBase

lookupThrows

public IClass[] lookupThrows()

Overrides:

lookupThrows in class EnvBase

toString

public String toString()

Overrides:

toString in class EnvBase