shared
Class Basics

java.lang.Object
  |
  +--shared.Basics

public class Basics

extends java.lang.Object

Every file uses the members of the basics class. Here we define some constants, an initialization function and termination function. Note that since initialization order of static instances is not defined within different files, it is important that all initialization be done here, or at least that any other initialization will not depend on anything initialized here. This is especially a problem with constructors that call fatal_error and output to err, since err may not be initialized at that stage. Note the dependency between LONG_MAX and MAX_LONG_LEN.

Field Summary

static int	BAD_STATUS Bad exit status for program.
static double	CONFIDENCE_INTERVAL_PROBABILITY The probability interval value used for calculating confidence.
static boolean	DBG TRUE if DBG sections of code should be executed, FALSE otherwise.
static boolean	DBGSLOW TRUE if DBGSLOW sections of code should be executed, FALSE otherwise.
static java.lang.String	DEFAULT_WRAP_PREFIX Prefix added to word wrapped lines.
static int	DEFAULT_WRAP_WIDTH Number of characters allowed before a line is word wrapped.
static int	defaultOpenProt Default value for opening protections.
static java.io.Writer	err Writer for output of error information.
static java.lang.String	err_text Standard error text.
static char	ERROR_PREFIX The prefix character for displaying error strings.
static java.lang.String	fatal_expected Value used for error catching.
static int	MAX_REAL_DIGITS Maximum number of digits for real numbers.
static int	MAX_REAL_LEN Maximum length for real number display.
static int	MAX_STORED_REAL_LEN Maximum length for stored real number display.
static int	MAX_WIDTH MAX_WIDTH is the maximum width allowed for real output.
static boolean	mineset TRUE if mineset is being used, FALSE otherwise.
static java.lang.String	minesetVersionStr The version of mineset being used.
static double	REAL_MAX Maximum value for real numbers.
static double	REAL_MIN Minimum number for real numbers.
static float	STORED_REAL_MAX Maximum number for stored real numbers.
static float	STORED_REAL_MIN Minimum number for stored real numbers.
static int	UNDEFINED_INT Number that represents undefined integer values.
static double	UNDEFINED_REAL Number that represents undefined real values.
static double	UNDEFINED_VARIANCE Number that designates undefined variance values.
static char	WRAP_INDENT The character used to display when a line is being wrapped.

Constructor Summary

Basics()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DBG

public static boolean DBG

TRUE if DBG sections of code should be executed, FALSE otherwise. Default is FALSE

DBGSLOW

public static boolean DBGSLOW

TRUE if DBGSLOW sections of code should be executed, FALSE otherwise. Default is FALSE

CONFIDENCE_INTERVAL_PROBABILITY

public static double CONFIDENCE_INTERVAL_PROBABILITY

The probability interval value used for calculating confidence.

defaultOpenProt

public static int defaultOpenProt

Default value for opening protections.

ERROR_PREFIX

public static char ERROR_PREFIX

The prefix character for displaying error strings.

WRAP_INDENT

public static char WRAP_INDENT

The character used to display when a line is being wrapped.

BAD_STATUS

public static int BAD_STATUS

Bad exit status for program.

fatal_expected

public static java.lang.String fatal_expected

Value used for error catching.

mineset

public static boolean mineset

TRUE if mineset is being used, FALSE otherwise.

minesetVersionStr

public static java.lang.String minesetVersionStr

The version of mineset being used.

err_text

public static java.lang.String err_text

Standard error text.

err

public static java.io.Writer err

Writer for output of error information.

REAL_MAX

public static double REAL_MAX

Maximum value for real numbers.

REAL_MIN

public static double REAL_MIN

Minimum number for real numbers.

STORED_REAL_MAX

public static float STORED_REAL_MAX

Maximum number for stored real numbers.

STORED_REAL_MIN

public static float STORED_REAL_MIN

Minimum number for stored real numbers.

UNDEFINED_VARIANCE

public static double UNDEFINED_VARIANCE

Number that designates undefined variance values.

UNDEFINED_REAL

public static double UNDEFINED_REAL

Number that represents undefined real values.

UNDEFINED_INT

public static int UNDEFINED_INT

Number that represents undefined integer values.

DEFAULT_WRAP_WIDTH

public static int DEFAULT_WRAP_WIDTH

Number of characters allowed before a line is word wrapped.

DEFAULT_WRAP_PREFIX

public static java.lang.String DEFAULT_WRAP_PREFIX

Prefix added to word wrapped lines.

MAX_REAL_DIGITS

public static int MAX_REAL_DIGITS

Maximum number of digits for real numbers.

MAX_REAL_LEN

public static int MAX_REAL_LEN

Maximum length for real number display.

MAX_STORED_REAL_LEN

public static int MAX_STORED_REAL_LEN

Maximum length for stored real number display.

MAX_WIDTH

public static int MAX_WIDTH

MAX_WIDTH is the maximum width allowed for real output.

Constructor Detail

Basics

public Basics()