xdc.services.spec
Class Session

java.lang.Object
  extended by xdc.services.spec.Session
Direct Known Subclasses:
BrowserSession, ParserSession

public abstract class Session
extends java.lang.Object


Field Summary
protected  xdc.services.spec.Msg msg
           
 
Constructor Summary
Session()
           
Session(xdc.services.global.Env env)
           
Session(xdc.services.global.Env env, Cache cache)
           
 
Method Summary
 Decl findDecl(java.lang.String qn)
           
 Decl findDecl(Unit unit, java.lang.String n)
           
 Pkg findPkg(java.lang.String qn)
           
 Unit findUnit(Pkg pkg, java.lang.String n)
           
 Unit findUnit(java.lang.String qn)
           
 xdc.services.global.Env getEnv()
           
 int getVers()
           
 void setEnv(xdc.services.global.Env env)
           
 void setErr(java.io.PrintWriter err)
           
 boolean setWarnings(boolean warnings)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

msg

protected xdc.services.spec.Msg msg
Constructor Detail

Session

public Session()

Session

public Session(xdc.services.global.Env env)

Session

public Session(xdc.services.global.Env env,
               Cache cache)
Method Detail

setEnv

public void setEnv(xdc.services.global.Env env)

getEnv

public xdc.services.global.Env getEnv()

setErr

public void setErr(java.io.PrintWriter err)

setWarnings

public boolean setWarnings(boolean warnings)

findDecl

public Decl findDecl(Unit unit,
                     java.lang.String n)

findDecl

public Decl findDecl(java.lang.String qn)

findPkg

public Pkg findPkg(java.lang.String qn)

findUnit

public Unit findUnit(Pkg pkg,
                     java.lang.String n)

findUnit

public Unit findUnit(java.lang.String qn)

getVers

public int getVers()