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

Interface CompatiblePointerConversion

All Superinterfaces:
Conversion
public interface CompatiblePointerConversion extends Conversion
An implicit conversion from one pointer type to another pointer type in the case where either the two types are compatible or the second type is obtained by adding a qualifier to the type of thing pointed to. From C11 Sec. 6.3.2.3:
For any qualifier q, a pointer to a non-q-qualified type may be converted to a pointer to the q-qualified version of the type; the values stored in the original and converted pointers shall compare equal.
From C11 Sec. 6.7.6.1:
For two pointer types to be compatible, both shall be identically qualified and both shall be pointers to compatible types.

  • 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.
    PointerType
    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

      PointerType 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