void
FreezeScript::AnalyzeInitVisitor::visitDictionary(const DictionaryPtr& v)
{
if(v->isLocal())
{
return;
}
string scoped = v->scoped();
TypeList l = _oldUnit->lookupTypeNoBuiltin(scoped, false);
if(!l.empty())
{
DictionaryPtr d = DictionaryPtr::dynamicCast(l.front());
if(!d)
{
typeChange(l.front(), scoped, "dictionary");
}
else
{
return;
}
}
_out.newline();
_out.newline();
_out << "<!-- dictionary " << scoped << " -->";
_out << se("init") << attr("type", scoped);
_out << ee;
}
void
CodeVisitor::visitDictionary(const DictionaryPtr& p)
{
TypePtr keyType = p->keyType();
BuiltinPtr b = BuiltinPtr::dynamicCast(keyType);
if(b)
{
switch(b->kind())
{
case Slice::Builtin::KindBool:
case Slice::Builtin::KindByte:
case Slice::Builtin::KindShort:
case Slice::Builtin::KindInt:
case Slice::Builtin::KindLong:
case Slice::Builtin::KindString:
//
// These types are acceptable as dictionary keys.
//
break;
case Slice::Builtin::KindFloat:
case Slice::Builtin::KindDouble:
emitWarning(p->file(), p->line(), "dictionary key type not supported in PHP");
break;
case Slice::Builtin::KindObject:
case Slice::Builtin::KindObjectProxy:
case Slice::Builtin::KindLocalObject:
assert(false);
}
}
else if(!EnumPtr::dynamicCast(keyType))
{
emitWarning(p->file(), p->line(), "dictionary key type not supported in PHP");
}
string type = getTypeVar(p);
startNamespace(p);
//
// Emit the type information.
//
string scoped = p->scoped();
_out << sp << nl << "if(!isset(" << type << "))";
_out << sb;
_out << nl << type << " = IcePHP_defineDictionary('" << scoped << "', ";
writeType(p->keyType());
_out << ", ";
writeType(p->valueType());
_out << ");";
_out << eb;
endNamespace();
}
void Slice::ChecksumVisitor::visitDictionary(const DictionaryPtr& p)
{
if (p->isLocal()) {
return;
}
ostringstream ostr;
ostr << "dictionary<" << typeToString(p->keyType()) << ", " << typeToString(p->valueType())
<< "> " << p->name() << endl;
updateMap(p->scoped(), ostr.str());
}
void
Slice::Ruby::CodeVisitor::visitDictionary(const DictionaryPtr& p)
{
//
// Emit the type information.
//
string name = fixIdent(p->name(), IdentToUpper);
string scoped = p->scoped();
_out << sp << nl << "if not defined?(" << getAbsolute(p, IdentToUpper, "T_") << ')';
_out.inc();
_out << nl << "T_" << name << " = ::Ice::__defineDictionary('" << scoped << "', ";
writeType(p->keyType());
_out << ", ";
writeType(p->valueType());
_out << ")";
_out.dec();
_out << nl << "end"; // if not defined?()
}
void
FreezeScript::AnalyzeTransformVisitor::visitDictionary(const DictionaryPtr& v)
{
if(v->isLocal())
{
return;
}
string scoped = v->scoped();
if(ignoreType(scoped))
{
return;
}
TypeList l = _newUnit->lookupTypeNoBuiltin(scoped, false);
if(l.empty())
{
_missingTypes.push_back(scoped);
return;
}
DictionaryPtr newDict = DictionaryPtr::dynamicCast(l.front());
if(!newDict)
{
if(!_ignoreTypeChanges)
{
typeChange(scoped, v, l.front());
}
return;
}
_out.newline();
_out.newline();
_out << "<!-- dictionary " << scoped << " -->";
_out << se("transform") << attr("type", scoped);
compareTypes(scoped + " key type", v->keyType(), newDict->keyType());
compareTypes(scoped + " value type", v->valueType(), newDict->valueType());
_out << ee;
}
void
FreezeScript::AnalyzeTransformVisitor::compareTypes(const string& desc, const TypePtr& oldType, const TypePtr& newType)
{
assert(!oldType->isLocal());
if(newType->isLocal())
{
ostringstream ostr;
ostr << desc << " has changed to a local type";
_errors.push_back(ostr.str());
return;
}
BuiltinPtr b = BuiltinPtr::dynamicCast(oldType);
if(b)
{
BuiltinPtr newb = BuiltinPtr::dynamicCast(newType);
switch(b->kind())
{
case Builtin::KindByte:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindByte:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindString:
{
return;
}
case Builtin::KindBool:
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindObject:
case Builtin::KindObjectProxy:
case Builtin::KindLocalObject:
{
break;
}
}
}
break;
}
case Builtin::KindBool:
{
if(newb && (newb->kind() == Builtin::KindBool || newb->kind() == Builtin::KindString))
{
return;
}
break;
}
case Builtin::KindShort:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindByte:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindString:
{
return;
}
case Builtin::KindBool:
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindObject:
case Builtin::KindObjectProxy:
case Builtin::KindLocalObject:
{
break;
}
}
}
break;
}
case Builtin::KindInt:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindByte:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindString:
{
return;
}
case Builtin::KindBool:
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindObject:
case Builtin::KindObjectProxy:
case Builtin::KindLocalObject:
{
break;
}
}
}
break;
}
case Builtin::KindLong:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindByte:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindString:
{
return;
}
case Builtin::KindBool:
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindObject:
case Builtin::KindObjectProxy:
case Builtin::KindLocalObject:
{
break;
}
}
}
break;
}
case Builtin::KindFloat:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindString:
{
return;
}
case Builtin::KindByte:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindBool:
case Builtin::KindObject:
case Builtin::KindObjectProxy:
case Builtin::KindLocalObject:
{
break;
}
}
}
break;
}
case Builtin::KindDouble:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindString:
{
return;
}
case Builtin::KindByte:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindBool:
case Builtin::KindObject:
case Builtin::KindObjectProxy:
case Builtin::KindLocalObject:
{
break;
}
}
}
break;
}
case Builtin::KindString:
{
if(newb)
{
switch(newb->kind())
{
case Builtin::KindByte:
case Builtin::KindBool:
case Builtin::KindShort:
case Builtin::KindInt:
case Builtin::KindLong:
case Builtin::KindFloat:
case Builtin::KindDouble:
case Builtin::KindString:
case Builtin::KindObjectProxy:
{
return;
}
case Builtin::KindObject:
case Builtin::KindLocalObject:
{
break;
}
}
break;
}
if(EnumPtr::dynamicCast(newType))
{
return;
}
if(ProxyPtr::dynamicCast(newType))
{
return;
}
break;
}
case Builtin::KindObject:
{
//
// Allow change from Object to class. Validation has to
// be done during transformation, when the actual type of
// an instance can be compared for compatibility with the
// new type.
//
ClassDeclPtr cl = ClassDeclPtr::dynamicCast(newType);
if(cl || (newb && newb->kind() == Builtin::KindObject))
{
return;
}
break;
}
case Builtin::KindObjectProxy:
{
ProxyPtr p = ProxyPtr::dynamicCast(newType);
if(p || (newb && newb->kind() == Builtin::KindObjectProxy) || (newb && newb->kind() == Builtin::KindString))
{
return;
}
break;
}
case Builtin::KindLocalObject:
{
assert(false);
break;
}
}
typeChange(desc, oldType, newType);
return;
}
ClassDeclPtr cl = ClassDeclPtr::dynamicCast(oldType);
if(cl)
{
if(!cl->definition())
{
_errors.push_back("class " + cl->scoped() + " declared but not defined");
return;
}
//
// Allow target type of Object.
//
BuiltinPtr newb = BuiltinPtr::dynamicCast(newType);
if(newb && newb->kind() == Builtin::KindObject)
{
return;
}
//
// Allow target type of struct.
//
if(StructPtr::dynamicCast(newType))
{
return;
}
ClassDeclPtr newcl = ClassDeclPtr::dynamicCast(newType);
if(newcl)
{
if(!newcl->definition())
{
_errors.push_back("class " + newcl->scoped() + " declared but not defined");
return;
}
if(checkClasses(cl, newcl))
{
return;
}
}
typeChange(desc, oldType, newType);
return;
}
StructPtr s = StructPtr::dynamicCast(oldType);
if(s)
{
StructPtr news = StructPtr::dynamicCast(newType);
if(news && s->scoped() == news->scoped())
{
return;
}
//
// Allow target type of class.
//
if(ClassDeclPtr::dynamicCast(newType))
{
return;
}
typeChange(desc, oldType, newType);
return;
}
ProxyPtr proxy = ProxyPtr::dynamicCast(oldType);
if(proxy)
{
//
// Allow target type of Object* and string.
//
BuiltinPtr newb = BuiltinPtr::dynamicCast(newType);
if(newb && (newb->kind() == Builtin::KindObjectProxy || newb->kind() == Builtin::KindString))
{
return;
}
ProxyPtr newProxy = ProxyPtr::dynamicCast(newType);
if(newProxy && checkClasses(proxy->_class(), newProxy->_class()))
{
return;
}
typeChange(desc, oldType, newType);
return;
}
DictionaryPtr dict = DictionaryPtr::dynamicCast(oldType);
if(dict)
{
DictionaryPtr newDict = DictionaryPtr::dynamicCast(newType);
if(newDict && dict->scoped() == newDict->scoped())
{
return;
}
typeChange(desc, oldType, newType);
return;
}
SequencePtr seq = SequencePtr::dynamicCast(oldType);
if(seq)
{
SequencePtr newSeq = SequencePtr::dynamicCast(newType);
if(newSeq && seq->scoped() == newSeq->scoped())
{
return;
}
typeChange(desc, oldType, newType);
return;
}
EnumPtr en = EnumPtr::dynamicCast(oldType);
if(en)
{
EnumPtr newen = EnumPtr::dynamicCast(newType);
BuiltinPtr newb = BuiltinPtr::dynamicCast(newType);
if((newen && en->scoped() == newen->scoped()) || (newb && newb->kind() == Builtin::KindString))
{
return;
}
typeChange(desc, oldType, newType);
return;
}
assert(false);
}
