@Override
public void generateIterate(PlanContext context, CodeWriter w, long location, int boundMask, Variable[] variables,
- Expression[] expressions) {
+ Expression[] expressions, Expression[] typeConstraintEvidenceParameters) {
Environment env = context.context.environment;
switch(boundMask) {
case BF:
}
@Override
- public void generateEnforce(PlanContext context, CodeWriter w, long location, Expression[] parameters) {
+ public void generateEnforce(PlanContext context, CodeWriter w, long location, Expression[] parameters,
+ Expression[] typeConstraintEvidenceParameters) {
Environment env = context.context.environment;
w.apply(location,
env.getValue(CLAIM).getValue(),