TypeCheckerErrors.report(3287, "Sporadic thread must have 3 arguments", node.getLocation(), node);
} else
TypeCheckerErrors.report(3228, opname + " is not in scope", node.getLocation(), node);
node.setType(AstFactory.newAUnknownType(node.getLocation()));
return node.getType();
AOperationType expected = AstFactory.newAOperationType(node.getLocation(), new Vector<PType>(), AstFactory.newAVoidType(node.getLocation()));
opdef = question.assistantFactory.createPDefinitionAssistant().deref(opdef);
+ " should have no parameters or return type", node.getLocation(), node);
TypeCheckerErrors.detail("Actual", def.getType());
TypeCheckerErrors.report(3347, "Cannot have a pure operation as the body of a thread", node.getLocation(), node);
TypeCheckerErrors.report(3230, opname + " is implicit", node.getLocation(), node);
+ " should have no parameters or return type", node.getLocation(), node);
TypeCheckerErrors.detail("Actual", def.getType());
TypeCheckerErrors.report(3347, "Cannot have a pure operation as the body of a thread", node.getLocation(), node);
TypeCheckerErrors.report(3232, opname + " is not an operation name", node.getLocation(), node);
node.setType(AstFactory.newAVoidType(node.getLocation()));
return node.getType();