escjava.gui
Class GUI.Options

java.lang.Object
  javafe.Options
      javafe.SrcToolOptions
          escjava.Options
              escjava.gui.GUI.Options

Enclosing class:

GUI

public static class GUI.Options

extends Options

Extends escjava.Options just to set some defaults to more appropriate values for the GUI.

Field Summary

Fields inherited from class escjava.Options

allocUseOpt, allowAlsoRequires, assertContinue, assertionMode, bubbleNotDown, checkPurity, checkRedundantSpecs, checkSpecs, ClassVCPrefix, consistencyCheck, counterexample, debug, desugaredSpecs, dsa, excuseNullInitializers, filterInvariants, filterMethodSpecs, guardedVC, guardedVCDir, guardedVCFileExt, guardedVCFileNumbers, guardedVCGuardFile, guardedVCPrefix, guardVars, idc, ignoreAnnSet, inferPredicates, inlineConstructors, inlineDepthFlags, inlineFromConstructors, JAVA_ASSERTIONS, JML_ASSERTIONS, lastVarUseOpt, lazySubst, LOOP_FALL_THRU, LOOP_FAST, LOOP_SAFE, loopTranslation, loopUnrollCount, loopUnrollHalf, mapsUnrollCount, mergeInv, MethodVCPrefix, namePCsize, nestQuantifiers, nne, noDirectTargetsOpt, noNotCheckedWarnings, noOutCalls, noPeepOptGCAssertFalse, noSemicolonWarnings, noVarCheckDeclsAndUses, nvcg, nvu, parsePlus, passify, pcc, pColors, pdsa, peepOptE, peepOptGC, pErr, pgc, pInfo, pjt, plainWarning, pProver, preciseTargets, predAbstract, prettyPrintVC, printAssumers, printCompilationUnitsOnLoad, pToDot, pvc, pWarn, rewriteDepth, routinesToCheck, routinesToSkip, showCallDetails, showFields, showLoopDetails, simplify, specspath, spvc, stages, startLine, statsQuantifierComplexity, statsSpace, statsTermComplexity, statsTime, statsVariableComplexity, strictExceptions, strongAssertPost, suggest, sxLog, testRef, traceInfo, trackReadChars, univBackPredFile, useAllInvPostBody, useAllInvPostCall, useAllInvPreBody, useCvc3, useDefpred, useFcnsForAllocations, useFcnsForMethods, useFcnsForModelVars, useHarvey, useIntQuantAntecedents, useOldStringHandling, useSammy, useSimplify, useThrowable, vc2dot, vclimit, warnUnsoundIncomplete, wpnxw, wpp

Fields inherited from class javafe.SrcToolOptions

allowAvoidSpec, allowDepend, avoidSpec, processRecursively

Fields inherited from class javafe.Options

assertionsEnabled, assertIsKeyword, currentdir, eol, fileOrigin, inputEntries, issueUsage, NEVER_BINARY, NEVER_SOURCE, noCautions, PREFER_BINARY, PREFER_RECENT, PREFER_SOURCE, quiet, showErrorLocation, sysPath, testMode, universeLevel, userPath, userSourcePath, useUniverseTypeSystem, v

Constructor Summary

GUI.Options()

Methods inherited from class escjava.Options

nowarnOptionString, processOption, showNonOptions, showOptions

Methods inherited from class javafe.Options

checkMoreArguments, format, processFileOfArgs, processOptions, processOptionsLoop, showOptionArray, usage

Methods inherited from class java.lang.Object

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

Constructor Detail

GUI.Options

public GUI.Options()