kaya 0.4.4-6ubuntu3 / usr / lib / kaya / imports / Logger.ki

%except Builtins::InternalError(Int);
%except Builtins::Project_From_Non_Union();
%except Builtins::Lookup_From_Non_Array();
%except Builtins::Negative_Array_Index();
%except Builtins::Wrong_Constructor();
%except Builtins::Getting_Tag_From_Non_Union();
%except Builtins::Invalid_Marshalling_ID();
%except Builtins::Invalid_Function_Table_Hash();
%except Builtins::Invalid_Value();
%except Builtins::Not_Implemented();
%except Builtins::Invalid_Circular_Structure();
%except Builtins::Cant_Marshal_Exceptions();
%except Builtins::Cant_Reflect_Exceptions();
%except Builtins::Missing_Case();
%except Builtins::Pattern_Matching_Assignment_Failure();
%except Builtins::Unguarded_Guard();
%except Builtins::Divide_By_Zero();
%except Builtins::Loop_Return(a);
%except Builtins::Loop_VoidReturn();
%except Builtins::IllegalIndex();
%except Builtins::NoNullsInStrings();
%extinline 5 pure Bool Builtins::inverse(Bool val){ return (!val); };
%extinline 5 pure a Builtins::identity(a val){ return val; };
%extern 5 String Builtins::createString(Int);
%extinline 5 Float Builtins::abs(Float x){ return (if ((x<0.0)) (-x) else x); };
%extinline 5 Int Builtins::abs(Int x){ return (if ((x<0)) (-x) else x); };
%extern 5 Int Builtins::dorand();
%extern 5 Int Builtins::rand();
%extern 5 Void Builtins::srand(Int);
%extern 5 Void Builtins::swap(a,a);
%extern 5 Bool Builtins::identical(a,a);
%extern 5 Bool Builtins::null(Ptr);
%extern 5 Int Builtins::fnid(Void(a));
%extern 5 Int Builtins::strAlloc(String);
%extern 5 Void Builtins::exceptionBacktrace(Exception);
%extern 5 String Builtins::exceptionMessage(Exception);
%extinline 5 pure Ptr Builtins::getVM(){ return %VM; };
%extern 5 anything Builtins::subvert(something);
%extern 5 any Builtins::copy(any);
%extern 5 Int Builtins::hash(any);
%extern 5 Bool Builtins::equal(any,any);
%extern 5 Int Builtins::compare(any,any);
%extern 5 any Builtins::unmarshal(String,Int);
%extern 5 String Builtins::marshal(any,Int);
%extern 5 Void Builtins::translate(String,Char(Char));
%extern 5 Void Builtins::setIndex(String,Char,Int);
%extern 5 Char Builtins::getIndex(String,Int);
%extern 5 Int Builtins::byteLength(String);
%extinline 5 pure Int Builtins::length(String s){ return (%length(s)); };
%extern 5 Int Builtins::strHash(String);
%extern 5 Void Builtins::exit(Int);
%extern 5 Bool Builtins::runTimeChecking();
%extern 5 Int Builtins::doStrHash(String,Int);
%extern 5 str Builtins::doCreateString(Ptr,Int);
%extern 5 Int Builtins::doStrAlloc(str);
%extern 5 Void Builtins::except_dump(exc);
%extern 5 pure String Builtins::except_msg(exc);
%extern 5 pure Int Builtins::except_code(exc);
%extern 5 Int Builtins::funtableHash();
%extern 5 pure Int Builtins::doGetFnID(fn);
%extern 5 pure Bool Builtins::isIdentical(a,a);
%extern 5 pure Bool Builtins::isNull(Ptr);
%extern 5 pure String Builtins::getAddr(a);
%extern 5 Bool Builtins::isInitialised(a);
%extern 5 pure a Builtins::unsafe_id(b);
%extern 5 any Builtins::doCopy(Ptr,any);
%extern 5 Void Builtins::doSetIndex(String,Char,Int);
%extern 5 pure Char Builtins::doGetIndex(String,Int);
%extern 5 pure Bool Builtins::doEqual(Ptr,a,a);
%extern 5 pure Int Builtins::doCompare(Ptr,a,a);
%extern 5 pure any Builtins::doUnmarshal(Ptr,String,Int);
%extern 5 pure String Builtins::doMarshal(Ptr,a,Int);
%extern 5 pure Int Builtins::doHash(a);
%extern 5 Int Builtins::memUsage(a);
%extern 5 pure Int Builtins::doByteLength(String,Int);
%extern 5 pure Bool Builtins::UTF8(String);
%extern 5 pure Int Builtins::size([a]);
%extern 5 pure %startup Void Builtins::__init();
%imported "Builtins";
%extinline 5 pure Float Maths::SQRT_PI(){ return 1.772453850905516; };
%extinline 5 pure Float Maths::SQRT_2(){ return 1.4142135623730951; };
%extinline 5 pure Float Maths::M_E(){ return 2.718281828459045; };
%extinline 5 pure Float Maths::PI(){ return 3.141592653589793; };
%extern 5 pure Int Maths::pow(Int,Int);
%extern 5 Float Maths::atan(Float);
%extern 5 Float Maths::acos(Float);
%extern 5 Float Maths::asin(Float);
%extern 5 Float Maths::tan(Float);
%extern 5 Float Maths::cos(Float);
%extern 5 Float Maths::sin(Float);
%extern 5 Float Maths::floor(Float);
%extern 5 Float Maths::ceil(Float);
%extern 5 Float Maths::log10(Float);
%extern 5 Float Maths::log(Float);
%extern 5 Float Maths::exp(Float);
%extern 5 Float Maths::sqrt(Float);
%extern 5 Float Maths::pow(Float,Float);
%extern 5 pure %startup Void Maths::__init();
%imported "Maths";
%extern 5 pure %startup Void Tuples::__init();
%imported "Tuples";
%except Array::OutOfBounds();
%except Array::ZeroStep();
%extern 5 [a] Array::take(Int,[a]);
%extern 5 Void Array::nub([a],Bool(a, a) = equal);
%extern 5 pure Bool Array::elem(a,[a],Bool(a, a) = equal);
%extern 5 Void Array::addAt([a],a,Int);
%extern 5 Void Array::removeAt([a],Int);
%extern 5 [a] Array::remove([a],Int,Int);
%extern 5 [a] Array::subarray([a],Int,Int);
%extern 5 Void Array::unshift(a,[a]);
%extern 5 a Array::shift([a]);
%extern 5 Void Array::pop([a]);
%extern 5 a Array::top([a]);
%extern 5 Void Array::push([a],a);
%extern 5 [a] Array::filter(Bool(a),[a]);
%extern 5 b Array::fold(b(a, b),[a],b);
%extern 5 [Tuples::Pair<a, b> ] Array::zip([a],[b]);
%extern 5 [c] Array::zipWith(c(a, b),[a],[b]);
%extern 5 [b] Array::map(b(a),[a]);
%extern 5 pure Bool Array::all(Bool(a),[a]);
%extern 5 pure Bool Array::any(Bool(a),[a]);
%extern 5 [a] Array::intersperse(a,[a]);
%extern 5 [a] Array::join([[a]]);
%extern 5 Void Array::concat([a],[a]);
%extern 5 Void Array::shuffle([a]);
%extern 5 [a] Array::sorted([a],Int(a, a) = compare);
%extern 5 Void Array::sort([a],Int(a, a) = compare);
%extern 5 [Int] Array::range(Int,Int,Int = 1);
%extern 5 Void Array::reverse([a]);
%extern 5 [a] Array::createArray(Int);
%extern 5 [a] Array::docreateArray(Ptr,Int);
%extern 5 Void Array::unshiftArray(a,[a]);
%extern 5 a Array::shiftArray([a]);
%extern 5 Void Array::shortenArray([a]);
%extern 5 Void Array::quicksort(Ptr,[a],Int(a, a));
%extern 5 Void Array::resize([a],Int);
%extern 5 [a] Array::doReverse([a]);
%extern 5 pure %startup Void Array::__init();
%imported "Array";
%extern 5 String Coercions::string([Char]);
%extern 5 [Char] Coercions::array(String);
%extinline 5 pure Void Coercions::void(a x){ pass; };
%extinline 5 pure Char Coercions::char(Int x){ return Char(x); };
%extinline 5 pure Float Coercions::float(Int x){ return Float(x); };
%extinline 5 pure Float Coercions::float(String x){ return Float(x); };
%extinline 5 pure Int Coercions::int(Char x){ return Int(x); };
%extinline 5 pure Int Coercions::int(Float x){ return Int(x); };
%extinline 5 pure Int Coercions::int(String x){ return Int(x); };
%extinline 5 pure String Coercions::string(Bool x){ return String(x); };
%extinline 5 pure String Coercions::string(Char x){ return String(x); };
%extinline 5 pure String Coercions::string(Float x){ return String(x); };
%extinline 5 pure String Coercions::string(Int x){ return String(x); };
%extern 5 pure %startup Void Coercions::__init();
%imported "Coercions";
%except Prelude::CantDerefNothing();
%except Prelude::NegativeLengthString(Int);
%except Prelude::PositionOutOfRange(Int);
%except Prelude::FileNotFound();
%extern 5 String Prelude::substr(String,Int,Int);
%extern 5 String Prelude::rep(String,Int);
%extern 5 pure a() Prelude::thunk(a);
%extern 5 pure a Prelude::force(a());
%extern 5 pure a Prelude::apply(a(b),b);
%extern 5 a(c) Prelude::compose(a(b),b(c));
%extern 5 pure a Prelude::runcompose(a(b),b(c),c);
%extern 5 Void Prelude::putStrLn(String);
%extern 5 String Prelude::strEnd(String,Int);
%extern 5 String Prelude::toUpper(String);
%extern 5 String Prelude::toLower(String);
%extinline 5 pure Bool Prelude::isLineEnding(Char c){ return ((c=='\n')||(c=='\r')); };
%extern 5 Void Prelude::putStr(String);
%extern 5 Void Prelude::doPutStr(String,Int);
%extern 5 String Prelude::do_strend(Ptr,String,Int);
%extern 5 String Prelude::dosubstr(Ptr,String,Int,Int);
%extern 5 Char Prelude::toUpper(Char);
%extern 5 Char Prelude::toLower(Char);
%extern 5 Bool Prelude::isUpper(Char);
%extern 5 Bool Prelude::isLower(Char);
%extern 5 Bool Prelude::isSpace(Char);
%extern 5 Bool Prelude::isGraph(Char);
%extern 5 Bool Prelude::isPunct(Char);
%extern 5 Bool Prelude::isAlnum(Char);
%extern 5 Bool Prelude::isAlpha(Char);
%extern 5 Bool Prelude::isDigit(Char);
%extern 5 Void Prelude::onDestroy(a,Void(a));
%extern 5 Void Prelude::gcEnable();
%extern 5 Void Prelude::gcDisable();
%extern 5 Int Prelude::gcSetFSD(Int);
%extern 5 Void Prelude::gcIncremental();
%extern 5 Void Prelude::gcSetMaxHeapSize(Int);
%extern 5 Int Prelude::gcTotalBytes();
%extern 5 Int Prelude::gcFreeBytes();
%extern 5 Int Prelude::gcHeapSize();
%extern 5 Void Prelude::gc();
%extern 5 String Prelude::stringBase(Int,Int);
%extern 5 Int Prelude::intBase(String,Int);
%extern 5 a Prelude::deref(Prelude::Maybe<a> );
%extern 5 Void Prelude::reverse(Prelude::List<a> );
%extern 5 [a] Prelude::array(Prelude::List<a> );
%extern 5 Void Prelude::traverse(Bool(a, Int),Prelude::List<a> );
%extern 5 pure %startup Void Prelude::__init();
%imported "Prelude";
%except IO::FileError();
%except IO::DirError();
%except IO::InvalidMode();
%except IO::ClosedFile();
%except IO::ReadOnlyFile();
%except IO::WriteOnlyFile();
%data 5 public IO::FileMode = IO::Read() | IO::Write() | IO::Append() | IO::Binary();
%data 5 abstract IO::File = ;
%data 5 abstract IO::Dir = ;
%data 5 public IO::DirEntry = IO::DirEntry(String name);
%data 5 public IO::Stat = IO::Stat(IO::Mode mode,Int nlinks,Int atime,Int mtime,Int ctime);
%data 5 public IO::Mode = IO::Mode([IO::Permission] ownerperms,[IO::Permission] groupperms,[IO::Permission] othersperms,Bool socket,Bool symlink,Bool regular,Bool block,Bool dir,Bool chardev,Bool fifo,Bool setUID,Bool setGID,Bool sticky);
%data 5 public IO::Permission = IO::ReadP() | IO::WriteP() | IO::ExecuteP();
%data 5 public IO::Permissions = IO::Permissions([IO::Permission] owner,[IO::Permission] group,[IO::Permission] others,Bool setuid,Bool setgid,Bool sticky);
%data 5 public IO::DirTree = IO::DirTree([IO::DirInfo] files);
%data 5 public IO::DirInfo = IO::Directory(String dname,[IO::DirInfo] children) | IO::Filename(String fname);
%extern 5 public [IO::DirInfo] IO::getDirInfo(String);
%extern 5 public IO::DirTree IO::dirinfo(String);
%extern 5 public IO::Stat IO::stat(String);
%extern 5 public [String] IO::listDir(String);
%extern 5 public IO::DirEntry IO::readDir(IO::Dir);
%extern 5 public Void IO::closeDir(IO::Dir);
%extern 5 public IO::Dir IO::openDir(String);
%extern 5 public Bool IO::fileExecutable(String);
%extern 5 public Bool IO::fileWritable(String);
%extern 5 public Bool IO::fileReadable(String);
%extern 5 public Bool IO::fileExists(String);
%extern 5 Int IO::permBits([IO::Permission]);
%extern 5 public Void IO::mkdir(String,IO::Permissions = @Permissions([ReadP,WriteP,ExecuteP],[ReadP,WriteP,ExecuteP],[ReadP,WriteP,ExecuteP],false,false,false));
%extern 5 public Void IO::unlink(String);
%extern 5 public IO::File IO::tmpFile();
%extern 5 public Void IO::writeFile(String,String);
%extern 5 public String IO::readFile(String);
%extern 5 public Void IO::close(IO::File);
%extern 5 public Void IO::flush(IO::File);
%extern 5 public Bool IO::eof(IO::File);
%extern 5 public Int IO::getInt(IO::File);
%extern 5 public Void IO::putInt(IO::File,Int);
%extern 5 public Void IO::putChar(IO::File,Char);
%extern 5 public Void IO::put(IO::File,String);
%extern 5 public String IO::get(IO::File);
%extern 5 public IO::File IO::reopen(String,[IO::FileMode],IO::File);
%extern 5 public IO::File IO::open(String,[IO::FileMode]);
%extern 5 String IO::getFileMode([IO::FileMode]);
%extern 5 public Void IO::putStr(IO::File,String);
%extern 5 public Ptr IO::ptr(IO::File);
%extern 5 public IO::File IO::file(Ptr,[IO::FileMode] = [Read,Write,Append]);
%extern 5 public IO::File IO::stderr();
%extern 5 public IO::File IO::stdout();
%extern 5 public IO::File IO::stdin();
%extern 5 public Char IO::getChar(IO::File);
%extern 5 public String IO::getString(IO::File);
%extern 5 public Void IO::fseek(IO::File,Int);
%extern 5 public Int IO::fpos(IO::File);
%extern 5 public Void IO::writeCheck(IO::File);
%extern 5 public Void IO::openCheck(IO::File);
%extern 5 public Void IO::readCheck(IO::File);
%extern 5 pure Bool IO::isWritable(IO::File);
%extern 5 pure Bool IO::isReadable(IO::File);
%extern 5 pure Bool IO::isOpen(IO::File);
%extern 5 Ptr IO::getstderr();
%extern 5 Ptr IO::getstdout();
%extern 5 Ptr IO::getstdin();
%extern 5 IO::Stat IO::do_stat(Ptr,String);
%extern 5 String IO::dir_getname(Ptr,Ptr);
%extern 5 Ptr IO::do_readdir(Ptr);
%extern 5 Int IO::do_closedir(Ptr);
%extern 5 Ptr IO::do_opendir(String);
%extern 5 public Void IO::rename(String,String);
%extern 5 Int IO::do_access(String,IO::AccessMode);
%extern 5 Int IO::do_mkdir(String,Int);
%extern 5 Int IO::do_unlink(String);
%extern 5 Void IO::fclose(Ptr);
%extern 5 Int IO::do_fflush(Ptr);
%extern 5 Bool IO::feof(Ptr);
%extern 5 Int IO::do_fpos(Ptr);
%extern 5 Void IO::do_fseek(Ptr,Int);
%extern 5 Void IO::putLine(Ptr,String,Int);
%extern 5 Void IO::doPutStr(Ptr,String,Int);
%extern 5 Void IO::doputChar(Int,Ptr);
%extern 5 Char IO::do_fgetc(Ptr);
%extern 5 String IO::do_getString(Ptr,Ptr);
%extern 5 String IO::getLine(Ptr,Ptr);
%extern 5 Bool IO::validFile(Ptr);
%extern 5 Ptr IO::freopen(String,String,Ptr);
%extern 5 Ptr IO::fopen(String,String);
%extern 5 Ptr IO::do_tmpFile();
%extern 5 pure %startup Void IO::__init();
%imported "IO";
%imported "regex_glue";
%link "pcre";
%except Regex::RegexCompilationFailed();
%except Regex::NoUTF8Support();
%extern 5 [String] Regex::split(Regex::Regex,String,Int = 0,Bool = false);
%extern 5 [String] Regex::split(String,String,Int = 0,Bool = false);
%extern 5 [String] Regex::grep(String,[String],Bool = false);
%extern 5 String Regex::substVars([String],String);
%extern 5 Void Regex::replace(String,String,String,[Regex::ReplaceFlags] = @createArray(1),[Regex::REFlags] = @createArray(1));
%extern 5 Void Regex::replace(Regex::Regex,String,String,[Regex::ReplaceFlags] = @createArray(1));
%extern 5 Void Regex::replaceAll(String,String,String,[Regex::ReplaceFlags] = @createArray(1),[Regex::REFlags] = @createArray(1));
%extern 5 Void Regex::replaceAll(Regex::Regex,String,String,[Regex::ReplaceFlags] = @createArray(1));
%extern 5 Bool Regex::quickMatch(Regex::Regex,String);
%extern 5 Bool Regex::quickMatch(String,String,[Regex::REFlags] = @createArray(1));
%extern 5 Regex::Match Regex::match(Regex::Regex,String);
%extern 5 Regex::Regex Regex::compile(String,[Regex::REFlags] = @createArray(1));
%extern 5 String Regex::getAfter(Ptr);
%extern 5 String Regex::getBefore(Ptr);
%extern 5 [String] Regex::getmatches(Ptr);
%extern 5 Bool Regex::matched(Ptr);
%extern 5 Bool Regex::re_quickmatch(Ptr,Ptr,String,Int);
%extern 5 Ptr Regex::re_match(Ptr,Ptr,String,Int);
%extern 5 Ptr Regex::re_compile(Ptr,String,Int,Int);
%extern 5 pure %startup Void Regex::__init();
%imported "Regex";
%extern 5 [String] Strings::fields(String,[Char],[Char]);
%extern 5 String Strings::base64Decode(String);
%extern 5 String Strings::base64Encode(String);
%extern 5 Void Strings::trim(String,Bool(Char) = isSpace);
%extern 5 Void Strings::ltrim(String,Bool(Char) = isSpace);
%extern 5 Void Strings::rtrim(String,Bool(Char) = isSpace);
%extern 5 Void Strings::behead(String);
%extern 5 Void Strings::rtruncate(Int,String);
%extern 5 Void Strings::ltruncate(Int,String);
%extern 5 String Strings::filter(Bool(Char),String);
%extern 5 String Strings::tail(String);
%extern 5 Char Strings::head(String);
%extern 5 String Strings::join([String],String);
%extern 5 String Strings::join([String],Char = '\n');
%extern 5 String Strings::unwords([String]);
%extern 5 [String] Strings::lines(String);
%extern 5 [String] Strings::splitBy(String,Bool(Char) = isLineEnding);
%extern 5 [String] Strings::words(String);
%extern 5 Int Strings::firstOccurs(String,String);
%extern 5 Void Strings::str_chop(str,Int);
%extern 5 Void Strings::str_offset(str,Int);
%extern 5 Int Strings::do_firstOccurs(String,String);
%extern 5 Int Strings::firstOccurs(Char,String);
%extern 5 Bool Strings::elem(Char,String);
%extern 5 String Strings::b64dec(String,intval);
%extern 5 String Strings::b64enc(String,Int);
%extern 5 pure %startup Void Strings::__init();
%imported "Strings";
%except Time::NoSuchMonthNumber(Int);
%except Time::NoSuchMonthName(String);
%except Time::NoSuchDay(String);
%except Time::CantParseTime();
%extern 5 Int Time::tzDist(Int);
%extern 5 String Time::isoTime(Int,[Time::IsoTimeOpts] = []);
%extern 5 String Time::isoTime(Time::Time,[Time::IsoTimeOpts] = [],Int = 0);
%extern 5 pure String Time::twodigits(Int);
%extern 5 Time::Time Time::parseISO8601(String);
%extern 5 Time::Time Time::parseRFC2822(String);
%extern 5 String Time::cookieTime(Time::Time);
%extern 5 String Time::rfc2822Time(Time::Time,String = "+0000");
%extern 5 Time::Day Time::day(String);
%extern 5 String Time::string(Time::Day);
%extern 5 Time::Month Time::month(Int);
%extern 5 Int Time::int(Time::Month);
%extern 5 Time::Month Time::month(String);
%extern 5 String Time::string(Time::Month);
%extern 5 Time::Time Time::addDays(Time::Time,Int);
%extern 5 Int Time::mkTime(Time::Time);
%extern 5 Time::Time Time::localTime(Int = @now());
%extern 5 Time::Time Time::gmTime(Int = @now());
%extern 5 Int Time::domktime(Time::Time);
%extern 5 Time::Time Time::dolocaltime(Int);
%extern 5 Time::Time Time::dogmtime(Int);
%extern 5 Int Time::microTime();
%extern 5 Int Time::now();
%extern 5 pure %startup Void Time::__init();
%imported "Time";
%data 5 public Logger::Logger = Logger::LogFile(String fname) | Logger::LogHandle(IO::File handle) | Logger::LogString(String log);
%extern 5 public Void Logger::logAll([Logger::Logger],String,Bool = true);
%extern 5 public Void Logger::log(Logger::Logger,String,Bool = true);
%extern 5 String Logger::leadzero(Int);
%extern 5 public Void Logger::endLog(Logger::Logger);
%extern 5 pure public Logger::Logger Logger::makeLogString();
%extern 5 pure public Logger::Logger Logger::makeLogHandle(IO::File);
%extern 5 pure public Logger::Logger Logger::makeLogFile(String);
%extern 5 pure %startup Void Logger::__init();