void File::ParseTypes(InputStream& s, CAtlList<CStringW>& types)
{
types.RemoveAll();
CStringW str;
for(int c = s.SkipWhiteSpace(); iswcsym(c) || c == '.' || c == '@'; c = s.PeekChar())
{
c = s.GetChar();
if(c == '.')
{
if(str.IsEmpty()) s.ThrowError(_T("'type' cannot be an empty string"));
if(!iswcsym(s.PeekChar())) s.ThrowError(_T("unexpected dot after type '%s'"), CString(str));
types.AddTail(str);
str.Empty();
}
else
{
if(str.IsEmpty() && iswdigit(c)) s.ThrowError(_T("'type' cannot start with a number"));
if((!str.IsEmpty() || !types.IsEmpty()) && c == '@') s.ThrowError(_T("unexpected @ in 'type'"));
str += (WCHAR)c;
}
}
if(!str.IsEmpty())
{
types.AddTail(str);
}
}
void File::ParseDefs(InputStream& s, Reference* pParentRef)
{
while(s.SkipWhiteSpace(L";") != '}' && s.PeekChar() != Stream::EOS)
{
NodePriority priority = PNormal;
CAtlList<CStringW> types;
CStringW name;
int c = s.SkipWhiteSpace();
if(c == '*') {s.GetChar(); priority = PLow;}
else if(c == '!') {s.GetChar(); priority = PHigh;}
ParseTypes(s, types);
if(s.SkipWhiteSpace() == '#')
{
s.GetChar();
ParseName(s, name);
}
if(types.IsEmpty())
{
if(name.IsEmpty()) s.ThrowError(_T("syntax error"));
types.AddTail(L"?");
}
Reference* pRef = pParentRef;
while(types.GetCount() > 1)
pRef = CreateRef(CreateDef(pRef, types.RemoveHead()));
Definition* pDef = NULL;
if(!types.IsEmpty())
pDef = CreateDef(pRef, types.RemoveHead(), name, priority);
c = s.SkipWhiteSpace(L":=");
if(c == '"' || c == '\'') ParseQuotedString(s, pDef);
else if(iswdigit(c) || c == '+' || c == '-') ParseNumber(s, pDef);
else if(pDef->IsType(L"@")) ParseBlock(s, pDef);
else ParseRefs(s, pDef);
}
s.GetChar();
}
void File::ParseName(InputStream& s, CStringW& name)
{
name.Empty();
for(int c = s.SkipWhiteSpace(); iswcsym(c); c = s.PeekChar())
{
if(name.IsEmpty() && iswdigit(c)) s.ThrowError(_T("'name' cannot start with a number"));
name += (WCHAR)s.GetChar();
}
}
void File::ParseQuotedString(InputStream& s, Definition* pDef)
{
CStringW v;
int quote = s.SkipWhiteSpace();
if(quote != '"' && quote != '\'') s.ThrowError(_T("expected qouted string"));
s.GetChar();
for(int c = s.PeekChar(); c != Stream::EOS; c = s.PeekChar())
{
c = s.GetChar();
if(c == quote) {pDef->SetAsValue(Definition::string, v); return;}
if(c == '\n') s.ThrowError(_T("qouted string terminated unexpectedly by a new-line character"));
if(c == '\\') c = s.GetChar();
if(c == Stream::EOS) s.ThrowError(_T("qouted string terminated unexpectedly by EOS"));
v += (WCHAR)c;
}
s.ThrowError(_T("unterminated quoted string"));
}
void File::ParseBlock(InputStream& s, Definition* pDef)
{
CStringW v;
int c = s.SkipWhiteSpace(L":=");
if(c != '{') s.ThrowError(_T("expected '{'"));
s.GetChar();
int depth = 0;
for(int c = s.PeekChar(); c != Stream::EOS; c = s.PeekChar())
{
c = s.GetChar();
if(c == '}' && depth == 0) {pDef->SetAsValue(Definition::block, v); return;}
if(c == '\\') {v += (WCHAR)c; c = s.GetChar();}
else if(c == '{') depth++;
else if(c == '}') depth--;
if(c == Stream::EOS) s.ThrowError(_T("block terminated unexpectedly by EOS"));
v += (WCHAR)c;
}
s.ThrowError(_T("unterminated block"));
}
void File::ParseRefs(InputStream& s, Definition* pParentDef, LPCWSTR term)
{
int c = s.SkipWhiteSpace();
do
{
if(pParentDef->IsValue()) s.ThrowError(_T("cannot mix references with other values"));
if(c == '{')
{
s.GetChar();
ParseDefs(s, CreateRef(pParentDef));
}
else if(iswcsym(c))
{
CStringW str;
ParseName(s, str);
// TODO: allow spec references: parent.<type>, self.<type>, child.<type>
Definition* pDef = GetDefByName(str);
if(!pDef) s.ThrowError(_T("cannot find definition of '%s'"), CString(str));
if(!pParentDef->IsVisible(pDef)) s.ThrowError(_T("cannot access '%s' from here"), CString(str));
pParentDef->AddTail(pDef);
}
else if(!wcschr(term, c) && c != Stream::EOS)
{
s.ThrowError(_T("unexpected character '%c'"), (TCHAR)c);
}
c = s.SkipWhiteSpace();
}
while(!wcschr(term, c) && c != Stream::EOS);
}