Package jason.runtime

Class Settings

java.lang.Object
jason.runtime.Settings
All Implemented Interfaces:
java.io.Serializable

public class Settings
extends java.lang.Object
implements java.io.Serializable
MAS Runtime Settings for an Agent (from mas2j file, agent declaration)
See Also:
Serialized Form
  • Field Details

    • serialVersionUID

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

      public static final byte ODiscard
      See Also:
      Constant Field Values
    • ORequeue

      public static final byte ORequeue
      See Also:
      Constant Field Values
    • ORetrieve

      public static final byte ORetrieve
      See Also:
      Constant Field Values
    • OSameFocus

      public static final boolean OSameFocus
      See Also:
      Constant Field Values
    • ONewFocus

      public static final boolean ONewFocus
      See Also:
      Constant Field Values
    • ODefaultNRC

      public static final int ODefaultNRC
      See Also:
      Constant Field Values
    • ODefaultVerbose

      public static final int ODefaultVerbose
      See Also:
      Constant Field Values
    • ODefaultSync

      public static final boolean ODefaultSync
      See Also:
      Constant Field Values
    • logger

      private static java.util.logging.Logger logger
    • events

      private byte events
    • intBels

      private boolean intBels
    • nrcbp

      private int nrcbp
    • verbose

      private int verbose
    • sync

      private boolean sync
    • qCache

      private boolean qCache
    • qProfiling

      private boolean qProfiling
    • troON

      private boolean troON
    • userParameters

      private java.util.Map<java.lang.String,​java.lang.Object> userParameters
    • PROJECT_PARAMETER

      public static final java.lang.String PROJECT_PARAMETER
      See Also:
      Constant Field Values
    • INIT_BELS

      public static final java.lang.String INIT_BELS
      See Also:
      Constant Field Values
    • INIT_GOALS

      public static final java.lang.String INIT_GOALS
      See Also:
      Constant Field Values
    • MIND_INSPECTOR

      public static final java.lang.String MIND_INSPECTOR
      See Also:
      Constant Field Values
  • Constructor Details

    • Settings

      public Settings()
    • Settings

      public Settings​(java.lang.String options)
  • Method Details

    • setOptions

      public void setOptions​(java.lang.String options)
    • setOptions

      public void setOptions​(java.util.Map<java.lang.String,​java.lang.Object> options)
    • addOption

      public void addOption​(java.lang.String key, java.lang.Object value)
      add user defined option
    • setEvents

      public void setEvents​(byte opt)
    • setIntBels

      public void setIntBels​(boolean opt)
    • setNRCBP

      public void setNRCBP​(java.lang.String opt)
    • setNRCBP

      public void setNRCBP​(int opt)
    • setVerbose

      public void setVerbose​(java.lang.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 java.util.logging.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 java.util.Map<java.lang.String,​java.lang.Object> getUserParameters()
    • getUserParameter

      public java.lang.String getUserParameter​(java.lang.String key)
    • removeUserParameter

      public java.lang.Object removeUserParameter​(java.lang.String key)