X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fbinaryparser.cpp;h=4ed2877a4424c2389c890473a0e71918418516ba;hb=4edbe0eb078c4e480682862ccb68ebc8cb284045;hp=ed1d71c8b197db64366e5e858b35ff032bc9b8df;hpb=cbd0ddd6ee033e46646bfb85d19232c816ea1eda;p=libs%2Fdatafile.git diff --git a/source/binaryparser.cpp b/source/binaryparser.cpp index ed1d71c..4ed2877 100644 --- a/source/binaryparser.cpp +++ b/source/binaryparser.cpp @@ -1,14 +1,13 @@ -/* $Id$ - -This file is part of libmspdatafile -Copyright © 2007-2008 Mikko Rasa, Mikkosoft Productions -Distributed under the LGPL -*/ - +#include #include -#include +#include +#include +#include "argumentstore.h" #include "binaryparser.h" +#include "binfloat.h" +#include "except.h" #include "input.h" +#include "loaderaction.h" using namespace std; @@ -17,93 +16,170 @@ namespace DataFile { BinaryParser::BinaryParser(Input &i, const string &s): ParserMode(i, s), - first(true) + float_precision(32), + cur_info(0) { - dict[1] = DictEntry("__kwd", "iss"); - dict[2] = DictEntry("__str", "is"); + dict[-1] = StatementInfo("__kwd", "iss"); + dict[-2] = StatementInfo("__str", "is"); + dict[-3] = StatementInfo("__flt", "i"); } Statement BinaryParser::parse() { - while(1) + const StatementKey *key; + if(cur_info) { - Statement st = parse_statement(); - if(st.keyword=="__kwd") - { - if(st.args.size()!=3) - throw_at(TypeError("Keyword definition must have three arguments"), src); - - const unsigned id = st.args[0].get(); - const string &kw = st.args[1].get(); - const string &args = st.args[2].get(); - dict[id] = DictEntry(kw, args); - } - else if(st.keyword=="__str") - { - if(st.args.size()!=2) - throw_at(TypeError("String definition must have two arguments"), src); - - const unsigned id = st.args[0].get(); - strings[id] = st.args[1].get(); - } - else - return st; + key = &cur_info->key; + cur_info = 0; } -} - -Statement BinaryParser::parse_statement() -{ - while(first && in.peek()=='\n') - in.get(); - first = false; - - unsigned id = parse_int(); - if(!in) - return Statement(); + else + { + int id = parse_int(); + if(!in) + return Statement(); - Dictionary::const_iterator i = dict.find(id); - if(i==dict.end()) - throw_at(KeyError("Unknown statement ID", lexical_cast(id)), src); - const DictEntry &de = i->second; + key = &get_item(dict, id).key; + } Statement result; - result.keyword = de.keyword; + result.keyword = key->keyword; result.source = src; - for(unsigned j = 0; jsignature.size(); ++j) { - switch(de.args[j]) + switch(key->signature[j]) { - case 'i': + case IntType::signature: result.args.push_back(parse_int()); break; - case 'f': + case FloatType::signature: result.args.push_back(parse_float()); break; - case 's': + case StringType::signature: result.args.push_back(parse_string()); break; - case 'b': + case BoolType::signature: result.args.push_back(parse_bool()); break; - case 'e': - result.args.push_back(Value(ENUM, parse_enum())); + case SymbolType::signature: + result.args.push_back(parse_symbol()); break; } } + unsigned upper_nsub = (sub_remaining.empty() ? 0 : sub_remaining.back()); + unsigned nsub = parse_int(); for(unsigned j = 0; j0) + sub_remaining.back() = upper_nsub-1; + result.valid = true; return result; } -long long BinaryParser::parse_int() +void BinaryParser::process_control_statement(const Statement &st) +{ + if(st.keyword=="__kwd") + { + int id = st.args[0].get(); + if(id<=0) + throw bad_definition("__kwd"); + + const string &kw = st.args[1].get(); + const string &args = st.args[2].get(); + for(string::const_iterator i=args.begin(); i!=args.end(); ++i) + for(unsigned j=0; valid_signatures[j]!=*i; ++j) + if(!valid_signatures[j]) + throw bad_definition("__kwd"); + + dict[id] = StatementInfo(kw, args); + } + else if(st.keyword=="__str") + { + int id = st.args[0].get(); + if(id<=0) + throw bad_definition("__str"); + + strings[id] = st.args[1].get(); + } + else if(st.keyword=="__flt") + float_precision = st.args[0].get(); +} + +const StatementKey *BinaryParser::peek(unsigned level) +{ + if(level>sub_remaining.size()) + throw nesting_error("bad level"); + while(level0; ) + parse(); + sub_remaining.pop_back(); + cur_info = 0; + } + + if(!sub_remaining.empty() && sub_remaining.back()==0) + { + // No more substatements on this level + cur_info = 0; + return 0; + } + + if(cur_info) + return &cur_info->key; + + int id = parse_int(); + if(!in) + return 0; + + cur_info = &get_item(dict, id); + return &cur_info->key; +} + +bool BinaryParser::parse_and_load(unsigned level, Loader &ldr, const LoaderAction &act) { - long long result = 0; + if(!cur_info && !peek(level)) + return false; + + ArgumentStore args(*cur_info); + for(unsigned i=0; ikey.signature.size(); ++i) + switch(cur_info->key.signature[i]) + { + case IntType::signature: + args.set(i, parse_int()); + break; + case FloatType::signature: + args.set(i, parse_float()); + break; + case BoolType::signature: + args.set(i, parse_bool()); + break; + case StringType::signature: + args.set(i, parse_string()); + break; + case SymbolType::signature: + args.set(i, parse_symbol()); + break; + } + + if(!sub_remaining.empty()) + --sub_remaining.back(); + sub_remaining.push_back(parse_int()); + cur_info = 0; + + act.execute(ldr, args); + + return true; +} + +IntType::Store BinaryParser::parse_int() +{ + IntType::Store result = 0; unsigned bits = 0; while(in) @@ -117,37 +193,63 @@ long long BinaryParser::parse_int() break; } - const long long mask = 1LL<<(bits-1); + const IntType::Store mask = 1LL<<(bits-1); result = (result^mask)-mask; return result; } -float BinaryParser::parse_float() +FloatType::Store BinaryParser::parse_float() { - union + UInt64 encoded = 0; + for(unsigned i=0; i::is_iec559) + return bf.compose_iec559(); + else + { + /* Put the float together with arithmetic since we don't know its + internal layout */ + FloatType::Store f = 0; + if(bf.infinity) + { + if(numeric_limits::has_infinity) + f = numeric_limits::infinity(); + else + f = numeric_limits::max(); + } + else + { + for(unsigned i=0; i<64; ++i) + { + f /= 2; + if(bf.mantissa&1) + f += 1; + bf.mantissa >>= 1; + } + for(int i=0; ibf.exponent; --i) + f /= 2; + } + if(bf.sign) + f = -f; + return f; + } } -bool BinaryParser::parse_bool() +BoolType::Store BinaryParser::parse_bool() { return in.get(); } -string BinaryParser::parse_string() +StringType::Store BinaryParser::parse_string() { int len = parse_int(); if(len>=0) @@ -159,20 +261,12 @@ string BinaryParser::parse_string() return result; } else - return lookup_string(-len); -} - -string BinaryParser::parse_enum() -{ - return lookup_string(parse_int()); + return get_item(strings, -len); } -const string &BinaryParser::lookup_string(unsigned id) const +SymbolType::Store BinaryParser::parse_symbol() { - StringMap::const_iterator i = strings.find(id); - if(i==strings.end()) - throw_at(KeyError("Unknown string", lexical_cast(id)), src); - return i->second; + return get_item(strings, parse_int()); } } // namespace DataFile