Skip navigation links

jpf-parent 1.5.1 API

Packages 
Package Description
org.java.plugin
This package contains framework runtime API.
org.java.plugin.boot
This package contains helper classes to start/stop JPF based applications.
org.java.plugin.registry
This package contains framework registry API.
org.java.plugin.registry.xml
This package contains XML syntax manifest files based framework registry API implementation.
org.java.plugin.standard
This package contains standard implementation of main framework runtime API.
org.java.plugin.util
This package contains miscellaneous utility classes.
Skip navigation links

Copyright © 2017. All rights reserved.