uk.ac.man.cs.rainbow.compiler.names
Class TCEnv

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.names.Environment
              |
              +--uk.ac.man.cs.rainbow.compiler.names.TCEnv

public class TCEnv

extends Environment

Field Summary

boolean	channel_types_outstanding
SourcePosition	sourcepos

Constructor Summary

TCEnv()

TCEnv(SourcePosition sourcepos, NameList namelist, Op optable, MOp moptable, int scopelevel, int pass_number, int max_passes, boolean channel_types_outstanding)

Method Summary

TCEnv	cloneEnv()
SourcePosition	get_sourcepos()
int	getScopelevel()
void	inc_pass_number()
TCEnv	inc_scope()
TCEnv	inc_scope(SourcePosition sp)
TCEnv	insert_in_new_scope(String nm, LocalDeclaration decl, Errors errors)
void	insert_name(Name name, Errors errors)
ChannelDeclaration	lookup_channel(String name)
ConstantDeclaration	lookup_constant(Identifier id)
ConstantDeclaration	lookup_constant(String id_name, SourcePosition id_sourcepos)
FunctionDeclaration	lookup_fun(String name)
LocalDeclaration	lookup_local(Identifier id)
LocalDeclaration	lookup_local(String name)
MethodDeclaration	lookup_method(String name)
MOp	lookup_mop(String name)
Op	lookup_op(String name)
ProcedureDeclaration	lookup_proc(String name)
TypeDeclaration	lookup_type(String name)
UnionTagDeclaration	lookup_union_tag(String name)
VariableDeclaration	lookup_var(String name)
Name	lookup(String name)
boolean	on_first_pass()
boolean	on_last_pass()
void	reset_inference_info()
void	set_sourcepos(SourcePosition sp)
String	toString()
void	update_channel_type(String channel_name, CompilerType new_type)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.CompilerThing

className, crashHere, getSerial

Methods inherited from class java.lang.Object

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

Field Detail

sourcepos

public SourcePosition sourcepos

channel_types_outstanding

public boolean channel_types_outstanding

Constructor Detail

TCEnv

public TCEnv(SourcePosition sourcepos,
             NameList namelist,
             Op optable,
             MOp moptable,
             int scopelevel,
             int pass_number,
             int max_passes,
             boolean channel_types_outstanding)

TCEnv

public TCEnv()

Method Detail

cloneEnv

public TCEnv cloneEnv()

inc_pass_number

public void inc_pass_number()

reset_inference_info

public void reset_inference_info()

on_first_pass

public boolean on_first_pass()

on_last_pass

public boolean on_last_pass()

set_sourcepos

public void set_sourcepos(SourcePosition sp)

get_sourcepos

public SourcePosition get_sourcepos()

inc_scope

public TCEnv inc_scope(SourcePosition sp)

inc_scope

public TCEnv inc_scope()

insert_name

public void insert_name(Name name,
                        Errors errors)

insert_in_new_scope

public TCEnv insert_in_new_scope(String nm,
                                 LocalDeclaration decl,
                                 Errors errors)

getScopelevel

public int getScopelevel()

toString

public String toString()

Overrides:

toString in class Environment

lookup

public Name lookup(String name)

lookup_op

public Op lookup_op(String name)

lookup_mop

public MOp lookup_mop(String name)

lookup_proc

public ProcedureDeclaration lookup_proc(String name)

lookup_fun

public FunctionDeclaration lookup_fun(String name)

lookup_method

public MethodDeclaration lookup_method(String name)

lookup_type

public TypeDeclaration lookup_type(String name)

lookup_var

public VariableDeclaration lookup_var(String name)

lookup_constant

public ConstantDeclaration lookup_constant(Identifier id)

lookup_constant

public ConstantDeclaration lookup_constant(String id_name,
                                           SourcePosition id_sourcepos)

lookup_local

public LocalDeclaration lookup_local(String name)

lookup_local

public LocalDeclaration lookup_local(Identifier id)

lookup_union_tag

public UnionTagDeclaration lookup_union_tag(String name)

lookup_channel

public ChannelDeclaration lookup_channel(String name)

update_channel_type

public void update_channel_type(String channel_name,
                                CompilerType new_type)