Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> typing >> [ lowlevel overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

mlsub.typing.lowlevel
Class S  

java.lang.Object
  mlsub.typing.lowlevel.S

---

public class S

extends java.lang.Object

Repository of useful global variables and methods

Version:

$Revision: 1.4 $, $Date: 2002/08/22 16:58:17 $

---

Field Summary
static boolean	a
(package private) static boolean	ALLOW_RC
private static boolean	allowAssert
static boolean	allowOverloading
static boolean	contextSimpl
static java.io.PrintWriter	dbg
static boolean	debug
static boolean	debug1
static boolean	debug2
static boolean	debug3
static boolean	debugBinders
static boolean	debugBlock
static boolean	debugDepend
static boolean	debugInterf
static boolean	debugK0
static boolean	debugMeth
static boolean	debugModule
static boolean	debugNative
static boolean	debugNullTypeArgs
static boolean	debugPoly
static boolean	debugPrint
static boolean	debugScope
static boolean	debugSimpl
static boolean	debugType
static boolean	prettyPrint
static java.util.Properties	props
static boolean	simplifyBlock
static boolean	trace
static boolean	trace2
static boolean	traceDepth
static boolean	traceDispatch
static int	VERBOSE_DEFAULT
static int	VERBOSE_DEVEL
static int	VERBOSE_MUTE
private static int	verboseLevel           verbose = 0: mute verbose = 1: reasonable verbose = 2: developer

 

Constructor Summary
private	S()

 

Method Summary
static java.lang.String	address(java.lang.Object x)
static void	assume(boolean cond)
static void	assume(boolean cond, java.lang.Object message)
static boolean	getBoolean(boolean defaultValue, java.lang.String name)
static java.lang.Error	panic()
static java.lang.Error	panic(java.lang.String msg)
static void	printStack()
(package private) static void	setVerboseLevel(int verboseLevel)
static void	verbosePrint(int level, java.lang.String msg)
static void	verbosePrintln(int level, java.lang.String msg)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

ALLOW_RC

static final boolean ALLOW_RC

See Also:

Constant Field Values

---

props

public static final java.util.Properties props

---

debug

public static final boolean debug

---

debugK0

public static final boolean debugK0

---

debugBlock

public static final boolean debugBlock

---

contextSimpl

public static final boolean contextSimpl

---

debugSimpl

public static final boolean debugSimpl

---

trace

public static final boolean trace

---

trace2

public static final boolean trace2

---

debugScope

public static final boolean debugScope

---

debugDepend

public static final boolean debugDepend

---

simplifyBlock

public static final boolean simplifyBlock

---

prettyPrint

public static final boolean prettyPrint

---

debugPrint

public static final boolean debugPrint

---

debugType

public static final boolean debugType

---

debugPoly

public static final boolean debugPoly

---

traceDispatch

public static final boolean traceDispatch

---

traceDepth

public static final boolean traceDepth

---

debugMeth

public static final boolean debugMeth

---

debug1

public static final boolean debug1

---

debug3

public static final boolean debug3

---

debug2

public static final boolean debug2

---

debugInterf

public static final boolean debugInterf

---

allowOverloading

public static final boolean allowOverloading

---

debugNative

public static final boolean debugNative

---

debugBinders

public static final boolean debugBinders

---

debugNullTypeArgs

public static final boolean debugNullTypeArgs

---

debugModule

public static final boolean debugModule

---

dbg

public static final java.io.PrintWriter dbg

---

allowAssert

private static final boolean allowAssert

See Also:

Constant Field Values

---

a

public static final boolean a

See Also:

Constant Field Values

---

VERBOSE_MUTE

public static final int VERBOSE_MUTE

See Also:

Constant Field Values

---

VERBOSE_DEFAULT

public static final int VERBOSE_DEFAULT

See Also:

Constant Field Values

---

VERBOSE_DEVEL

public static final int VERBOSE_DEVEL

See Also:

Constant Field Values

---

verboseLevel

private static int verboseLevel

verbose = 0: mute verbose = 1: reasonable verbose = 2: developer

Constructor Detail

S

private S()

Method Detail

getBoolean

public static boolean getBoolean(boolean defaultValue,
                                 java.lang.String name)

---

panic

public static java.lang.Error panic()

---

panic

public static java.lang.Error panic(java.lang.String msg)

---

printStack

public static void printStack()

---

address

public static java.lang.String address(java.lang.Object x)

---

assume

public static void assume(boolean cond)

---

assume

public static void assume(boolean cond,
                          java.lang.Object message)

---

setVerboseLevel

static void setVerboseLevel(int verboseLevel)

---

verbosePrintln

public static void verbosePrintln(int level,
                                  java.lang.String msg)

---

verbosePrint

public static void verbosePrint(int level,
                                java.lang.String msg)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> typing >> [ lowlevel overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---