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

Interface Conversion

All Known Subinterfaces:
ArithmeticConversion, ArrayConversion, CompatiblePointerConversion, CompatibleStructureOrUnionConversion, FunctionConversion, Integer2PointerConversion, LvalueConversion, MemConversion, NullPointerConversion, Pointer2IntegerConversion, PointerBoolConversion, RegularRangeToDomainConversion, VoidPointerConversion
public interface Conversion
A conversion is an implicit operation that may change a value and/or the type of the value. Examples include the usual arithmetic conversions, lvalue conversion, and array and function conversions (which change the type from array of T to pointer to T, and function returning T to pointer to function returning T, respectively).

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static enum 
    Conversion.ConversionKind
    Kind of conversions

  • Method Summary

    Modifier and Type
    Method
    Description
    Conversion.ConversionKind
    conversionKind()
    Returns the kind of the conversion.
    Type
    getNewType()
    Returns the type of the entity after applying this conversion.
    Type
    getOldType()
    Returns the type of the entity before applying this conversion.

  • Method Details

    • getOldType

      Type getOldType()
      Returns the type of the entity before applying this conversion.
      Returns:
      the pre-conversion type

    • getNewType

      Type getNewType()
      Returns the type of the entity after applying this conversion.
      Returns:
      the post-conversion type

    • conversionKind

      Conversion.ConversionKind conversionKind()
      Returns the kind of the conversion.
      Returns:
      the kind of the conversion