static public void print(ClassStdOutWriter obj, ClassString st) { String cst = Bard.cs_str(st); if (cst.Length > 1 || cst[0] != 10) { Bard.log(cst); } }
static public void open_url(ClassSystem obj, ClassString url) { String url_str = Bard.cs_str(url); if (url_str.StartsWith("http")) { Microsoft.Phone.Tasks.WebBrowserTask task = new Microsoft.Phone.Tasks.WebBrowserTask(); task.URL = url_str; task.Show(); } else { Microsoft.Phone.Tasks.MarketplaceDetailTask task = new Microsoft.Phone.Tasks.MarketplaceDetailTask(); task.ContentType = Microsoft.Phone.Tasks.MarketplaceContentType.Applications; task.ContentIdentifier = url_str; task.Show(); } }
public override String ToString() { return(Bard.cs_str(property_message)); }