Module dev.civl.abc

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

Interface ArithmeticConversion

All Superinterfaces:

Conversion

public interface ArithmeticConversion
extends Conversion

Represents a conversion from any arithmetic type to another arithmetic type (not just the "usual arithmetic conversions"). See C11 Sec. 6.3.1.

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
ArithmeticType	getNewType()	Returns the type of the entity after applying this conversion.
ArithmeticType	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

ArithmeticType 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

ArithmeticType 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