jif.types
Interface JifSubst

All Superinterfaces:

java.io.Serializable, polyglot.ext.param.types.Subst

All Known Implementing Classes:

JifSubst_c

public interface JifSubst

extends polyglot.ext.param.types.Subst

Method Summary

Param	get(UID uid)
void	put(UID uid, Param param)
Assertion	substConstraint(Assertion constraint)
java.util.List	substConstraintList(java.util.List constraints)
Label	substLabel(Label label)
java.util.List	substLabelList(java.util.List labels)
Principal	substPrincipal(Principal principal)
java.util.List	substPrincipalList(java.util.List principals)

Methods inherited from interface polyglot.ext.param.types.Subst

entries, substConstructor, substConstructorList, substField, substFieldList, substitutions, substMethod, substMethodList, substPClass, substType, substTypeList, typeSystem

Method Detail

substConstraint

public Assertion substConstraint(Assertion constraint)

substLabel

public Label substLabel(Label label)

substPrincipal

public Principal substPrincipal(Principal principal)

substConstraintList

public java.util.List substConstraintList(java.util.List constraints)

substLabelList

public java.util.List substLabelList(java.util.List labels)

substPrincipalList

public java.util.List substPrincipalList(java.util.List principals)

get

public Param get(UID uid)

put

public void put(UID uid,
                Param param)