Package jason.util

Class Config

java.lang.Object
java.util.Dictionary<K,​V>
java.util.Hashtable<java.lang.Object,​java.lang.Object>
java.util.Properties
jason.util.Config
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,​java.lang.Object>

public class Config
extends java.util.Properties
Jason configuration (used by JasonID to generate the project's scripts)
Author:
jomi
See Also:
Serialized Form
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
      Constant Field Values
    • JASON_JAR

      public static final java.lang.String JASON_JAR
      path to jason.jar
      See Also:
      Constant Field Values
    • ANT_LIB

      public static final java.lang.String ANT_LIB
      path to ant home (jar directory)
      See Also:
      Constant Field Values
    • JADE_JAR

      public static final java.lang.String JADE_JAR
      path to jade.jar
      See Also:
      Constant Field Values
    • JADE_ARGS

      public static final java.lang.String JADE_ARGS
      runtime jade arguments (the same used in jade.Boot)
      See Also:
      Constant Field Values
    • JADE_RMA

      public static final java.lang.String JADE_RMA
      boolean, whether to start jade RMA or not
      See Also:
      Constant Field Values
    • JADE_SNIFFER

      public static final java.lang.String JADE_SNIFFER
      boolean, whether to start jade Sniffer or not
      See Also:
      Constant Field Values
    • JAVA_HOME

      public static final java.lang.String JAVA_HOME
      path to java home
      See Also:
      Constant Field Values
    • RUN_AS_THREAD

      public static final java.lang.String RUN_AS_THREAD
      See Also:
      Constant Field Values
    • SHELL_CMD

      public static final java.lang.String SHELL_CMD
      See Also:
      Constant Field Values
    • CLOSEALL

      public static final java.lang.String CLOSEALL
      See Also:
      Constant Field Values
    • CHECK_VERSION

      public static final java.lang.String CHECK_VERSION
      See Also:
      Constant Field Values
    • WARN_SING_VAR

      public static final java.lang.String WARN_SING_VAR
      See Also:
      Constant Field Values
    • SHOW_ANNOTS

      public static final java.lang.String SHOW_ANNOTS
      See Also:
      Constant Field Values
    • SHORT_UNNAMED_VARS

      public static final java.lang.String SHORT_UNNAMED_VARS
      See Also:
      Constant Field Values
    • START_WEB_MI

      public static final java.lang.String START_WEB_MI
      See Also:
      Constant Field Values
    • START_WEB_EI

      public static final java.lang.String START_WEB_EI
      See Also:
      Constant Field Values
    • START_WEB_OI

      public static final java.lang.String START_WEB_OI
      See Also:
      Constant Field Values
    • NB_TH_SCH

      public static final java.lang.String NB_TH_SCH
      See Also:
      Constant Field Values
    • KQML_RECEIVED_FUNCTOR

      public static final java.lang.String KQML_RECEIVED_FUNCTOR
      See Also:
      Constant Field Values
    • KQML_PLANS_FILE

      public static final java.lang.String KQML_PLANS_FILE
      See Also:
      Constant Field Values
    • singleton

      protected static Config singleton
    • configFactory

      protected static java.lang.String configFactory
    • showFixMsgs

      protected static boolean showFixMsgs
  • Constructor Details

    • Config

      public Config()
  • Method Details

    • setClassFactory

      public static void setClassFactory​(java.lang.String f)
    • get

      public static Config get()
    • get

      public static Config get​(boolean tryToFixConfig)
    • setShowFixMsgs

      public void setShowFixMsgs​(boolean b)
    • getUserConfFile

      public java.io.File getUserConfFile()
      returns the file where the user preferences are stored
    • getLocalConfFile

      public java.io.File getLocalConfFile()
    • getFileConfComment

      public java.lang.String getFileConfComment()
    • load

      public boolean load()
      Returns true if the file is loaded correctly
    • getBoolean

      public boolean getBoolean​(java.lang.String key)
    • getJasonJar

      public java.lang.String getJasonJar()
      Returns the full path to the jason.jar file
    • getJasonHome

      public java.lang.String getJasonHome()
      returns the jason home (based on jason.jar)
    • getJadeJar

      public java.lang.String getJadeJar()
      Returns the full path to the jade.jar file
    • getJadeArgs

      public java.lang.String getJadeArgs()
      Return the jade args (those used in jade.Boot)
    • getJadeArrayArgs

      public java.lang.String[] getJadeArrayArgs()
    • getJavaHome

      public java.lang.String getJavaHome()
      Returns the path to the java home directory
    • getAntLib

      public java.lang.String getAntLib()
      Returns the path to the ant home directory (where its jars are stored)
    • getAntJar

      public java.lang.String getAntJar()
    • setJavaHome

      public void setJavaHome​(java.lang.String jh)
    • setAntLib

      public void setAntLib​(java.lang.String al)
    • getShellCommand

      public java.lang.String getShellCommand()
    • getKqmlFunctor

      public java.lang.String getKqmlFunctor()
    • getKqmlPlansFile

      public java.lang.String getKqmlPlansFile()
    • resetSomeProps

      public void resetSomeProps()
    • fix

      public void fix()
      Set most important parameters with default values
    • setDefaultInfra

      private void setDefaultInfra()
    • store

      public void store()
    • store

      public void store​(java.io.File f)
    • getAvailableInfrastructures

      public java.lang.String[] getAvailableInfrastructures()
    • getInfrastructureFactoryClass

      public java.lang.String getInfrastructureFactoryClass​(java.lang.String infraId)
    • setInfrastructureFactoryClass

      public void setInfrastructureFactoryClass​(java.lang.String infraId, java.lang.String factory)
    • removeInfrastructureFactoryClass

      public void removeInfrastructureFactoryClass​(java.lang.String infraId)
    • getJasonVersion

      public java.lang.String getJasonVersion()
    • getJasonBuiltDate

      public java.lang.String getJasonBuiltDate()
    • getClassForClassLoaderTest

      public java.lang.Class getClassForClassLoaderTest​(java.lang.String jarEntry)
    • getJarFileForFixTest

      public java.lang.String getJarFileForFixTest​(java.lang.String jarEntry)
    • tryToFixJarFileConf

      public boolean tryToFixJarFileConf​(java.lang.String jarEntry, java.lang.String jarFilePrefix)
    • findFile

      static java.lang.String findFile​(java.io.File p, java.lang.String file)
    • findJarInDirectory

      public static java.lang.String findJarInDirectory​(java.io.File dir, java.lang.String prefix)
    • checkJar

      public static boolean checkJar​(java.lang.String jar)
    • checkJar

      public boolean checkJar​(java.lang.String jar, java.lang.String file)
    • checkJarHasFile

      public boolean checkJarHasFile​(java.lang.String jarFile, java.lang.String file)
    • checkJavaHomePath

      public static boolean checkJavaHomePath​(java.lang.String javaHome)
    • checkJREHomePath

      public static boolean checkJREHomePath​(java.lang.String javaHome)
    • checkAntLib

      public static boolean checkAntLib​(java.lang.String al)
    • isWindows

      public static boolean isWindows()
    • getJarFromClassPath

      protected java.lang.String getJarFromClassPath​(java.lang.String file, java.lang.String fileInsideJar)
    • getEclipseInstallationDirectory

      protected java.lang.String getEclipseInstallationDirectory()
    • getJarFromEclipseInstallation

      private java.lang.String getJarFromEclipseInstallation​(java.lang.String file)
    • getTemplate

      public java.lang.String getTemplate​(java.lang.String templateName)
    • getHome

      protected java.lang.String getHome()
    • getDetaultResource

      public java.io.InputStream getDetaultResource​(java.lang.String templateName) throws java.io.IOException
      Throws:
      java.io.IOException
    • main

      public static void main​(java.lang.String[] args)
    • getMindInspectorArchClassName

      public java.lang.String getMindInspectorArchClassName()
    • getMindInspectorWebServerClassName

      public java.lang.String getMindInspectorWebServerClassName()
    • getPresentation

      public java.lang.String getPresentation()