jltools.ext.jif.types
Class NamedLabel

java.lang.Object
  |
  +--jltools.ext.jif.types.NamedLabel

public class NamedLabel

extends java.lang.Object

A Jif label with names for the debuging use.

Constructor Summary

NamedLabel()

NamedLabel(Position pos)

Method Summary

java.lang.String	element(Label l, PrincipalHierarchy ph)
java.util.List	elements()
NamedLabel	join(java.lang.String name, Label l)
Label	label()
Label	label(java.lang.String name)
NamedLabel	meet(java.lang.String name, Label l, PrincipalHierarchy ph)
Position	position()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NamedLabel

public NamedLabel()

NamedLabel

public NamedLabel(Position pos)

Method Detail

position

public Position position()

join

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

meet

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

label

public Label label()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

elements

public java.util.List elements()

element

public java.lang.String element(Label l,
                                PrincipalHierarchy ph)

label

public Label label(java.lang.String name)