wyil.util.type

Class LifetimeRelation

java.lang.Object

wyil.util.type.LifetimeRelation

public class LifetimeRelation
extends Object

This relation tracks the partial order among lifetimes.

Field Summary

Fields

Modifier and Type	Field and Description
static LifetimeRelation	EMPTY

Constructor Summary

Constructors

Constructor and Description
LifetimeRelation() Create a new and empty lifetime relation.
LifetimeRelation(LifetimeRelation lifetimeRelation) Create an independent copy of the given lifetime relation.

Method Summary

Modifier and Type	Method and Description
void	addParameters(Collection<String> lifetimeParameters) Add a method's lifetime parameters to this relation.
void	endNamedBlock(String lifetime) Remove the named block with the given name from this relation.
boolean	outlives(String outerLifetime, String innerLifetime) Check whether the first (outer) lifetime outlives the second (inner) lifetime.
void	replaceWithMerge(LifetimeRelation first, LifetimeRelation second) Replace this lifetime relation with the merge result of the given two relations.
void	startNamedBlock(String lifetime) Enter a named block to this relation.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final LifetimeRelation EMPTY

Constructor Detail

LifetimeRelation

public LifetimeRelation()

Create a new and empty lifetime relation.

LifetimeRelation

public LifetimeRelation(LifetimeRelation lifetimeRelation)

Create an independent copy of the given lifetime relation.

Parameters:

lifetimeRelation -

Method Detail

outlives

public boolean outlives(String outerLifetime,
                        String innerLifetime)

Check whether the first (outer) lifetime outlives the second (inner) lifetime.

Parameters:

outerLifetime -

innerLifetime -

Returns:

addParameters

public void addParameters(Collection<String> lifetimeParameters)

Add a method's lifetime parameters to this relation.

Parameters:

lifetimeParameters -

startNamedBlock

public void startNamedBlock(String lifetime)

Enter a named block to this relation.

Parameters:

lifetime -

endNamedBlock

public void endNamedBlock(String lifetime)

Remove the named block with the given name from this relation. It also removes inner blocks in case that the given block is not the latest one.

Parameters:

lifetime -

replaceWithMerge

public void replaceWithMerge(LifetimeRelation first,
                             LifetimeRelation second)

Replace this lifetime relation with the merge result of the given two relations.

Parameters:

first -

second -

toString

public String toString()

Overrides:

toString in class Object