TypeCheckerErrors.report(3207, "Object designator is not an object type", node.getLocation(), node);
node.setType(AstFactory.newAUnknownType(node.getLocation()));
return node.getType();
TypeCheckerErrors.report(3337, "Cannot call a constructor from here", node.getLocation(), node);
node.setType(AstFactory.newAUnknownType(node.getLocation()));
return node.getType();
node.setType(AstFactory.newAVoidType(node.getLocation()));
return node.getType();
} else if (Settings.dialect == Dialect.VDM_RT
node.setType(AstFactory.newAVoidType(node.getLocation()));
return node.getType();
} else if (fdef == null)
+ " is not in scope", node.getLocation(), node);
node.setType(AstFactory.newAUnknownType(node.getLocation()));
return node.getType();
} else
TypeCheckerErrors.report(3339, "Cannot call impure operation from a pure operation", node.getLocation(), node);
return question.assistantFactory.createPTypeAssistant().checkReturnType(question.returnType, node.getType(), node.getLocation());
} else if (question.assistantFactory.createPTypeAssistant().isFunction(type))
return question.assistantFactory.createPTypeAssistant().checkReturnType(question.returnType, node.getType(), node.getLocation());
} else