jif.types
Class UnknownPrincipal_c

java.lang.Object
  |
  +--polyglot.ext.jl.types.TypeObject_c
        |
        +--jif.types.UnknownPrincipal_c

All Implemented Interfaces:

java.lang.Cloneable, polyglot.util.Copy, Param, Principal, java.io.Serializable, polyglot.types.TypeObject, UnknownPrincipal

public class UnknownPrincipal_c

extends polyglot.ext.jl.types.TypeObject_c

implements UnknownPrincipal

An implementation of the UnknownPrincipal interface.

See Also:

Serialized Form

Field Summary

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

position, ts

Constructor Summary

UnknownPrincipal_c(JifTypeSystem ts, polyglot.util.Position pos)

Method Summary

boolean	isCanonical()
boolean	isRuntimeRepresentable()
Label	labelOf() Gets the label of this principal.
Principal	subst(LabelSubstitution substitution) Accepts a LabelSubstitution and returns the result of substituting according to the given LabelSubstitution.
Principal	subst(UID uid, Label L) Substitutes any occurences of for L.
polyglot.ast.Expr	toJava(JifToJavaRewriter rw)
java.lang.String	toString()
java.lang.String	translate(polyglot.types.Resolver c)
UID	uid()

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

copy, equals, equalsImpl, position, typeSystem

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

UnknownPrincipal_c

public UnknownPrincipal_c(JifTypeSystem ts,
                          polyglot.util.Position pos)

Method Detail

isRuntimeRepresentable

public boolean isRuntimeRepresentable()

Specified by:

isRuntimeRepresentable in interface Param

isCanonical

public boolean isCanonical()

Specified by:

isCanonical in interface Param

uid

public UID uid()

Specified by:

uid in interface Principal

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

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

subst

public Principal subst(LabelSubstitution substitution)

Description copied from interface: Principal

Accepts a LabelSubstitution and returns the result of substituting according to the given LabelSubstitution.

Specified by:

subst in interface Principal

Parameters:

substitution - the LabelSubstitution to use

Returns:

the result of the substitution

translate

public java.lang.String translate(polyglot.types.Resolver c)

Specified by:

translate in interface Principal

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toJava

public polyglot.ast.Expr toJava(JifToJavaRewriter rw)
                         throws polyglot.types.SemanticException

Specified by:

toJava in interface Principal

polyglot.types.SemanticException