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); } } }