public abstract class Session
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected xdc.services.spec.Msg |
msg |
Constructor and Description |
---|
Session() |
Session(xdc.services.global.Env env) |
Session(xdc.services.global.Env env,
Cache cache) |
Modifier and Type | Method and Description |
---|---|
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) |
public Session()
public Session(xdc.services.global.Env env)
public Session(xdc.services.global.Env env, Cache cache)
public void setEnv(xdc.services.global.Env env)
public xdc.services.global.Env getEnv()
public void setErr(java.io.PrintWriter err)
public boolean setWarnings(boolean warnings)
public Decl findDecl(java.lang.String qn)
public Pkg findPkg(java.lang.String qn)
public Unit findUnit(java.lang.String qn)
public int getVers()