Uses of Class
wyil.util.type.LifetimeRelation

Packages that use LifetimeRelation

Package	Description
wyil.util
wyil.util.type

Uses of LifetimeRelation in wyil.util

Methods in wyil.util with parameters of type LifetimeRelation

Modifier and Type	Method and Description
boolean	TypeSystem.isExplicitCoerciveSubtype(Type t1, Type t2, LifetimeRelation lr) Determine whether type t2 is an explicit coercive subtype of type t1.
boolean	TypeSystem.isSubtype(Type t1, Type t2, LifetimeRelation lr) Determine whether type t2 is a subtype of type t1 (written t1 :> t2).

Uses of LifetimeRelation in wyil.util.type

Fields in wyil.util.type declared as LifetimeRelation

Modifier and Type	Field and Description
static LifetimeRelation	LifetimeRelation.EMPTY

Methods in wyil.util.type with parameters of type LifetimeRelation

Modifier and Type	Method and Description
void	LifetimeRelation.replaceWithMerge(LifetimeRelation first, LifetimeRelation second) Replace this lifetime relation with the merge result of the given two relations.

Constructors in wyil.util.type with parameters of type LifetimeRelation

Constructor and Description
ExplicitCoercionOperator(Automaton fromAutomata, Automaton toAutomata, LifetimeRelation lr)
LifetimeRelation(LifetimeRelation lifetimeRelation) Create an independent copy of the given lifetime relation.
SubtypeOperator(Automaton from, Automaton to, LifetimeRelation lr)