static public void exit_program(ClassSystem obj, int code, ClassString mesg)
{
if (mesg != null)
{
Bard.log("EXITING: " + mesg.data);
}
PlasmacoreWP7.Main.instance.Exit();
}
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 print(ClassStdOutWriter obj, char ch)
{
if (ch == 10)
{
Bard.log(log_buffer.ToString());
log_buffer.Length = 0;
}
else
{
log_buffer.Append(ch);
}
}
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();
}
}
static public void write(ClassFileWriter writer, char value)
{
Bard.log("TODO: Native FileWriter");
}
static public void write(ClassFileWriter writer, byte[] array, int index, int count)
{
Bard.log("TODO: Native FileWriter");
}
static public bool is_directory(ClassFile file)
{
Bard.log("TODO: NativeFile::is_directory()");
return(false);
}
static public void close(ClassFileWriter writer)
{
Bard.log("TODO: Native FileWriter");
}
static public void rename(ClassFile file, ClassString new_name)
{
Bard.log("TODO: NativeFile::rename()");
}
static public void write(ClassObject writer, char ch)
{
Bard.log("TODO: NativeSocketWriter::write()");
}
static public void init(ClassObject socket, ClassString address, int port)
{
Bard.log("TODO: NativeSocket::init()");
}
static public ClassString absolute_filepath(ClassFile file)
{
Bard.log("TODO: NativeFile::absolute_filepath()");
return(null);
}
static public void touch(ClassFile file)
{
Bard.log("TODO: NativeFile::touch()");
}
static public void change_dir(ClassFile file)
{
Bard.log("TODO: NativeFile::change_dir()");
}
static public long timestamp(ClassFile file)
{
Bard.log("TODO: NativeFile::timestamp()");
return(0);
}
static public void native_mkdir(ClassFile file)
{
Bard.log("TODO: NativeFile::native_mkdir()");
}
static public void delete(ClassFile file)
{
Bard.log("TODO: NativeFile::delete()");
}
static public void write(ClassFileWriter writer, ClassString st)
{
Bard.log("TODO: Native FileWriter");
}
static public void close(ClassObject socket)
{
Bard.log("TODO: NativeSocket::close()");
}
static public int position(ClassFileWriter writer)
{
Bard.log("TODO: Native FileWriter");
return(0);
}
static public bool has_another(ClassObject reader)
{
Bard.log("TODO: NativeSocketReader::has_another()");
return(false);
}
static public int read(ClassFileReader reader, char[] array, int index, int count)
{
Bard.log("TODO: NativeFileReader::read(char[],...)");
return(0);
}
static public ClassArrayList_of_String directory_listing(ClassFile file)
{
Bard.log("TODO: NativeFile::directory_listing()");
return(null);
}
static public bool is_connected(ClassObject socket)
{
Bard.log("TODO: NativeSocket::is_connected()");
return(false);
}
static public int remaining(ClassFileReader reader)
{
Bard.log("TODO: NativeFileReader::remaining()");
return(0);
}
static public int available(ClassObject reader)
{
Bard.log("TODO: NativeSocketReader::available()");
return(0);
}
static public void skip(ClassFileReader reader, int skip_count)
{
Bard.log("TODO: NativeFileReader::skip()");
}
static public char read(ClassObject reader)
{
Bard.log("TODO: NativeSocketReader::read()");
return((char)0);
}
static public int position(ClassFileReader reader)
{
Bard.log("TODO: NativeFileReader::position()");
return(0);
}
public ClassException( Bard.CallInit call_init )
{
if (call_init == Bard.CallInit.TRUE) init_object();
}
static public void init(ClassFileWriter writer, ClassString filename, bool append_mode)
{
Bard.log("TODO: Native FileWriter::init()");
}
