Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD