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

Interface VoidPointerConversion

All Superinterfaces:
Conversion
public interface VoidPointerConversion extends Conversion

A conversion between the type pointer-to-void and a pointer to an object type. Can convert in either direction.

One operand is a pointer to an object type, and the other is a pointer to a qualified or unqualified version of void, and the type pointed to by the left has all the qualifiers of the type pointed to by the right.

  • 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