Module dev.civl.abc

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

Interface RegularRangeToDomainConversion

All Superinterfaces:

Conversion

public interface RegularRangeToDomainConversion
extends Conversion

Converts a regular range to a (one-dimension) domain.

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
DomainType	getNewType()	The domain type $domain.
ObjectType	getOldType()	The range type $range.

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

conversionKind

Method Details

getOldType

ObjectType getOldType()

The range type $range.

Specified by:

getOldType in interface Conversion

Returns:

the pre-conversion type

getNewType

DomainType getNewType()

The domain type $domain.

Specified by:

getNewType in interface Conversion

Returns:

the post-conversion type