JanosVM v1.0 API

edu.utah.janosvm.resources
Class NameSpaceSpec

java.lang.Object
  |
  +--edu.utah.janosvm.resources.ResourceSpec
        |
        +--edu.utah.janosvm.resources.NameSpaceSpec

public final class NameSpaceSpec
extends ResourceSpec

Resource specification for the root name space of a team. This allows you to specify which classes should be imported from other teams, thus allowing the teams to share objects.

Author:
Tim Stack, Utah Janos Team

Fields inherited from class edu.utah.janosvm.resources.ResourceSpec
found
 
Constructor Summary
NameSpaceSpec(NameSpaceGroup[] nsg)
          Construct a name space resource specification with the given class imports.
 
Method Summary
 java.lang.Object clone()
           
static NameSpaceSpec current()
           
protected  void finalize()
           
 NameSpaceGroup getGroup(int index)
           
 int getGroupCount()
           
 NameSpaceGroup[] getGroups()
           
private  void nativeConstructor(NameSpaceGroup[] nsg)
          Construct the native part of the class.
private  void nativeFinalizer()
          Finalize the native part of the class.
private  int nativeToString(char[] cbuf)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.utah.janosvm.resources.ResourceSpec
find, nativeFind
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait, wait0
 

Constructor Detail

NameSpaceSpec

public NameSpaceSpec(NameSpaceGroup[] nsg)
Construct a name space resource specification with the given class imports.
Parameters:
nsg - An array of NameSpaceGroup's which describe which class groups should be imported into the team.
Method Detail

nativeConstructor

private void nativeConstructor(NameSpaceGroup[] nsg)
Construct the native part of the class.

nativeFinalizer

private void nativeFinalizer()
Finalize the native part of the class.

getGroupCount

public int getGroupCount()

getGroup

public NameSpaceGroup getGroup(int index)

getGroups

public NameSpaceGroup[] getGroups()

finalize

protected void finalize()
Overrides:
finalize in class java.lang.Object

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object

current

public static NameSpaceSpec current()
Returns:
The NameSpaceSpec used to create the current team.

nativeToString

private int nativeToString(char[] cbuf)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

JanosVM v1.0 API

This documentation is Copyright (C) 2000-2003 The University of Utah. All Rights Reserved. See the documentation license for distribution terms and restrictions.
Documentation, software, and mailing lists for the JanosVM can be found at the Janos Project web page: http://www.cs.utah.edu/flux/janos/
Generated on Feb 13, 2003