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

Interface Integer2PointerConversion

All Superinterfaces:
Conversion
public interface Integer2PointerConversion extends Conversion
This conversion will usually be undefined behavior, but it is still used and we try to support it.

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

      IntegerType 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