Interface Pointer2IntegerConversion

All Superinterfaces:
Conversion

public interface Pointer2IntegerConversion 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

      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