static final class Interval.RegisterBindingLists extends Object
Modifier and Type | Field and Description |
---|---|
Interval |
any
List of intervals whose binding is currently
Interval.RegisterBinding.Any . |
Interval |
fixed
List of intervals whose binding is currently
Interval.RegisterBinding.Fixed . |
Interval |
stack
List of intervals whose binding is currently
Interval.RegisterBinding.Stack . |
Constructor and Description |
---|
RegisterBindingLists(Interval fixed,
Interval any,
Interval stack) |
Modifier and Type | Method and Description |
---|---|
void |
addToListSortedByCurrentFromPositions(Interval.RegisterBinding binding,
Interval interval)
Adds an interval to a list sorted by current from
positions.
|
void |
addToListSortedByStartAndUsePositions(Interval.RegisterBinding binding,
Interval interval)
Adds an interval to a list sorted by start positions and
first usage positions.
|
Interval |
get(Interval.RegisterBinding binding)
Gets the list for a specified binding.
|
void |
remove(Interval.RegisterBinding binding,
Interval i)
Removes an interval from a list.
|
void |
set(Interval.RegisterBinding binding,
Interval list)
Sets the list for a specified binding.
|
public Interval fixed
Interval.RegisterBinding.Fixed
.public Interval any
Interval.RegisterBinding.Any
.public Interval stack
Interval.RegisterBinding.Stack
.public RegisterBindingLists(Interval fixed, Interval any, Interval stack)
public Interval get(Interval.RegisterBinding binding)
binding
- specifies the list to be returnedbinding
public void set(Interval.RegisterBinding binding, Interval list)
binding
- specifies the list to be replacedlist
- a list of intervals whose binding is binding
public void addToListSortedByCurrentFromPositions(Interval.RegisterBinding binding, Interval interval)
binding
- specifies the list to be updatedinterval
- the interval to addpublic void addToListSortedByStartAndUsePositions(Interval.RegisterBinding binding, Interval interval)
binding
- specifies the list to be updatedinterval
- the interval to addpublic void remove(Interval.RegisterBinding binding, Interval i)
binding
- specifies the list to be updatedi
- the interval to remove