jif.types.principal
Interface VarPrincipal

All Superinterfaces:

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

All Known Implementing Classes:

VarPrincipal_c

public interface VarPrincipal
extends Principal, Variable

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

Methods inherited from interface jif.types.label.Variable

mustRuntimeRepresentable, name, setMustRuntimeRepresentable