de.uka.ilkd.key.gui.nodeviews

Class SequentView.PIO_age

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.SequentView.PIO_age

Enclosing class:

SequentView

class SequentView.PIO_age
extends java.lang.Object

Utility class consisting of a pair of the PosInOccurrence of a term, and its age. Used for term heatmap highlighting.

Author:

jschiffl

Field Summary

Fields

Modifier and Type	Field and Description
(package private) boolean	active
(package private) int	age
(package private) PosInOccurrence	pio

Constructor Summary

Constructors

Constructor and Description
PIO_age(PosInOccurrence pio, int age)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	get_age()
PosInOccurrence	get_pio()
void	set_pio(PosInOccurrence pio)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

pio

PosInOccurrence pio

age

int age

active

boolean active

Constructor Detail

PIO_age

public PIO_age(PosInOccurrence pio,
               int age)

Method Detail

get_pio

public PosInOccurrence get_pio()

get_age

public int get_age()

set_pio

public void set_pio(PosInOccurrence pio)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object