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(ParamInstance pi)
void	put(ParamInstance pi, 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

Assertion substConstraint(Assertion constraint)

substLabel

Label substLabel(Label label)

substPrincipal

Principal substPrincipal(Principal principal)

substConstraintList

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

substLabelList

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

substPrincipalList

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

get

Param get(ParamInstance pi)

put

void put(ParamInstance pi,
         Param param)