public class TlPreferences
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Setting<java.lang.Boolean> |
auditMessages |
Setting<TlConstants.DjVarsOption> |
djVarsOption
The Dj Vars Option string.
|
Setting<MMTFolder> |
mmtFolder
MMTFolder in use now, which may be pointing to a null File object if not
yet specified.
|
Setting<java.lang.Boolean> |
storeFormulasAsIs |
Setting<java.lang.Integer> |
storeMMIndentAmt |
Setting<java.lang.Integer> |
storeMMRightCol |
Constructor and Description |
---|
TlPreferences(LogicalSystem logicalSystem,
SessionStore store)
Constructor for TlPreferences.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getProvableLogicStmtTypeParm()
Get the cached value of the Provable Logic Statement Type string value.
|
MMJException |
setMMTFolder(java.io.File file)
Set the MMT Folder using a File object.
|
boolean |
setProvableLogicStmtTypeParm(java.lang.String s)
Validate and set the Provable Logic Stmt Type Parm.
|
public Setting<MMTFolder> mmtFolder
public Setting<TlConstants.DjVarsOption> djVarsOption
public Setting<java.lang.Boolean> auditMessages
public Setting<java.lang.Boolean> storeFormulasAsIs
public Setting<java.lang.Integer> storeMMIndentAmt
public Setting<java.lang.Integer> storeMMRightCol
public TlPreferences(LogicalSystem logicalSystem, SessionStore store)
logicalSystem
- LogicalSystem object.store
- The setting storagepublic java.lang.String getProvableLogicStmtTypeParm()
public boolean setProvableLogicStmtTypeParm(java.lang.String s)
If valid the provableLogicStmtTypeParm is set. If invalid, no updates are made.
s
- Provable Logic Stmt Type Parm string.public MMJException setMMTFolder(java.io.File file)
If valid the mmtFolder is set. If invalid, no updates are made.
file
- MMT Folder File object.