org.basex.query.util.pkg

Class Repo

java.lang.Object

org.basex.query.util.pkg.Repo

public final class Repo
extends java.lang.Object

Repository manager.

Author:

BaseX Team 2005-12, BSD License, Rositsa Shadura

Field Summary

Fields

Modifier and Type	Field and Description
Context	context Context.

Constructor Summary

Constructors

Constructor and Description
Repo(Context ctx) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Package pkg, java.lang.String dir) Adds a newly installed package to the namespace and package dictionaries.
void	init(java.lang.String repo) Initializes the package repository.
TokenObjMap<TokenSet>	nsDict() Returns the namespace dictionary.
IOFile	path(java.lang.String pkg) Returns the path to the specified repository package.
TokenMap	pkgDict() Returns the package dictionary.
void	remove(Package pkg) Removes a package from the namespace and package dictionaries when it is deleted.

Methods inherited from class java.lang.Object

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

Field Detail

context

public final Context context

Context.

Constructor Detail

Repo

public Repo(Context ctx)

Constructor.

Parameters:

ctx - database context

Method Detail

nsDict

public TokenObjMap<TokenSet> nsDict()

Returns the namespace dictionary. Initializes the repository if not done yet.

Returns:

dictionary

pkgDict

public TokenMap pkgDict()

Returns the package dictionary. Initializes the repository if not done yet.

Returns:

dictionary

init

public void init(java.lang.String repo)

Initializes the package repository.

Parameters:

repo - repository. The default path is used if set to null

path

public IOFile path(java.lang.String pkg)

Returns the path to the specified repository package.

Parameters:

pkg - package

Returns:

file reference

remove

public void remove(Package pkg)

Removes a package from the namespace and package dictionaries when it is deleted.

Parameters:

pkg - deleted package

add

public void add(Package pkg,
       java.lang.String dir)

Adds a newly installed package to the namespace and package dictionaries.

Parameters:

pkg - new package

dir - new package directory