utilities
Class jEditUtilities

java.lang.Object
  utilities.jEditUtilities

public class jEditUtilities
extends java.lang.Object

Constructor Summary

jEditUtilities()

Method Summary

static java.lang.String	getFileUrl(projectviewer.ProjectViewer pv)
static void	runCommandInJinniPrologConsole(java.lang.String command) Versatile utility method to pass commands to the JinniProlog console.
static void	runCommandInShell(java.lang.String command, java.lang.String shell)
static void	runCommandInSystemConsole(java.lang.String command) Versatile utility method to pass commands to the system console.

Methods inherited from class java.lang.Object

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

Constructor Detail

jEditUtilities

public jEditUtilities()

Method Detail

getFileUrl

public static java.lang.String getFileUrl(projectviewer.ProjectViewer pv)

runCommandInShell

public static void runCommandInShell(java.lang.String command,
                                     java.lang.String shell)

runCommandInJinniPrologConsole

public static void runCommandInJinniPrologConsole(java.lang.String command)

Versatile utility method to pass commands to the JinniProlog console.

Parameters:

command - to execute in the system console

runCommandInSystemConsole

public static void runCommandInSystemConsole(java.lang.String command)

Versatile utility method to pass commands to the system console.

Parameters:

command - to execute in the system console