maj.semant
Class MajTypeEnv

java.lang.Object
  maj.semant.MajTypeEnv

public class MajTypeEnv

extends java.lang.Object

Field Summary

protected java.util.HashMap	m_hashMap
protected MajTypeEnv	m_parent

Constructor Summary

MajTypeEnv()

MajTypeEnv(MajType[] types)

MajTypeEnv(MajTypeEnv parent)

MajTypeEnv(java.lang.String[] classes)

Method Summary

MajType	get(java.lang.String name)
java.util.Iterator	getTypes()
void	put(java.lang.String name, MajType type)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

m_hashMap

protected java.util.HashMap m_hashMap

m_parent

protected MajTypeEnv m_parent

Constructor Detail

MajTypeEnv

public MajTypeEnv()

MajTypeEnv

public MajTypeEnv(java.lang.String[] classes)

MajTypeEnv

public MajTypeEnv(MajType[] types)

MajTypeEnv

public MajTypeEnv(MajTypeEnv parent)

Method Detail

getTypes

public java.util.Iterator getTypes()

put

public void put(java.lang.String name,
                MajType type)

get

public MajType get(java.lang.String name)

toString

public java.lang.String toString()