@Override public PType caseAMultiBindListDefinition(AMultiBindListDefinition node, TypeCheckInfo question) throws AnalysisException { if (node.getType() != null) { question.assistantFactory.getTypeComparator().checkComposeTypes(node.getType(), question.env, false); } List<PDefinition> defs = new Vector<PDefinition>(); for (PMultipleBind mb : node.getBindings()) { PType type = mb.apply(THIS, question); defs.addAll(question.assistantFactory.createPMultipleBindAssistant().getDefinitions(mb, type, question)); } question.assistantFactory.createPDefinitionListAssistant().typeCheck(defs, THIS, question); node.setDefs(defs); return null; }
List<PMultipleBind> copy = new ArrayList<PMultipleBind>(node.getBindings()); for( PMultipleBind e : copy)
List<PMultipleBind> copy = new ArrayList<PMultipleBind>(node.getBindings()); for( PMultipleBind e : copy)
List<PMultipleBind> copy = new ArrayList<PMultipleBind>(node.getBindings()); for( PMultipleBind e : copy)
List<PMultipleBind> copy = new ArrayList<PMultipleBind>(node.getBindings()); for( PMultipleBind e : copy)
List<PMultipleBind> copy = new ArrayList<PMultipleBind>(node.getBindings()); for( PMultipleBind e : copy)
for (PMultipleBind mb : term.getDef().getBindings())
for (PMultipleBind mb : binding.getBindings())