jltools.ext.jif.types
Class ParamLabel_c

java.lang.Object
  |
  +--jltools.ext.jl.types.TypeObject_c
        |
        +--jltools.ext.jif.types.Label_c
              |
              +--jltools.ext.jif.types.ParamLabel_c

All Implemented Interfaces:

java.lang.Cloneable, Copy, Label, Param, ParamLabel, java.io.Serializable, TypeObject

public class ParamLabel_c

extends Label_c

implements ParamLabel

An implementation of the ParamLabel interface.

See Also:

Serialized Form

Fields inherited from class jltools.ext.jl.types.TypeObject_c

position, ts

Constructor Summary

protected	ParamLabel_c()
	ParamLabel_c(JifTypeSystem ts, Position pos, UID uid)

Method Summary

java.lang.String	componentString()
boolean	equals(java.lang.Object o)
int	hashCode()
boolean	isCanonical()
boolean	isComparable()
boolean	isCovariant()
boolean	isRuntimeRepresentable()
Label	labelOf() Gets labelOf this label.
boolean	leq_(Label L, PrincipalHierarchy ph)
Label	meet_(Label L, PrincipalHierarchy ph) These should only be called by JifTypeSystem
Label	subst(UID uid, Label L) Substitutes any occurences of for L.
void	translate(Context c, CodeWriter w)
UID	uid()
ParamLabel	uid(UID uid)
java.util.Collection	variables()

Methods inherited from class jltools.ext.jif.types.Label_c

bound, components, description, description, fold, hasVariables, isBottom, isEnumerable, isEquiv, isInvariant, isMeetable, isSingleton, isTop, join, leq, meet, minus, simplify, singletonComponent, substArg, toString

Methods inherited from class jltools.ext.jl.types.TypeObject_c

copy, position, restore_, restore, typeSystem

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jltools.ext.jif.types.Label

bound, components, description, description, fold, hasVariables, isBottom, isEnumerable, isEquiv, isInvariant, isMeetable, isSingleton, isTop, join, leq, meet, minus, simplify, singletonComponent, substArg

Methods inherited from interface jltools.types.TypeObject

position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Constructor Detail

ParamLabel_c

protected ParamLabel_c()

ParamLabel_c

public ParamLabel_c(JifTypeSystem ts,
                    Position pos,
                    UID uid)

Method Detail

isComparable

public boolean isComparable()

Specified by:

isComparable in interface Label

isCanonical

public boolean isCanonical()

Specified by:

isCanonical in interface Param

Overrides:

isCanonical in class Label_c

isRuntimeRepresentable

public boolean isRuntimeRepresentable()

Specified by:

isRuntimeRepresentable in interface Param

Overrides:

isRuntimeRepresentable in class Label_c

uid

public ParamLabel uid(UID uid)

uid

public UID uid()

Specified by:

uid in interface ParamLabel

componentString

public java.lang.String componentString()

Specified by:

componentString in interface Label

Overrides:

componentString in class Label_c

variables

public java.util.Collection variables()

Specified by:

variables in interface Label

Overrides:

variables in class Label_c

labelOf

public Label labelOf()

Description copied from interface: Label

Gets labelOf this label. Refer to Andrew's thesis, Figure 5.4

Specified by:

labelOf in interface Label

Overrides:

labelOf in class Label_c

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

subst

public Label subst(UID uid,
                   Label L)

Description copied from interface: Label

Substitutes any occurences of for L. Refer to Andrew's thesis, Figure 5.5

Specified by:

subst in interface Label

Overrides:

subst in class Label_c

isCovariant

public boolean isCovariant()

Specified by:

isCovariant in interface Label

Overrides:

isCovariant in class Label_c

meet_

public Label meet_(Label L,
                   PrincipalHierarchy ph)

Description copied from interface: Label

These should only be called by JifTypeSystem

Specified by:

meet_ in interface Label

Overrides:

meet_ in class Label_c

leq_

public boolean leq_(Label L,
                    PrincipalHierarchy ph)

Specified by:

leq_ in interface Label

Overrides:

leq_ in class Label_c

translate

public void translate(Context c,
                      CodeWriter w)

Specified by:

translate in interface Label

Overrides:

translate in class Label_c