edu.mit.ai.psg.jeva
Class EnvProcedureBoundary

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

public class EnvProcedureBoundary

extends EnvBase

Env used at procedure-like boundaries so lookupLocal does not look any farther for local variable names. Used for methods, constructors, field initializers, and other initializers. (lookupLocal 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]) Captures method or constructor for checking return type and checked exceptions.

Author:

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

Constructor Summary

EnvProcedureBoundary(String methodName, IMember methodOrConstructor, IEnv nextEnv)

Method Summary

boolean	lookupLabel(String queryName)
IStore	lookupLocal(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, lookupPackage, lookupThis

Methods inherited from class java.lang.Object

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

Constructor Detail

EnvProcedureBoundary

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

Method Detail

lookupLocal

public IStore lookupLocal(String queryName)

Overrides:

lookupLocal in class EnvBase

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