Uses of Interface
dev.civl.abc.ast.conversion.IF.Conversion

Packages that use Conversion

Package	Description
dev.civl.abc.ast.conversion.IF	Submodule ast.conversion provides classes for representing to C's "implicit conversions".
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.

Uses of Conversion in dev.civl.abc.ast.conversion.IF

Subinterfaces of Conversion in dev.civl.abc.ast.conversion.IF

Modifier and Type	Interface	Description
interface	ArithmeticConversion	Represents a conversion from any arithmetic type to another arithmetic type (not just the "usual arithmetic conversions").
interface	ArrayConversion	An implicit conversion from array type to pointer type.
interface	CompatiblePointerConversion	An implicit conversion from one pointer type to another pointer type in the case where either the two types are compatible or the second type is obtained by adding a qualifier to the type of thing pointed to.
interface	CompatibleStructureOrUnionConversion	Conversion from one structure or union type to a compatible version of that type.
interface	FunctionConversion	An implicit conversion of a function type T to the type pointer-to-T.
interface	Integer2PointerConversion	This conversion will usually be undefined behavior, but it is still used and we try to support it.
interface	LvalueConversion	An Lvalue conversion, i.e., a conversion from the type of an lvalue to the type of the value obtained by evaluating that lvalue.
interface	MemConversion	A MemConversion converts an expression of pointer or set-of pointer type to $mem type.
interface	NullPointerConversion	Conversion of a null pointer constant to any pointer type.
interface	Pointer2IntegerConversion	Not normally defined behavior, but commonly used and we try to support it.
interface	PointerBoolConversion	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.
interface	RegularRangeToDomainConversion	Converts a regular range to a (one-dimension) domain.
interface	VoidPointerConversion	A conversion between the type pointer-to-void and a pointer to an object type.

Methods in dev.civl.abc.ast.conversion.IF that return Conversion

Modifier and Type	Method	Description
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType, boolean ignoreQualifier)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.

Uses of Conversion in dev.civl.abc.ast.node.IF.expression

Methods in dev.civl.abc.ast.node.IF.expression that return Conversion

Modifier and Type	Method	Description
Conversion	ExpressionNode.getConversion(int index)	Returns the index-th conversion in the chain of types for this expression.

Methods in dev.civl.abc.ast.node.IF.expression with parameters of type Conversion

Modifier and Type	Method	Description
void	ExpressionNode.addConversion(Conversion conversion)	Adds a conversion to the sequence of conversions for this expression.