Constant Field Values

Contents
argutia.*

argutia.Argutia
public static final String RB_BASE_NAME "argutia.argutia"
public static final String USER_PROPERTIES_FILE_NAME "resources/properties/user.properties"

argutia.Files
private static final String FILE_COMMENT "#"
private static final String TITRE_SECTION_ECRITURE "::{0}"
private static final String TITRE_SECTION_LECTURE "^::\\s*([\\p{L}\\d_]+)\\s*$"

argutia.MyResourceBundle
public static final String ACCELERATOR ".accelerator"
public static final String DENOMINATION ".denomination"
public static final String MNEMONIC ".mnemonic"
public static final String SPELLING ".spelling"
public static final String SPELLING_IN_FILE ".spelling_in_file"
public static final String TOOLTIP ".tip"

argutia.events.*

argutia.events.ComputationEvent
private static final long serialVersionUID -4472509654037416780L

argutia.events.FileEvent
private static final long serialVersionUID -8459598011084439800L

argutia.gui.*

argutia.gui.DocumentColore
private static final long serialVersionUID 1467592138L

argutia.gui.MainFrame
private static final long serialVersionUID 3355081003359995374L

argutia.gui.Menu
private static final long serialVersionUID -8749283345016937654L

argutia.gui.MyStyles
public static final String RB_MENU_FONT_SIZE_RATIO "argutia.menu_font_size_ratio"
public static final String RB_SMALL_FONT_SIZE_RATIO "argutia.small_font_size_ratio"
private static final long serialVersionUID 2124483014256487509L

argutia.gui.Onglets
public static final String RB_TAB_AGENTS "tab.agents"
public static final String RB_TAB_ARGUMENTS "tab.arguments"
public static final String RB_TAB_CONFIGURATION "tab.configuration"
public static final String RB_TAB_SITUATION "tab.situation"
private static final long serialVersionUID -4663220485296569426L

argutia.gui.Onglets.JTextPaneColore
private static final long serialVersionUID -375251360027999352L

argutia.gui.Representation
public static final int COLUMNS 5
private static final long serialVersionUID -1873116156721554427L

argutia.gui.batchStyledDocument.BatchStyledDocument
private static final long serialVersionUID -8597402980707337103L

argutia.logic.*

argutia.logic.PropositionalVariable
public static final String CARACTERE "(?:\\p{L}|\\d|_)"
public static final String RB_ILLEGAL_ARGUMENT_EXCEPTION "propositional_variable.illegal_argument_exception"
public static final String RB_KEY_ALREADY_EXISTS_EXCEPTION "propositional_variable.key_already_exists_exception"

argutia.logic.TruthSymbol
public static final String RB_TRUTH_SYMBOLS_CONTRADICTION "truth_symbols.contradiction"
public static final String RB_TRUTH_SYMBOLS_TAUTOLOGY "truth_symbols.tautology"

argutia.logic.syntax.SyntaxException
private static final long serialVersionUID 6234998096543588170L

argutia.tools.*

argutia.tools.HashCodes
public static final int SEED 37

Argutia JavaDoc
23 décembre 2007