Interface Integer2PointerConversion

All Superinterfaces:
Conversion

public interface Integer2PointerConversion extends Conversion
some sv-comp examples are using conversions between pointers and integers. this conversion would only be used when -svcomp option is on.
  • Nested Class Summary

    Nested classes/interfaces inherited from interface edu.udel.cis.vsl.abc.ast.conversion.IF.Conversion

    Conversion.ConversionKind
  • Method Summary

    Modifier and Type
    Method
    Description
    Returns the type of the entity after applying this conversion.
    Returns the type of the entity before applying this conversion.

    Methods inherited from interface edu.udel.cis.vsl.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