jltools.ext.jif.types
Class ParamPrincipal_c

java.lang.Object
  |
  +--jltools.ext.jl.types.TypeObject_c
        |
        +--jltools.ext.jif.types.Principal_c
              |
              +--jltools.ext.jif.types.ParamPrincipal_c

All Implemented Interfaces:

java.lang.Cloneable, Copy, Param, ParamPrincipal, Principal, java.io.Serializable, TypeObject

public class ParamPrincipal_c

extends Principal_c

implements ParamPrincipal

An implementation of the ParamPrincipal interface.

See Also:

Serialized Form

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

position, ts

Constructor Summary

ParamPrincipal_c(JifTypeSystem ts, Position pos, UID uid)

Method Summary

boolean	equals(java.lang.Object o)
int	hashCode()
boolean	isRuntimeRepresentable()
Label	labelOf() Gets the label of this principal.
Principal	subst(UID uid, Label L) Substitutes any occurences of for L.
java.lang.String	toString()
java.lang.String	translate(Context c)

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

isCanonical, substArg, uid

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.Principal

substArg, uid

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

isCanonical

Methods inherited from interface jltools.types.TypeObject

position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Constructor Detail

ParamPrincipal_c

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

Method Detail

isRuntimeRepresentable

public boolean isRuntimeRepresentable()

Specified by:

isRuntimeRepresentable in interface Param

Overrides:

isRuntimeRepresentable in class Principal_c

labelOf

public Label labelOf()

Description copied from interface: Principal

Gets the label of this principal. Refer to Andrew's thesis, Figure 5.4.

Specified by:

labelOf in interface Principal

Overrides:

labelOf in class Principal_c

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

subst

public Principal subst(UID uid,
                       Label L)

Description copied from interface: Principal

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

Specified by:

subst in interface Principal

Overrides:

subst in class Principal_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

translate

public java.lang.String translate(Context c)

Specified by:

translate in interface Principal

Overrides:

translate in class Principal_c