Package jason.util

Class Config

java.lang.Object
java.util.Dictionary<Object,Object>
java.util.Hashtable<Object,Object>
java.util.Properties
jason.util.Config
All Implemented Interfaces:
Serializable, Cloneable, Map<Object,Object>
public class Config extends Properties
Jason configuration
See Also:

  • Field Details

  • Constructor Details

    • Config

      public Config()

  • Method Details

    • setClassFactory

      public static void setClassFactory(String f)

    • get

      public static Config get()

    • get

      public static Config get(boolean tryToFixConfig)

    • setShowFixMsgs

      public void setShowFixMsgs(boolean b)

    • getUserConfFile

      public File getUserConfFile()
      returns the file where the user preferences are stored

    • getLocalConfFile

      public File getLocalConfFile()

    • getFileConfComment

      public String getFileConfComment()

    • load

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

    • getBoolean

      public boolean getBoolean(String key)

    • put

      public Object put(Object key, Object value)
      Specified by:
      put in interface Map<Object,Object>
      Overrides:
      put in class Properties

    • getJasonJar

      public String getJasonJar()
      Returns the full path to the jason.jar file

    • getJasonHome

      public String getJasonHome()
      returns the jason home (based on jason.jar)

    • getJadeArgs

      public String getJadeArgs()
      Return the jade args (those used in jade.Boot)

    • getJadeArrayArgs

      public String[] getJadeArrayArgs()

    • getKqmlFunctor

      public String getKqmlFunctor()

    • getKqmlPlansFile

      public String getKqmlPlansFile()

    • fix

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

    • store

      public void store()

    • store

      public void store(File f)

    • getJasonVersion

      public String getJasonVersion()

    • getJasonBuiltDate

      public String getJasonBuiltDate()

    • getClassForClassLoaderTest

      public Class getClassForClassLoaderTest(String jarEntry)

    • getJarFileForFixTest

      public String getJarFileForFixTest(String jarEntry)

    • tryToFixJarFileConf

      public boolean tryToFixJarFileConf(String jarEntry, String jarFileNamePrefix)

    • findJarInDirectory

      public static String findJarInDirectory(File dir, String prefix)

    • checkJar

      public static boolean checkJar(String jar)

    • checkJar

      public boolean checkJar(String jar, String file)

    • checkJarHasFile

      public boolean checkJarHasFile(String jarFile, String file)

    • getJarFromClassPath

      protected String getJarFromClassPath(String file, String fileInsideJar)

    • getTemplate

      public String getTemplate(String templateName)

    • getHome

      protected String getHome()

    • getDefaultResource

      public InputStream getDefaultResource(String templateName) throws IOException
      Throws:
      IOException

    • main

      public static void main(String[] args)

    • getMindInspectorArchClassName

      public String getMindInspectorArchClassName()

    • getMindInspectorWebServerClassName

      public String getMindInspectorWebServerClassName()

    • getPresentation

      public String getPresentation()

    • addPackage

      public void addPackage(String key, File value)

    • getPackage

      public File getPackage(String key)

    • getPackages

      public Map<String,File> getPackages()

    • clearPackages

      public void clearPackages()