Module dev.civl.abc
Package dev.civl.abc.ast.conversion.IF

Interface ArrayConversion

All Superinterfaces:
Conversion
public interface ArrayConversion extends Conversion
An implicit conversion from array type to pointer type. In C, an expression of array type in most cases is converted to a pointer to the first element of the array. From C11 Sec. 6.3.2.1:
Except when it is the operand of the sizeof operator, the _Alignof operator, or the unary invalid input: '&' operator, or is a string literal used to initialize an array, an expression that has type "array of type" is converted to an expression with type "pointer to type" that points to the initial element of the array object and is not an lvalue. If the array object has register storage class, the behavior is undefined.

  • Nested Class Summary

    Nested classes/interfaces inherited from interface dev.civl.abc.ast.conversion.IF.Conversion

    Conversion.ConversionKind

  • Method Summary

    Modifier and Type
    Method
    Description
    PointerType
    getNewType()
    Returns the type of the entity after applying this conversion.
    ObjectType
    getOldType()
    Returns the type of the entity before applying this conversion.

    Methods inherited from interface dev.civl.abc.ast.conversion.IF.Conversion

    conversionKind

  • Method Details

    • getOldType

      ObjectType getOldType()
      Description copied from interface: Conversion
      Returns the type of the entity before applying this conversion.
      Specified by:
      getOldType in interface Conversion
      Returns:
      the pre-conversion type

    • getNewType

      PointerType getNewType()
      Description copied from interface: Conversion
      Returns the type of the entity after applying this conversion.
      Specified by:
      getNewType in interface Conversion
      Returns:
      the post-conversion type