Download jpf-1.5.jar
jpf/jpf-1.5.jar.zip( 177 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF
META-INF/maven/net.sf.jpf/jpf/pom.properties
META-INF/maven/net.sf.jpf/jpf/pom.xml
org.java.plugin.JpfException.class
org.java.plugin.ObjectFactory.class
org.java.plugin.PathResolver.class
org.java.plugin.Plugin.class
org.java.plugin.PluginClassLoader.class
org.java.plugin.PluginLifecycleException.class
org.java.plugin.PluginManager.class
org.java.plugin.registry.Documentable.class
org.java.plugin.registry.Documentation.class
org.java.plugin.registry.Extension.class
org.java.plugin.registry.ExtensionMultiplicity.class
org.java.plugin.registry.ExtensionPoint.class
org.java.plugin.registry.Identity.class
org.java.plugin.registry.IntegrityCheckReport.class
org.java.plugin.registry.Library.class
org.java.plugin.registry.ManifestInfo.class
org.java.plugin.registry.ManifestProcessingException.class
org.java.plugin.registry.MatchingRule.class
org.java.plugin.registry.ParameterMultiplicity.class
org.java.plugin.registry.ParameterType.class
org.java.plugin.registry.PluginAttribute.class
org.java.plugin.registry.PluginDescriptor.class
org.java.plugin.registry.PluginElement.class
org.java.plugin.registry.PluginFragment.class
org.java.plugin.registry.PluginPrerequisite.class
org.java.plugin.registry.PluginRegistry.class
org.java.plugin.registry.UniqueIdentity.class
org.java.plugin.registry.Version.class
org.java.plugin.registry.xml.BaseHandler.class
org.java.plugin.registry.xml.DocumentationImpl.class
org.java.plugin.registry.xml.ExtensionImpl.class
org.java.plugin.registry.xml.ExtensionPointImpl.class
org.java.plugin.registry.xml.IdentityImpl.class
org.java.plugin.registry.xml.IntegrityChecker.class
org.java.plugin.registry.xml.LibraryImpl.class
org.java.plugin.registry.xml.ManifestHandler.class
org.java.plugin.registry.xml.ManifestInfoHandler.class
org.java.plugin.registry.xml.ManifestParser.class
org.java.plugin.registry.xml.ModelAttribute.class
org.java.plugin.registry.xml.ModelDocumentation.class
org.java.plugin.registry.xml.ModelDocumentationReference.class
org.java.plugin.registry.xml.ModelExtension.class
org.java.plugin.registry.xml.ModelExtensionPoint.class
org.java.plugin.registry.xml.ModelLibrary.class
org.java.plugin.registry.xml.ModelManifestInfo.class
org.java.plugin.registry.xml.ModelParameter.class
org.java.plugin.registry.xml.ModelParameterDef.class
org.java.plugin.registry.xml.ModelPluginDescriptor.class
org.java.plugin.registry.xml.ModelPluginFragment.class
org.java.plugin.registry.xml.ModelPluginManifest.class
org.java.plugin.registry.xml.ModelPrerequisite.class
org.java.plugin.registry.xml.ParameterValueParser.class
org.java.plugin.registry.xml.PluginAttributeImpl.class
org.java.plugin.registry.xml.PluginDescriptorImpl.class
org.java.plugin.registry.xml.PluginElementImpl.class
org.java.plugin.registry.xml.PluginFragmentImpl.class
org.java.plugin.registry.xml.PluginPrerequisiteImpl.class
org.java.plugin.registry.xml.PluginRegistryImpl.class
org.java.plugin.registry.xml.SimpleStack.class
org.java.plugin.standard.CombinedFileFilter.class
org.java.plugin.standard.PluginLifecycleHandler.class
org.java.plugin.standard.RegexpFileFilter.class
org.java.plugin.standard.ShadingPathResolver.class
org.java.plugin.standard.ShadingUtil.class
org.java.plugin.standard.ShadowDataController.class
org.java.plugin.standard.StandardObjectFactory.class
org.java.plugin.standard.StandardPathResolver.class
org.java.plugin.standard.StandardPluginClassLoader.class
org.java.plugin.standard.StandardPluginLifecycleHandler.class
org.java.plugin.standard.StandardPluginLocation.class
org.java.plugin.standard.StandardPluginManager.class
org.java.plugin.util.ExtendedProperties.class
org.java.plugin.util.IoUtil.class
org.java.plugin.util.ResourceManager.class
org/java/plugin/registry/xml/Resources.properties
org/java/plugin/registry/xml/Resources_ru.properties
org/java/plugin/registry/xml/plugin_1_0.dtd
org/java/plugin/standard/Resources.properties
org/java/plugin/standard/Resources_ru.properties
org/java/plugin/standard/jpf.properties
org/java/plugin/util/Resources.properties
org/java/plugin/util/Resources_ru.properties
Related examples in the same category