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
Methods inherited from interface polyglot.ext.param.types.Subst |
entries, substConstructor, substConstructorList, substField, substFieldList, substitutions, substMethod, substMethodList, substPClass, substType, substTypeList, typeSystem |
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)