uk.ac.man.cs.rainbow.compiler
Class RapaEnv

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.NamingContext
        |
        +--uk.ac.man.cs.rainbow.rapa.BasicNamingContext
              |
              +--uk.ac.man.cs.rainbow.compiler.RapaEnv

public class RapaEnv

extends BasicNamingContext

Environment for RAPA generation.

 $Log: RapaEnv.java,v $
 Revision 1.1  2001/11/21 16:40:22  fellowsd
 Initial revision

 

See Also:

ProcessTerm

Inner classes inherited from class uk.ac.man.cs.rainbow.rapa.NamingContext

NamingContext.Mapping

Fields inherited from class uk.ac.man.cs.rainbow.rapa.NamingContext

initial, parent

Constructor Summary

RapaEnv()

RapaEnv(RapaEnv parent)

Method Summary

Channel	getChannel(Channel chan)
Channel	getChannel(Iterator iterator)
Channel	getChannel(String name)
Channel[]	getChannels()
Channel[]	getChannels(Channel[] chans)
Channel[]	getChannels(Iterator iterator)
Type	getType(CompilerType type)
Type	getType(Iterator i)
Value	getValue(Expression expr)
Value	getVariable(String name)
Channel	makeChannel(String name)
Variable	makeVariable(String name)

Methods inherited from class uk.ac.man.cs.rainbow.rapa.BasicNamingContext

append, get, put, put

Methods inherited from class uk.ac.man.cs.rainbow.rapa.NamingContext

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

RapaEnv

public RapaEnv()

RapaEnv

public RapaEnv(RapaEnv parent)

Method Detail

getVariable

public Value getVariable(String name)

getValue

public Value getValue(Expression expr)

getType

public Type getType(CompilerType type)

getType

public Type getType(Iterator i)

getChannel

public Channel getChannel(String name)

getChannel

public Channel getChannel(Channel chan)

getChannel

public Channel getChannel(Iterator iterator)

makeChannel

public Channel makeChannel(String name)

makeVariable

public Variable makeVariable(String name)

getChannels

public Channel[] getChannels(Channel[] chans)

getChannels

public Channel[] getChannels()

getChannels

public Channel[] getChannels(Iterator iterator)