tools.rmiserver
Class JinniPrologServerParameters

java.lang.Object
  tools.rmiserver.JinniPrologServerParameters

public final class JinniPrologServerParameters
extends java.lang.Object

Constructor Summary

JinniPrologServerParameters()

Method Summary

static java.lang.String	getInitFileParameter()
static java.lang.String	getLibPathParameter()
static boolean	isBackgroundMode()
static boolean	isPrologMode()
static void	setInitFileParameter(java.lang.String initFile)
static void	setLibPathParameter(java.lang.String libPath)
static void	setPrologMode(boolean prologMode)

Methods inherited from class java.lang.Object

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

Constructor Detail

JinniPrologServerParameters

public JinniPrologServerParameters()

Method Detail

setPrologMode

public static void setPrologMode(boolean prologMode)

isPrologMode

public static boolean isPrologMode()

setLibPathParameter

public static void setLibPathParameter(java.lang.String libPath)

getLibPathParameter

public static java.lang.String getLibPathParameter()

setInitFileParameter

public static void setInitFileParameter(java.lang.String initFile)

getInitFileParameter

public static java.lang.String getInitFileParameter()

isBackgroundMode

public static boolean isBackgroundMode()