|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectxdc.services.spec.Session
xdc.services.spec.BrowserSession
public class BrowserSession
Field Summary |
---|
Fields inherited from class xdc.services.spec.Session |
---|
msg |
Constructor Summary | |
---|---|
BrowserSession()
Create a session to browse the current package path. |
|
BrowserSession(xdc.services.global.Env env)
Create a new session with a given environment |
|
BrowserSession(xdc.services.global.Env env,
Cache cache)
|
|
BrowserSession(java.lang.String[] dirs)
Create a new session with a given package path |
|
BrowserSession(java.lang.String[] dirs,
xdc.services.global.Env env)
Create a new session with a given package path and environment |
Method Summary | |
---|---|
Pkg |
findPkg(java.lang.String qn)
|
boolean |
getLoadDocs()
Return whether documentation is available in this session. |
boolean |
isCurrentPkg(Pkg pkg)
|
boolean |
isCurrentPkg(java.lang.String cpath,
java.lang.String qn)
|
java.lang.String |
isPkgDir(java.lang.String dir)
Check whether the named directory contains a built package. |
Pkg |
loadPkg(java.lang.String dir,
java.lang.String qn)
|
Unit |
loadUnit(java.lang.String name)
Load the named unit's spec object by searching the package path. |
java.util.Map<java.lang.String,java.lang.String> |
scanDirectories()
Return a Map of package names indexed by the canonical path to the package's base. |
java.util.Map<java.lang.String,java.lang.String> |
scanRepositories()
Return a Map all package base directories indexed by the package's name. |
void |
setLoadDocs(boolean loadDocs)
Set whether this session should preserve docs in Nodes. |
Methods inherited from class xdc.services.spec.Session |
---|
findDecl, findDecl, findUnit, findUnit, getEnv, getVers, setEnv, setErr, setWarnings |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BrowserSession()
public BrowserSession(xdc.services.global.Env env)
public BrowserSession(xdc.services.global.Env env, Cache cache)
public BrowserSession(java.lang.String[] dirs)
public BrowserSession(java.lang.String[] dirs, xdc.services.global.Env env)
Method Detail |
---|
public Pkg findPkg(java.lang.String qn)
findPkg
in class Session
public boolean isCurrentPkg(Pkg pkg)
public boolean isCurrentPkg(java.lang.String cpath, java.lang.String qn)
public Pkg loadPkg(java.lang.String dir, java.lang.String qn)
public java.lang.String isPkgDir(java.lang.String dir)
dir
- the pathname to the directory to check.
public Unit loadUnit(java.lang.String name)
name
- Package-qualified name of the module or interface.
public java.util.Map<java.lang.String,java.lang.String> scanDirectories()
public java.util.Map<java.lang.String,java.lang.String> scanRepositories()
public void setLoadDocs(boolean loadDocs)
public boolean getLoadDocs()
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |