Package org.jmanikin.test
Interface WorldTest<W extends World<W>>
- All Superinterfaces:
ConformanceResult,TestModule
public interface WorldTest<W extends World<W>> extends TestModule, ConformanceResult
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.jmanikin.test.ConformanceResult
ConformanceResult.ConformanceErrorType, ConformanceResult.DeterminismProblem, ConformanceResult.ObjProblem, ConformanceResult.OldProblem, ConformanceResult.RollbackProblem, ConformanceResult.SendProblem, ConformanceResult.WorldConformanceError<W extends World<W>>Nested classes/interfaces inherited from interface org.jmanikin.test.TestModule
TestModule.CId, TestModule.CMsg<E>, TestModule.CObject, TestModule.CopyId, TestModule.LMsg<E>, TestModule.LocalCopyId, TestModule.LocalSendSetMember, TestModule.LocalSetMember, TestModule.SendSetMember, TestModule.SetMember, TestModule.ThrowPstException -
Method Summary
Modifier and Type Method Description default java.util.List<ConformanceResult.WorldConformanceError<W>>check(W w)default java.util.List<ConformanceResult.WorldConformanceError<W>>checkDeterminism(W world)default java.util.List<ConformanceResult.WorldConformanceError<W>>checkObj(W world)default java.util.List<ConformanceResult.WorldConformanceError<W>>checkOld(W world)default java.util.List<ConformanceResult.WorldConformanceError<W>>checkRollback(W world)default java.util.List<ConformanceResult.WorldConformanceError<W>>checkSend(W world)default voiderror(java.lang.String error)
-
Method Details
-
check
-
error
default void error(java.lang.String error) -
checkObj
-
checkOld
-
checkSend
-
checkDeterminism
-
checkRollback
-