jif.types.principal
Interface UnknownPrincipal

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, Param, Principal, java.io.Serializable, polyglot.types.TypeObject
All Known Implementing Classes:
UnknownPrincipal_c

public interface UnknownPrincipal
extends Principal

A representation of any unknown principal.


Method Summary
 
Methods inherited from interface jif.types.principal.Principal
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, toJava, variables
 
Methods inherited from interface jif.types.Param
isCanonical, isRuntimeRepresentable
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy