jif.types
Class NamedLabel

java.lang.Object
  jif.types.NamedLabel

public class NamedLabel
extends java.lang.Object

A Jif label with names for the debuging use.

Field Summary

protected Label	label
protected java.util.Map	nameToDescrip
protected java.util.Map	nameToLabels
protected polyglot.util.Position	pos

Constructor Summary

NamedLabel()

NamedLabel(polyglot.util.Position pos)

NamedLabel(java.lang.String name, Label l)

NamedLabel(java.lang.String name, java.lang.String descrip, Label l)

Method Summary

NamedLabel	join(java.lang.String name, Label l)
NamedLabel	join(java.lang.String name, java.lang.String descrip, Label l)
Label	label()
Label	label(java.lang.String name)
polyglot.util.Position	position()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

nameToLabels

protected java.util.Map nameToLabels

nameToDescrip

protected java.util.Map nameToDescrip

label

protected Label label

pos

protected polyglot.util.Position pos

Constructor Detail

NamedLabel

public NamedLabel()

NamedLabel

public NamedLabel(java.lang.String name,
                  Label l)

NamedLabel

public NamedLabel(java.lang.String name,
                  java.lang.String descrip,
                  Label l)

NamedLabel

public NamedLabel(polyglot.util.Position pos)

Method Detail

position

public polyglot.util.Position position()

join

public NamedLabel join(java.lang.String name,
                       Label l)

join

public NamedLabel join(java.lang.String name,
                       java.lang.String descrip,
                       Label l)

label

public Label label()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

label

public Label label(java.lang.String name)