Package randoop.operation

Class UncheckedCast

java.lang.Object
randoop.operation.CallableOperation
randoop.operation.UncheckedCast
All Implemented Interfaces:
Operation
class UncheckedCast extends CallableOperation
An Operation to perform an explicit cast. NOTE: there is no actual checking of the types being done. This operation is only used in contexts where the cast is known to be unchecked.

  • Field Details

    • type

      private final Type type
      The result type of the cast.

  • Constructor Details

    • UncheckedCast

      UncheckedCast(Type type)
      Creates an operation that performs a cast. Intended for use in generated sequences where an unchecked cast is needed.
      Parameters:
      type - the cast type

  • Method Details

    • execute

      public ExecutionOutcome execute(Object[] input)
      Performs this operation using the array of input values. Returns the results of execution as an ResultOrException object and can output results to specified PrintStream.

      Performs this cast on the first value of the input array.

      Specified by:
      execute in class CallableOperation
      Parameters:
      input - array containing appropriate inputs to operation
      Returns:
      the value cast to the type of this cast

    • appendCode

      public void appendCode(Type declaringType, TypeTuple inputTypes, Type outputType, List<Variable> inputVars, StringBuilder b)
      Produces a Java source code representation of this statement and appends it to the given StringBuilder.

      Appends the code for this cast applied to the given input to the given StringBuilder.

      Specified by:
      appendCode in class CallableOperation
      Parameters:
      declaringType - the declaring type for this operation
      inputTypes - the input types for this operation
      outputType - the output type for this operation
      inputVars - the list of variables that are inputs to operation
      b - the StringBuilder to which code is added

    • isUncheckedCast

      public boolean isUncheckedCast()
      Description copied from interface: Operation
      Predicate to indicate whether this object represents an unchecked cast.
      Specified by:
      isUncheckedCast in interface Operation
      Overrides:
      isUncheckedCast in class CallableOperation
      Returns:
      true if the this object is a cast, and false otherwise

    • toParsableString

      public String toParsableString(Type declaringType, TypeTuple inputTypes, Type outputType)
      Description copied from class: CallableOperation
      Returns a string representation of this Operation, which can be read by static parse method for class. For a class C implementing the Operation interface, this method should return a String s such that parsing the string returns an object equivalent to this object, i.e. C.parse(this.s).equals(this).
      Specified by:
      toParsableString in class CallableOperation
      Parameters:
      declaringType - the declaring type for this operation
      inputTypes - the input types for this operation
      outputType - the output type for this operation
      Returns:
      a string representation of this operation

    • getName

      public String getName()
      Description copied from interface: Operation
      Returns the name for the operation.
      Returns:
      the name for this operation