Package randoop
package randoop
-
ClassDescriptionWrite this annotation on a method to specify that that the method checks a representation invariant.A visitor that does nothing and adds no checks.Means that the execution of a statement threw an exception.Represents the outcome of executing one statement in a sequence, including: the value returned by the statement, or the exception thrown.A visitor that is invoked as the execution of a sequence unfolds.Various general global variables used throughout Randoop.Discards anything written to it.An execution visitor that chains a list of visitors in sequence.Means that the statement that this result represents completed normally.Means that the statement that this outcome represents was not executed.Thrown by a ContractFailureReplayVisitor or a RegressionReplayVisitor when a regression decoration fails to replay.A side-effect-free method does not change the state of receiver or parameters.A set of classes.Signals to Randoop that the value of a primitive (or primitive array) field in a class under test should be used as an input value to methods under test.