grammarscope.tweak.TweakModelChecker Class Reference

Static Public Member Functions
static boolean	hasTweak (final boolean model)
static void	tweakAsNeeded (final boolean model) throws Exception
static void	main (final String[] args) throws Exception

Private Member Functions
	TweakModelChecker ()

Static Private Member Functions
static boolean	isTweaked (final String markClassName)
static String	tweakedWhen (@SuppressWarnings("SameParameterValue") final String markClassName) throws Exception
static boolean	hasTweak (final String markClassName)

Static Private Attributes
static final String	markClassName = Tweak.tweakMarkClassName
static final String	modelMarkClassName = TweakModel.tweakMarkClassName
static final String	methodName = "tweakedWhen"

Constructor & Destructor Documentation

TweakModelChecker()

grammarscope.tweak.TweakModelChecker.TweakModelChecker ( )

private

Member Function Documentation

hasTweak() [1/2]

static boolean grammarscope.tweak.TweakModelChecker.hasTweak ( final boolean  model )

static

hasTweak() [2/2]

static boolean grammarscope.tweak.TweakModelChecker.hasTweak ( final String  markClassName )

staticprivate

isTweaked()

static boolean grammarscope.tweak.TweakModelChecker.isTweaked ( final String  markClassName )

staticprivate

main()

static void grammarscope.tweak.TweakModelChecker.main ( final String[]  args ) throws Exception

static

tweakAsNeeded()

static void grammarscope.tweak.TweakModelChecker.tweakAsNeeded ( final boolean  model ) throws Exception

static

tweakedWhen()

static String grammarscope.tweak.TweakModelChecker.tweakedWhen ( @SuppressWarnings("SameParameterValue") final String  markClassName ) throws Exception

staticprivate

Member Data Documentation

markClassName

final String grammarscope.tweak.TweakModelChecker.markClassName = Tweak.tweakMarkClassName

staticprivate

methodName

final String grammarscope.tweak.TweakModelChecker.methodName = "tweakedWhen"

staticprivate

modelMarkClassName

final String grammarscope.tweak.TweakModelChecker.modelMarkClassName = TweakModel.tweakMarkClassName

staticprivate

---

The documentation for this class was generated from the following file:

• grammarscope/library-tweak-model/src/main/java/grammarscope/tweak/TweakModelChecker.java