Package com.regnosys.rosetta.types

Class TypeSystem

java.lang.Object

com.regnosys.rosetta.types.TypeSystem

public class TypeSystem
extends Object

Constructor Summary

Constructors

Constructor	Description
TypeSystem()

Method Summary

Modifier and Type	Method	Description
RType	getRulesInputType(Data data, Optional<RosettaExternalRuleSource> source)
RListType	inferType(RosettaExpression expr)
boolean	isComparable(RType t1, RType t2)
boolean	isListComparable(RListType t1, RListType t2)
boolean	isListSubtypeOf(RListType sub, RListType sup)
boolean	isSubtypeOf(RType sub, RType sup)
RType	join(RType t1, RType t2)
RType	join(Iterable<RType> types)
RType	keepTypeAliasIfPossible(RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
RListType	listJoin(RListType t1, RListType t2)
RType	meet(RType t1, RType t2)
RType	meet(Iterable<RType> types)
RType	stripFromTypeAliases(RType t)
RType	typeCallToRType(TypeCall typeCall)
RType	typeCallToRType(TypeCall typeCall, RosettaInterpreterContext context)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeSystem

public TypeSystem()

Method Details

inferType

public RListType inferType(RosettaExpression expr)

getRulesInputType

public RType getRulesInputType(Data data,
 Optional<RosettaExternalRuleSource> source)

join

public RType join(RType t1,
 RType t2)

join

public RType join(Iterable<RType> types)

listJoin

public RListType listJoin(RListType t1,
 RListType t2)

meet

public RType meet(RType t1,
 RType t2)

meet

public RType meet(Iterable<RType> types)

isSubtypeOf

public boolean isSubtypeOf(RType sub,
 RType sup)

isListSubtypeOf

public boolean isListSubtypeOf(RListType sub,
 RListType sup)

isComparable

public boolean isComparable(RType t1,
 RType t2)

isListComparable

public boolean isListComparable(RListType t1,
 RListType t2)

typeCallToRType

public RType typeCallToRType(TypeCall typeCall)

typeCallToRType

public RType typeCallToRType(TypeCall typeCall,
 RosettaInterpreterContext context)

keepTypeAliasIfPossible

public RType keepTypeAliasIfPossible(RType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)

stripFromTypeAliases

public RType stripFromTypeAliases(RType t)