de.rwth.i2.attestor.programState.indexedState

Class AnnotatedSelectorLabel

java.lang.Object

de.rwth.i2.attestor.programState.indexedState.AnnotatedSelectorLabel

All Implemented Interfaces:

SelectorLabel, Comparable<SelectorLabel>

public class AnnotatedSelectorLabel
extends Object
implements SelectorLabel

Constructor Summary

Constructors

Constructor and Description
AnnotatedSelectorLabel(SelectorLabel selectorLabel)
AnnotatedSelectorLabel(SelectorLabel selectorLabel, String annotation)

Method Summary

Modifier and Type	Method and Description
int	compareTo(SelectorLabel o)
boolean	equals(Object obj)
String	getAnnotation()
String	getLabel()
int	hashCode()
boolean	hasLabel(String label)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotatedSelectorLabel

public AnnotatedSelectorLabel(SelectorLabel selectorLabel,
                              String annotation)

AnnotatedSelectorLabel

public AnnotatedSelectorLabel(SelectorLabel selectorLabel)

Method Detail

compareTo

public int compareTo(SelectorLabel o)

Specified by:

compareTo in interface Comparable<SelectorLabel>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hasLabel

public boolean hasLabel(String label)

Specified by:

hasLabel in interface SelectorLabel

Parameters:

label - The label that should be checked.

Returns:

True if and only if the given SelectorLabel has the provided label.

getLabel

public String getLabel()

Specified by:

getLabel in interface SelectorLabel

Returns:

The label as a String corresponding to this SelectorLabel.

toString

public String toString()

Overrides:

toString in class Object

getAnnotation

public String getAnnotation()