static StaticType generalCompTypeConversion(const StaticType &arg0_type, const StaticType &arg1_type)
{
StaticType result = arg0_type;
StaticType target = arg1_type;
if(target.getMax() != 0)
target.setCardinality(1, 1);
target.substitute(StaticType::NUMERIC_TYPE, StaticType::DOUBLE_TYPE);
target.substitute(StaticType::UNTYPED_ATOMIC_TYPE, StaticType::STRING_TYPE);
result.substitute(StaticType::UNTYPED_ATOMIC_TYPE, target);
return result;
}
void XQUserFunction::staticTyping(StaticContext *context, StaticTyper *styper)
{
// Nothing more to do for external functions
if(body_ == NULL) return;
if(signature_->updating == FunctionSignature::OP_TRUE && signature_->returnType != NULL) {
XQThrow(StaticErrorException, X("XQUserFunction::staticTyping"),
X("It is a static error for an updating function to declare a return type [err:XUST0028]"));
}
// Find user defined functions and templates that are referenced in our body,
// and try to call staticTyping() on them before us.
if(context) staticTypeFunctionCalls(body_, context, styper);
bool ciTypeSet = false;
StaticType ciType = StaticType();
if(pattern_ != NULL) {
VectorOfASTNodes::iterator patIt = pattern_->begin();
for(; patIt != pattern_->end(); ++patIt) {
(*patIt) = (*patIt)->staticTyping(context, styper);
if(!ciTypeSet) {
ciTypeSet = true;
ciType = (*patIt)->getStaticAnalysis().getStaticType();
}
else ciType |= (*patIt)->getStaticAnalysis().getStaticType();
}
if(ciTypeSet) {
ciType.setCardinality(1, 1);
}
}
if(isTemplate_ && name_ != 0) {
// Named template
ciTypeSet = true;
ciType = StaticType::ITEM_TYPE;
}
// define the new variables in a new scope and assign them the proper values
if(context) {
VariableTypeStore *varStore = context->getVariableTypeStore();
if(isGlobal_) varStore->addLocalScope();
else varStore->addLogicalBlockScope();
// Declare the parameters
if(signature_->argSpecs) {
ArgumentSpecs::iterator it;
for(it = signature_->argSpecs->begin(); it != signature_->argSpecs->end (); ++it) {
varStore->declareVar((*it)->getURI(), (*it)->getName(), (*it)->getStaticAnalysis());
}
}
}
{
// Declare the context item
AutoContextItemTypeReset contextTypeReset(context, ciType);
body_ = body_->staticTyping(context, styper);
}
if(context)
context->getVariableTypeStore()->removeScope();
if(signature_->updating == FunctionSignature::OP_TRUE) {
if(!body_->getStaticAnalysis().isUpdating() && !body_->getStaticAnalysis().isPossiblyUpdating())
XQThrow(StaticErrorException, X("XQUserFunction::staticTyping"),
X("It is a static error for the body expression of a user defined updating function "
"not to be an updating expression [err:XUST0002]"));
}
else {
if(body_->getStaticAnalysis().isUpdating()) {
if(isTemplate_) {
XQThrow(StaticErrorException, X("XQUserFunction::staticTyping"),
X("It is a static error for the body expression of a template "
"to be an updating expression [err:XUST0001]"));
} else {
XQThrow(StaticErrorException, X("XQUserFunction::staticTyping"),
X("It is a static error for the body expression of a user defined function "
"to be an updating expression [err:XUST0001]"));
}
}
}
// Remove the parameter variables from the stored StaticAnalysis
src_.clear();
src_.copy(body_->getStaticAnalysis());
if(signature_->argSpecs) {
for(ArgumentSpecs::iterator it = signature_->argSpecs->begin(); it != signature_->argSpecs->end (); ++it) {
if(!src_.removeVariable((*it)->getURI(), (*it)->getName())) {
// The parameter isn't used, so set it to null, so that we don't bother to evaluate it
(*it)->setNotUsed();
}
}
}
// Run staticTyping on the template instances
if(templateInstance_ != 0 && context) {
StaticAnalysis templateVarSrc(context->getMemoryManager());
templateVarSrc.getStaticType() = StaticType::ITEM_TYPE;
VariableTypeStore *varStore = context->getVariableTypeStore();
varStore->addLogicalBlockScope();
if(signature_->argSpecs != 0) {
ArgumentSpecs::const_iterator argIt;
for(argIt = signature_->argSpecs->begin(); argIt != signature_->argSpecs->end(); ++argIt) {
varStore->declareVar((*argIt)->getURI(), (*argIt)->getName(), templateVarSrc);
}
}
// Turn off warnings here, since they are largely irrelevent to the user
AutoMessageListenerReset reset(context);
templateInstance_ = templateInstance_->staticTyping(context, styper);
varStore->removeScope();
}
}