Module dev.civl.abc

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

Interface PointerBoolConversion

All Superinterfaces:

Conversion

public interface PointerBoolConversion
extends Conversion

Any pointer type can be explicitly cast to the boolean type: if the pointer is NULL, it maps to the boolean value false, else it maps to true.

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
StandardUnsignedIntegerType	getNewType()	The boolean type _Bool.
PointerType	getOldType()	Any pointer type.

Methods inherited from interface dev.civl.abc.ast.conversion.IF.Conversion

conversionKind

Method Details

getOldType

PointerType getOldType()

Any pointer type.

Specified by:

getOldType in interface Conversion

Returns:

the pre-conversion type

getNewType

StandardUnsignedIntegerType getNewType()

The boolean type _Bool.

Specified by:

getNewType in interface Conversion

Returns:

the post-conversion type