edu.mit.ai.psg.jevaES
Class EnvOptionBits

java.lang.Object
  |
  +--edu.mit.ai.psg.jevaES.EnvBase
        |
        +--edu.mit.ai.psg.jevaES.EnvOptionBits

public class EnvOptionBits

extends EnvBase

EnvOptionBits -- environment which specifies option bits; can be used to override the options of the environment.

Constructor Summary

EnvOptionBits(int optionBits, IEnv nextEnv)

Method Summary

int	getOptionBits()
String	toString()

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

getNext, lookupClass, lookupEnclosingPackage, lookupLabel, lookupLocal, lookupPackage, lookupReturnType, lookupThrows

Methods inherited from class java.lang.Object

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

Constructor Detail

EnvOptionBits

public EnvOptionBits(int optionBits,
                     IEnv nextEnv)

Method Detail

getOptionBits

public int getOptionBits()

Overrides:

getOptionBits in class EnvBase

toString

public String toString()

Overrides:

toString in class EnvBase