private void trackPhoneApplicationClassname(ITypeDefinition typeDef)
{
if (PhoneCodeHelper.instance().PhonePlugin != null && typeDef.isPhoneApplicationClass(sink.host))
{
INamespaceTypeDefinition namedTypeDef = typeDef as INamespaceTypeDefinition;
// string fullyQualifiedName = namedTypeDef.ContainingNamespace.Name.Value + "." + namedTypeDef.Name.Value;
string fullyQualifiedName = namedTypeDef.ToString();
PhoneCodeHelper.instance().setMainAppTypeReference(typeDef);
PhoneCodeHelper.instance().setMainAppTypeName(fullyQualifiedName);
}
}
private void trackPhonePageNameVariableName(ITypeDefinition typeDef)
{
if (PhoneCodeHelper.instance().PhonePlugin != null && typeDef.isPhoneApplicationPageClass(sink.host))
{
INamespaceTypeDefinition namedTypeDef = typeDef as INamespaceTypeDefinition;
string fullyQualifiedName = namedTypeDef.ToString();
string xamlForClass = PhoneCodeHelper.instance().getXAMLForPage(fullyQualifiedName);
if (xamlForClass != null) // if not it is possibly an abstract page
{
string uriName = UriHelper.getURIBase(xamlForClass);
Bpl.Constant uriConstant = sink.FindOrCreateConstant(uriName);
PhoneCodeHelper.instance().setBoogieStringPageNameForPageClass(fullyQualifiedName, uriConstant.Name);
}
}
}
