Package net.vleo.timel.type

Class TypeSystem

java.lang.Object

net.vleo.timel.type.TypeSystem

public class TypeSystem
extends Object

A type system to support implicit and explicit casting.

Author:

Andrea Leofreddi

Constructor Summary

Constructors

Constructor	Description
TypeSystem(Set<Conversion<?,?>> conversions, Set<Type<?>> types)	Initializes the type system with the given conversions and types.

Method Summary

Modifier and Type	Method	Description
ConversionResult	getConcretePath(boolean implicit, Type<?> source, Type<?> target)	Retrieve the list of conversions to be applied to convert a concrete type source into to (a possibly non-concrete) target.
Optional<Type<?>>	leastUpperBound(boolean implicit, Set<Type<?>> types)	Get the least upper bound given a set of types, either for implicit or explicit conversions.
Type	parse(String id, List<Object> arguments)	Parse a type given its id, and a list of specialization

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeSystem

public TypeSystem(Set<Conversion<?,?>> conversions,
                  Set<Type<?>> types)

Initializes the type system with the given conversions and types.

Parameters:

conversions - Supported conversions

types - Additional types to consider (useful when no conversion exists for such a type)

Method Detail

getConcretePath

public ConversionResult getConcretePath(boolean implicit,
                                        Type<?> source,
                                        Type<?> target)

Retrieve the list of conversions to be applied to convert a concrete type source into to (a possibly non-concrete) target.

If the conversion is successful, the returned ConversionResult will contain the conversion path along with the resolved, concrete result type.

Parameters:

implicit - Use only implicit conversions

source - Source type

target - Target type

Returns:

The conversion path, or null if any

Throws:

ConfigurationException - If an inconsistent conversion configuration was found

leastUpperBound

public Optional<Type<?>> leastUpperBound(boolean implicit,
                                         Set<Type<?>> types)

Get the least upper bound given a set of types, either for implicit or explicit conversions.

Parameters:

implicit - If true, use the implicit type conversions

types - Input elements

Returns:

The least upper bound if any

parse

public Type parse(String id,
                  List<Object> arguments)

Parse a type given its id, and a list of specialization

Parameters:

id - Type id

arguments - Template arguments (if any)

Returns:

Parsed type