com.is2t.microej.workbench.std.launch.ext

Class JPFExtensionRoot

java.lang.Object

com.is2t.microej.workbench.std.launch.ext.JPFExtensionRoot

public class JPFExtensionRoot
extends Object

Root node for JPF extension description. Contains a list of categories pages (first level of the tree).

Constructor Summary

Constructors

Constructor and Description
JPFExtensionRoot(CategoryPage rootCategoryPage)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

JPFExtensionRoot

public JPFExtensionRoot(CategoryPage rootCategoryPage)