Package randoop.condition.specification

package randoop.condition.specification
  • Classes
    Class
    Description
    AbstractBooleanExpression
    Abstract class representing boolean expressions that occur in SpecificationClause objects.
    Guard
    The representation of a boolean expression over the values of parameters and receiver object of an operation (i.e., a method or constructor).
    Identifiers
    Contains the identifiers used in the guards and properties of the specifications in a OperationSpecification.
    OperationSignature
    Represents the signature of a method or constructor for an OperationSpecification so that the java.lang.reflect.AccessibleObject can be loaded, which is done by SpecificationCollection.getAccessibleObject.
    OperationSpecification
    A specification of a constructor or method, aka, an operation.
    Postcondition
    A Postcondition is a specification clause of a contract on the outcome of the invocation of an operation.
    Precondition
    A SpecificationClause for pre-conditions on the parameters and receiver of an operation.
    Property
    The representation of a boolean expression over the values of parameters, receiver object, and return value of a method.
    SpecificationClause
    Abstract class for representations of conditions that can be attached to methods and constructors.
    ThrowsCondition
    A specification clause that an exception should be thrown.