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

Interface Pointer2IntegerConversion

All Superinterfaces:
Conversion
public interface Pointer2IntegerConversion extends Conversion
Not normally defined behavior, but commonly 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
    IntegerType
    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

      IntegerType 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