de.unisaarland.cs.st.jerify.verifier
Class TSConfig

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.TSConfig

public class TSConfig
extends java.lang.Object

Constructor Summary

TSConfig()

Method Summary

static boolean	reportStackTrace()
static boolean	warnIfNoTypestateInformation()
static boolean	warnIfParametersUncheckedBecauseOfDifferentAmount()
static boolean	warnNoPublicFieldAccess()
static boolean	warnOnUnhandledAliasTracking()

Methods inherited from class java.lang.Object

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

Constructor Detail

TSConfig

public TSConfig()

Method Detail

reportStackTrace

public static final boolean reportStackTrace()

warnIfNoTypestateInformation

public static final boolean warnIfNoTypestateInformation()

warnIfParametersUncheckedBecauseOfDifferentAmount

public static final boolean warnIfParametersUncheckedBecauseOfDifferentAmount()

warnNoPublicFieldAccess

public static final boolean warnNoPublicFieldAccess()

warnOnUnhandledAliasTracking

public static final boolean warnOnUnhandledAliasTracking()