de.rwth.i2.attestor.main.scene

Class Labels

java.lang.Object

de.rwth.i2.attestor.main.scene.Labels

public class Labels
extends Object

Constructor Summary

Constructors

Constructor and Description
Labels()

Method Summary

Modifier and Type	Method and Description
void	addGrammarSelectorLabel(String selector)
void	addKeptVariable(String variableName)
void	addUsedSelectorLabel(String selector)
Set<String>	getGrammarSelectorLabels()
Set<String>	getUsedSelectorLabels()
boolean	isKeptVariableName(String variableName)

Methods inherited from class java.lang.Object

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

Constructor Detail

Labels

public Labels()

Method Detail

addKeptVariable

public void addKeptVariable(String variableName)

isKeptVariableName

public boolean isKeptVariableName(String variableName)

addGrammarSelectorLabel

public void addGrammarSelectorLabel(String selector)

getGrammarSelectorLabels

public Set<String> getGrammarSelectorLabels()

addUsedSelectorLabel

public void addUsedSelectorLabel(String selector)

getUsedSelectorLabels

public Set<String> getUsedSelectorLabels()