Package jason.runtime

Class Settings

java.lang.Object
jason.runtime.Settings
All Implemented Interfaces:
Serializable
public class Settings extends Object implements Serializable
MAS Runtime Settings for an Agent (from mas2j file, agent declaration)
See Also:

  • Field Details

  • Constructor Details

    • Settings

      public Settings()

    • Settings

      public Settings(String options)

  • Method Details

    • setOptions

      public void setOptions(String options)

    • setOptions

      public void setOptions(Map<String,Object> options)

    • addOption

      public void addOption(String key, Object value)
      add user defined option

    • setEvents

      public void setEvents(byte opt)

    • setIntBels

      public void setIntBels(boolean opt)

    • setNRCBP

      public void setNRCBP(String opt)

    • setNRCBP

      public void setNRCBP(int opt)

    • setVerbose

      public void setVerbose(String opt)

    • setVerbose

      public void setVerbose(int opt)

    • discard

      public boolean discard()

    • requeue

      public boolean requeue()

    • retrieve

      public boolean retrieve()

    • sameFocus

      public boolean sameFocus()

    • newFocus

      public boolean newFocus()

    • nrcbp

      public int nrcbp()

    • verbose

      public int verbose()

    • logLevel

      public Level logLevel()

    • isSync

      public boolean isSync()
      returns true if the execution is synchronised

    • setSync

      public void setSync(boolean pSync)

    • isTROon

      public boolean isTROon()

    • setTRO

      public void setTRO(boolean tro)

    • hasQueryCache

      public boolean hasQueryCache()

    • setQueryCache

      public void setQueryCache(boolean b)

    • hasQueryProfiling

      public boolean hasQueryProfiling()

    • setQueryProfiling

      public void setQueryProfiling(boolean b)

    • getUserParameters

      public Map<String,Object> getUserParameters()

    • getUserParameter

      public String getUserParameter(String key)

    • removeUserParameter

      public Object removeUserParameter(String key)