jack.plugin
Class JpovUtil

java.lang.Object
  jack.plugin.JpovUtil

public class JpovUtil

extends java.lang.Object

Utilities for handling Jpov within the plugin.

Author:

A. Requet, L. Burdy

Constructor Summary

JpovUtil()

Method Summary

static java.lang.String	getJpoPrefix(org.eclipse.core.resources.IFile f) return the name of a .jpo file without its extension.
static org.eclipse.core.resources.IResource	getResource(java.lang.String jml_file) Return the eclipse resource corresponding to the given JmlFile.
static JpoFile	loadJpoFile(org.eclipse.core.resources.IFile jpo_file) Load a Jpov object from the given .jpo file.
static PartialJpoFile	loadPartialJpoFile(org.eclipse.core.resources.IFile jpo_file)

Methods inherited from class java.lang.Object

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

Constructor Detail

JpovUtil

public JpovUtil()

Method Detail

loadJpoFile

public static JpoFile loadJpoFile(org.eclipse.core.resources.IFile jpo_file)
                           throws LoadException,
                                  java.io.IOException

Load a Jpov object from the given .jpo file.

Parameters:

jpo_file - the .jpo file to load.

Throws:

LoadException

java.io.IOException

loadPartialJpoFile

public static PartialJpoFile loadPartialJpoFile(org.eclipse.core.resources.IFile jpo_file)
                                         throws LoadException,
                                                java.io.IOException

Throws:

LoadException

java.io.IOException

getJpoPrefix

public static java.lang.String getJpoPrefix(org.eclipse.core.resources.IFile f)

return the name of a .jpo file without its extension. Assumes that the extension is 3 characters long.

getResource

public static org.eclipse.core.resources.IResource getResource(java.lang.String jml_file)

Return the eclipse resource corresponding to the given JmlFile. return null if no matching resource could be found.