public class NamedLabel
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected Label |
label |
protected java.util.Map<java.lang.String,java.lang.String> |
nameToDescrip |
protected java.util.Map<java.lang.String,Label> |
nameToLabels |
protected polyglot.util.Position |
pos |
protected java.lang.String |
totalName |
Constructor and Description |
---|
NamedLabel() |
NamedLabel(polyglot.util.Position pos) |
NamedLabel(java.lang.String name,
Label l) |
NamedLabel(java.lang.String name,
java.lang.String descrip,
Label l) |
Modifier and Type | Method and Description |
---|---|
NamedLabel |
join(LabelChecker lc,
java.lang.String name,
Label l) |
NamedLabel |
join(LabelChecker lc,
java.lang.String name,
java.lang.String descrip,
Label l) |
Label |
label() |
Label |
label(java.lang.String name) |
NamedLabel |
meet(LabelChecker lc,
java.lang.String name,
Label l) |
NamedLabel |
meet(LabelChecker lc,
java.lang.String name,
java.lang.String descrip,
Label l) |
java.lang.String |
name() |
polyglot.util.Position |
position() |
java.lang.String |
toString() |
protected java.util.Map<java.lang.String,Label> nameToLabels
protected java.util.Map<java.lang.String,java.lang.String> nameToDescrip
protected java.lang.String totalName
protected Label label
protected polyglot.util.Position pos
public NamedLabel()
public NamedLabel(java.lang.String name, Label l)
public NamedLabel(java.lang.String name, java.lang.String descrip, Label l)
public NamedLabel(polyglot.util.Position pos)
public polyglot.util.Position position()
public NamedLabel join(LabelChecker lc, java.lang.String name, Label l)
public NamedLabel join(LabelChecker lc, java.lang.String name, java.lang.String descrip, Label l)
public NamedLabel meet(LabelChecker lc, java.lang.String name, Label l)
public NamedLabel meet(LabelChecker lc, java.lang.String name, java.lang.String descrip, Label l)
public Label label()
public java.lang.String toString()
toString
in class java.lang.Object
public Label label(java.lang.String name)
public java.lang.String name()