jltools.ext.jif.types
Class PrincipalInstance_c

java.lang.Object
  |
  +--jltools.ext.jl.types.TypeObject_c
        |
        +--jltools.ext.jl.types.VarInstance_c
              |
              +--jltools.ext.jif.types.PrincipalInstance_c

All Implemented Interfaces:

java.lang.Cloneable, Copy, PrincipalInstance, java.io.Serializable, TypeObject, VarInstance

public class PrincipalInstance_c

extends VarInstance_c

implements PrincipalInstance

An implementation of the PrincipalInstance interface.

See Also:

Serialized Form

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

constantValue, flags, name, type

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

position, ts

Constructor Summary

PrincipalInstance_c(JifTypeSystem ts, Position pos, ExternalPrincipal p)

Method Summary

ExternalPrincipal	principal()
PrincipalInstance	principal(ExternalPrincipal principal)
void	setType(Type t)
java.lang.String	toString()

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

constantValue, equals, flags, hashCode, isCanonical, isConstant, name, type

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.types.VarInstance

constantValue, flags, isConstant, name, type

Methods inherited from interface jltools.types.TypeObject

isCanonical, position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Constructor Detail

PrincipalInstance_c

public PrincipalInstance_c(JifTypeSystem ts,
                           Position pos,
                           ExternalPrincipal p)

Method Detail

principal

public ExternalPrincipal principal()

Specified by:

principal in interface PrincipalInstance

principal

public PrincipalInstance principal(ExternalPrincipal principal)

Specified by:

principal in interface PrincipalInstance

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setType

public void setType(Type t)

Specified by:

setType in interface VarInstance