Package randoop.condition.specification

Class SpecificationClause

java.lang.Object
randoop.condition.specification.SpecificationClause
Direct Known Subclasses:
Postcondition, Precondition, ThrowsCondition
public abstract class SpecificationClause extends Object
Abstract class for representations of conditions that can be attached to methods and constructors.

Every specification clause has at least a guard (which this class provides). Some clauses have more parts, so subclasses of this class can add fields.

  • Field Details

  • Constructor Details

    • SpecificationClause

      protected SpecificationClause()
      Gson serialization requires a default constructor.

    • SpecificationClause

      protected SpecificationClause(String description, Guard guard)
      Creates a SpecificationClause with the given guard.
      Parameters:
      description - the description of the created specification
      guard - the Guard for the created specification

  • Method Details