se.chalmers.cs.gf.transfer
Class ModuleEnv

java.lang.Object
  se.chalmers.cs.gf.transfer.Env
      se.chalmers.cs.gf.transfer.ModuleEnv

public class ModuleEnv
extends Env

Constructor Summary

ModuleEnv(se.chalmers.cs.gf.Core.Absyn.Module m, Env prev)

Method Summary

static se.chalmers.cs.gf.Core.Absyn.Module	loadModule(java.io.Reader input)
static se.chalmers.cs.gf.Core.Absyn.Module	loadModule(java.lang.String file)
Value	lookup(java.lang.String name)
java.lang.String	toString()

Methods inherited from class se.chalmers.cs.gf.transfer.Env

add, addAll

Methods inherited from class java.lang.Object

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

Constructor Detail

ModuleEnv

public ModuleEnv(se.chalmers.cs.gf.Core.Absyn.Module m,
                 Env prev)

Method Detail

lookup

public Value lookup(java.lang.String name)

Overrides:

lookup in class Env

loadModule

public static se.chalmers.cs.gf.Core.Absyn.Module loadModule(java.io.Reader input)
                                                      throws java.io.IOException

Throws:

java.io.IOException

loadModule

public static se.chalmers.cs.gf.Core.Absyn.Module loadModule(java.lang.String file)
                                                      throws java.io.FileNotFoundException,
                                                             java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

toString

public java.lang.String toString()

Overrides:

toString in class Env