@Override public PType caseALetBeStBindingTraceDefinition( ALetBeStBindingTraceDefinition node, TypeCheckInfo question) throws AnalysisException { Entry<PType, AMultiBindListDefinition> res = typecheckLetBeSt(node, node.getLocation(), node.getBind(), node.getStexp(), node.getBody(), question); node.setDef(res.getValue()); return res.getKey(); }
node.alternatives.add(new StatementTraceNode(AstFactory.newASkipStm(term.getLocation()))); return node; Context evalContext = new Context(af, term.getLocation(), "TRACE", ctxt); NameValuePairList nvpl = quantifiers.next(); boolean matches = true; throw new ContextException((ValueException) e, term.getLocation());