Uses of Interface
de.gebit.integrity.dsl.FixedResultName
-
Packages that use FixedResultName Package Description de.gebit.integrity.dsl de.gebit.integrity.dsl.impl de.gebit.integrity.dsl.util de.gebit.integrity.runner.modelcheck de.gebit.integrity.serializer -
-
Uses of FixedResultName in de.gebit.integrity.dsl
Methods in de.gebit.integrity.dsl that return FixedResultName Modifier and Type Method Description FixedResultName
DslFactory. createFixedResultName()
Returns a new object of class 'Fixed Result Name'. -
Uses of FixedResultName in de.gebit.integrity.dsl.impl
Classes in de.gebit.integrity.dsl.impl that implement FixedResultName Modifier and Type Class Description class
FixedResultNameImpl
An implementation of the model object 'Fixed Result Name'.Methods in de.gebit.integrity.dsl.impl that return FixedResultName Modifier and Type Method Description FixedResultName
DslFactoryImpl. createFixedResultName()
-
Uses of FixedResultName in de.gebit.integrity.dsl.util
Methods in de.gebit.integrity.dsl.util with parameters of type FixedResultName Modifier and Type Method Description T
DslSwitch. caseFixedResultName(FixedResultName object)
Returns the result of interpreting the object as an instance of 'Fixed Result Name'. -
Uses of FixedResultName in de.gebit.integrity.runner.modelcheck
Methods in de.gebit.integrity.runner.modelcheck with parameters of type FixedResultName Modifier and Type Method Description protected void
DefaultModelChecker. checkSingleFixedNamedResult(FixedResultName aFixedResultName, java.lang.String aTestName)
Checks a single fixed named result of a test. -
Uses of FixedResultName in de.gebit.integrity.serializer
Methods in de.gebit.integrity.serializer with parameters of type FixedResultName Modifier and Type Method Description protected void
AbstractDSLSemanticSequencer. sequence_FixedResultName(org.eclipse.xtext.serializer.ISerializationContext context, FixedResultName semanticObject)
Contexts: ResultName returns FixedResultName FixedResultName returns FixedResultName Constraint: field=[JvmField|ID]
-