Adding upstream version 4:7.4.7.upstream/4%7.4.7upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

22 files changed, 8940 insertions, 0 deletions

diff --git a/idlc/source/astconstant.cxx b/idlc/source/astconstant.cxx
new file mode 100644
index 000000000..54d235fa3
--- /dev/null
+++ b/idlc/source/astconstant.cxx
@@ -0,0 +1,123 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <astconstant.hxx>
+#include <astscope.hxx>
+
+#include <registry/writer.hxx>
+
+AstConstant::AstConstant(const ExprType type,
+                         const NodeType nodeType,
+                         AstExpression* pExpr,
+                         const OString& name,
+                         AstScope* pScope)
+    : AstDeclaration(nodeType, name, pScope)
+    , m_pConstValue(pExpr)
+    , m_constValueType(type)
+{
+}
+
+AstConstant::AstConstant(const ExprType type,
+                         AstExpression* pExpr,
+                         const OString& name,
+                         AstScope* pScope)
+    : AstDeclaration(NT_const, name, pScope)
+    , m_pConstValue(pExpr)
+    , m_constValueType(type)
+{
+}
+
+AstConstant::~AstConstant()
+{
+
+}
+
+bool AstConstant::dumpBlob(
+    typereg::Writer & rBlob, sal_uInt16 index, bool published)
+{
+    RTConstValue    aConst;
+
+    AstExprValue *exprVal = getConstValue()->getExprValue();
+    switch (getConstValueType())
+    {
+        case ET_short:
+            aConst.m_type = RT_TYPE_INT16;
+            aConst.m_value.aShort = exprVal->u.sval;
+            break;
+        case ET_ushort:
+            aConst.m_type = RT_TYPE_UINT16;
+            aConst.m_value.aUShort = exprVal->u.usval;
+            break;
+        case ET_long:
+            aConst.m_type = RT_TYPE_INT32;
+            aConst.m_value.aLong = exprVal->u.lval;
+            break;
+        case ET_ulong:
+            aConst.m_type = RT_TYPE_UINT32;
+            aConst.m_value.aULong = exprVal->u.ulval;
+            break;
+        case ET_hyper:
+            aConst.m_type = RT_TYPE_INT64;
+            aConst.m_value.aHyper = exprVal->u.hval;
+            break;
+        case ET_uhyper:
+            aConst.m_type = RT_TYPE_UINT64;
+            aConst.m_value.aUHyper = exprVal->u.uhval;
+            break;
+        case ET_float:
+            aConst.m_type = RT_TYPE_FLOAT;
+            aConst.m_value.aFloat = exprVal->u.fval;
+            break;
+        case ET_double:
+            aConst.m_type = RT_TYPE_DOUBLE;
+            aConst.m_value.aDouble = exprVal->u.dval;
+            break;
+        case ET_byte:
+            aConst.m_type = RT_TYPE_BYTE;
+            aConst.m_value.aByte = exprVal->u.byval;
+            break;
+        case ET_boolean:
+            aConst.m_type = RT_TYPE_BOOL;
+            aConst.m_value.aBool = exprVal->u.bval;
+            break;
+        default:
+            {
+                fprintf(stderr, "%s: exprtype to const type: cannot convert ExprType\n",
+                        idlc()->getOptions()->getProgramName().getStr());
+                return false;
+            }
+    }
+
+    OString name = getLocalName();
+
+    OUString type;
+    if ( getNodeType() != NT_enum_val )
+    {
+        type = OStringToOUString(exprTypeToString(getConstValueType()), RTL_TEXTENCODING_UTF8);
+    }
+
+    rBlob.setFieldData(
+        index, getDocumentation(), OUString(),
+        RTFieldAccess::CONST | (published ? RTFieldAccess::PUBLISHED : RTFieldAccess::NONE),
+        OStringToOUString(name, RTL_TEXTENCODING_UTF8), type, aConst);
+
+    return true;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astdeclaration.cxx b/idlc/source/astdeclaration.cxx
new file mode 100644
index 000000000..980e7dd2b
--- /dev/null
+++ b/idlc/source/astdeclaration.cxx
@@ -0,0 +1,164 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <astdeclaration.hxx>
+#include <astscope.hxx>
+#include <rtl/strbuf.hxx>
+#include <o3tl/string_view.hxx>
+#include <osl/diagnose.h>
+
+constexpr OStringLiteral sGlobal("::");
+
+static OString convertName(std::string_view name)
+{
+    OStringBuffer nameBuffer(name.size()+1);
+    sal_Int32 nIndex = 0;
+    do
+    {
+        std::string_view token( o3tl::getToken(name, 0, ':', nIndex ) );
+        if( !token.empty() )
+        {
+            nameBuffer.append('/');
+            nameBuffer.append( token );
+        }
+    } while( nIndex != -1 );
+    return nameBuffer.makeStringAndClear();
+}
+
+AstDeclaration::AstDeclaration(NodeType type, const OString& name, AstScope* pScope)
+    : m_localName(name)
+    , m_pScope(pScope)
+    , m_nodeType(type)
+    , m_bImported(false)
+    , m_bInMainFile(false)
+    , m_bPredefined(false)
+    , m_lineNumber(0)
+{
+    if ( m_pScope )
+    {
+        AstDeclaration* pDecl = scopeAsDecl(m_pScope);
+        if (pDecl)
+        {
+            m_scopedName = pDecl->getScopedName();
+            if (!m_scopedName.isEmpty())
+                m_scopedName += sGlobal;
+            m_scopedName += m_localName;
+        }
+    } else
+    {
+        m_scopedName = m_localName;
+    }
+    m_fullName = convertName(m_scopedName);
+
+    if ( idlc()->getFileName() == idlc()->getRealFileName() )
+    {
+        m_fileName = idlc()->getMainFileName();
+        m_bInMainFile = true;
+    } else
+    {
+        m_fileName = idlc()->getFileName();
+        m_bImported = true;
+    }
+
+    m_documentation = idlc()->processDocumentation();
+
+    m_bPublished = idlc()->isPublished();
+}
+
+
+AstDeclaration::~AstDeclaration()
+{
+
+}
+
+void AstDeclaration::setPredefined(bool bPredefined)
+{
+    m_bPredefined = bPredefined;
+    if ( m_bPredefined )
+    {
+        m_fileName.clear();
+        m_bInMainFile = false;
+    }
+}
+
+bool AstDeclaration::isType() const {
+    switch (m_nodeType) {
+    case NT_interface:
+    case NT_instantiated_struct:
+    case NT_enum:
+    case NT_sequence:
+    case NT_typedef:
+    case NT_predefined:
+    case NT_type_parameter:
+        return true;
+
+    default:
+        OSL_ASSERT(m_nodeType != NT_struct); // see AstStruct::isType
+        return false;
+    }
+}
+
+bool AstDeclaration::hasAncestor(AstDeclaration* pDecl)
+{
+    if (this == pDecl)
+        return true;
+    if ( !m_pScope )
+        return false;
+    return scopeAsDecl(m_pScope)->hasAncestor(pDecl);
+}
+
+bool AstDeclaration::dump(RegistryKey& rKey)
+{
+    AstScope* pScope = declAsScope(this);
+    if ( !pScope )
+        return true;
+
+    bool bRet = true;
+    DeclList::const_iterator iter = pScope->getIteratorBegin();
+    DeclList::const_iterator end = pScope->getIteratorEnd();
+    AstDeclaration* pDecl = nullptr;
+    while ( iter != end && bRet)
+    {
+        pDecl = *iter;
+        if ( pDecl->isInMainfile() )
+        {
+            switch ( pDecl->getNodeType() )
+            {
+                case NT_module:
+                case NT_constants:
+                case NT_interface:
+                case NT_struct:
+                case NT_exception:
+                case NT_enum:
+                case NT_typedef:
+                case NT_service:
+                case NT_singleton:
+                    bRet = pDecl->dump(rKey);
+                    break;
+                default:
+                    break;
+            }
+        }
+
+        ++iter;
+    }
+    return bRet;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astdump.cxx b/idlc/source/astdump.cxx
new file mode 100644
index 000000000..79613e137
--- /dev/null
+++ b/idlc/source/astdump.cxx
@@ -0,0 +1,420 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <astmodule.hxx>
+#include <asttypedef.hxx>
+#include <astservice.hxx>
+#include <astconstant.hxx>
+#include <astattribute.hxx>
+#include <astinterfacemember.hxx>
+#include <astservicemember.hxx>
+#include <astobserves.hxx>
+#include <astneeds.hxx>
+#include <astsequence.hxx>
+#include <astoperation.hxx>
+
+#include <osl/diagnose.h>
+
+#include <registry/version.h>
+#include <registry/writer.hxx>
+
+bool AstModule::dump(RegistryKey& rKey)
+{
+    RegistryKey localKey;
+    if ( getNodeType() == NT_root )
+    {
+        localKey = rKey;
+    }else
+    {
+        if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey) != RegError::NO_ERROR)
+        {
+            fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
+                    idlc()->getOptions()->getProgramName().getStr(),
+                    getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+            return false;
+        }
+    }
+
+    sal_uInt16          nConst = getNodeCount(NT_const);
+
+    if ( nConst > 0 )
+    {
+        RTTypeClass typeClass = RT_TYPE_MODULE;
+        if ( getNodeType() == NT_constants )
+            typeClass = RT_TYPE_CONSTANTS;
+
+        typereg::Writer aBlob(
+            m_bPublished ? TYPEREG_VERSION_1 : TYPEREG_VERSION_0,
+            getDocumentation(), "", typeClass,
+            m_bPublished,
+            OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), 0,
+            nConst, 0, 0);
+
+        DeclList::const_iterator iter = getIteratorBegin();
+        DeclList::const_iterator end = getIteratorEnd();
+        sal_uInt16 index = 0;
+        while ( iter != end )
+        {
+            AstDeclaration* pDecl = *iter;
+            if ( pDecl->getNodeType() == NT_const &&
+                 pDecl->isInMainfile() )
+            {
+                static_cast<AstConstant*>(pDecl)->dumpBlob(
+                    aBlob, index++,
+                    getNodeType() == NT_module && pDecl->isPublished());
+            }
+            ++iter;
+        }
+
+        sal_uInt32 aBlobSize;
+        void const * pBlob = aBlob.getBlob(&aBlobSize);
+
+        if (localKey.setValue("", RegValueType::BINARY,
+                                const_cast<RegValue>(pBlob), aBlobSize) != RegError::NO_ERROR)
+        {
+            fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+                    idlc()->getOptions()->getProgramName().getStr(),
+                    getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+            return false;
+        }
+    } else
+    {
+        RTTypeClass typeClass = RT_TYPE_MODULE;
+        if ( getNodeType() == NT_constants )
+            typeClass = RT_TYPE_CONSTANTS;
+
+        typereg::Writer aBlob(
+            m_bPublished ? TYPEREG_VERSION_1 : TYPEREG_VERSION_0,
+            getDocumentation(), "", typeClass, m_bPublished,
+            OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), 0, 0, 0,
+            0);
+
+        sal_uInt32 aBlobSize;
+        void const * pBlob = aBlob.getBlob(&aBlobSize);
+
+        if ( getNodeType() != NT_root )
+        {
+            if (localKey.setValue("", RegValueType::BINARY,
+                                    const_cast<RegValue>(pBlob), aBlobSize) != RegError::NO_ERROR)
+            {
+                fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+                        idlc()->getOptions()->getProgramName().getStr(),
+                        getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+                return false;
+            }
+        }
+    }
+    if ( getNodeType() == NT_root )
+    {
+        localKey.releaseKey();
+    }
+    return AstDeclaration::dump(rKey);
+}
+
+bool AstTypeDef::dump(RegistryKey& rKey)
+{
+    RegistryKey localKey;
+    if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    typereg::Writer aBlob(
+        m_bPublished ? TYPEREG_VERSION_1 : TYPEREG_VERSION_0,
+        getDocumentation(), "", RT_TYPE_TYPEDEF, m_bPublished,
+        OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), 1, 0, 0, 0);
+    aBlob.setSuperTypeName(
+        0,
+        OStringToOUString(
+            getBaseType()->getRelativName(), RTL_TEXTENCODING_UTF8));
+
+    sal_uInt32 aBlobSize;
+    void const * pBlob = aBlob.getBlob(&aBlobSize);
+
+    if (localKey.setValue("", RegValueType::BINARY, const_cast<RegValue>(pBlob), aBlobSize) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    return true;
+}
+
+bool AstService::dump(RegistryKey& rKey)
+{
+    typereg_Version version = m_bPublished
+        ? TYPEREG_VERSION_1 : TYPEREG_VERSION_0;
+    OString superName;
+    sal_uInt16 constructors = 0;
+    sal_uInt16 properties = 0;
+    sal_uInt16 references = 0;
+    for (DeclList::const_iterator i(getIteratorBegin()); i != getIteratorEnd();
+         ++i)
+    {
+        switch ((*i)->getNodeType()) {
+        case NT_interface:
+        case NT_typedef:
+            version = TYPEREG_VERSION_1;
+            OSL_ASSERT(superName.isEmpty());
+            superName = (*i)->getRelativName();
+            break;
+
+        case NT_operation:
+            OSL_ASSERT(getNodeType() == NT_service);
+            ++constructors;
+            break;
+
+        case NT_property:
+            OSL_ASSERT(getNodeType() == NT_service);
+            ++properties;
+            break;
+
+        case NT_service_member:
+            if (getNodeType() == NT_singleton) {
+                OSL_ASSERT(superName.isEmpty());
+                superName = static_cast<AstServiceMember *>(*i)->
+                    getRealService()->getRelativName();
+                break;
+            }
+            [[fallthrough]];
+        case NT_interface_member:
+        case NT_observes:
+        case NT_needs:
+            OSL_ASSERT(getNodeType() == NT_service);
+            ++references;
+            break;
+
+        default:
+            OSL_ASSERT(false);
+            break;
+        }
+    }
+    OSL_ASSERT(constructors == 0 || !m_defaultConstructor);
+    if (m_defaultConstructor) {
+        constructors = 1;
+    }
+    RegistryKey localKey;
+    if (rKey.createKey(
+            OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8),
+            localKey) != RegError::NO_ERROR) {
+        fprintf(
+            stderr, "%s: warning, could not create key '%s' in '%s'\n",
+            idlc()->getOptions()->getProgramName().getStr(),
+            getFullName().getStr(),
+            OUStringToOString(
+                rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+    typereg::Writer writer(
+        version, getDocumentation(), "",
+        getNodeType() == NT_singleton ? RT_TYPE_SINGLETON : RT_TYPE_SERVICE,
+        m_bPublished,
+        OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8),
+        superName.isEmpty() ? 0 : 1, properties, constructors,
+        references);
+    if (!superName.isEmpty()) {
+        writer.setSuperTypeName(
+            0, OStringToOUString(superName, RTL_TEXTENCODING_UTF8));
+    }
+    sal_uInt16 constructorIndex = 0;
+    sal_uInt16 propertyIndex = 0;
+    sal_uInt16 referenceIndex = 0;
+    for (DeclList::const_iterator i(getIteratorBegin()); i != getIteratorEnd(); ++i)
+    {
+        switch ((*i)->getNodeType()) {
+        case NT_operation:
+            static_cast<AstOperation *>(*i)->dumpBlob(writer, constructorIndex++);
+            break;
+
+        case NT_property:
+            static_cast<AstAttribute *>(*i)->dumpBlob(writer, propertyIndex++, nullptr);
+            break;
+
+        case NT_interface_member:
+        {
+            AstInterfaceMember * decl = static_cast<AstInterfaceMember *>(*i);
+            writer.setReferenceData(
+                referenceIndex++, decl->getDocumentation(), RTReferenceType::SUPPORTS,
+                (decl->isOptional() ? RTFieldAccess::OPTIONAL : RTFieldAccess::INVALID),
+                OStringToOUString( decl->getRealInterface()->getRelativName(),
+                                        RTL_TEXTENCODING_UTF8));
+            break;
+        }
+
+        case NT_service_member:
+            if (getNodeType() == NT_service)
+            {
+                AstServiceMember * decl = static_cast<AstServiceMember *>(*i);
+                writer.setReferenceData(referenceIndex++, decl->getDocumentation(), RTReferenceType::EXPORTS,
+                    (decl->isOptional() ? RTFieldAccess::OPTIONAL : RTFieldAccess::INVALID),
+                    OStringToOUString(decl->getRealService()->getRelativName(),
+                                           RTL_TEXTENCODING_UTF8));
+            }
+            break;
+
+        case NT_observes:
+            {
+                AstObserves * decl = static_cast<AstObserves *>(*i);
+                writer.setReferenceData(referenceIndex++, decl->getDocumentation(), RTReferenceType::OBSERVES,
+                    RTFieldAccess::INVALID,
+                    OStringToOUString( decl->getRealInterface()->getRelativName(),
+                                            RTL_TEXTENCODING_UTF8));
+                break;
+            }
+
+        case NT_needs:
+            {
+                AstNeeds * decl = static_cast<AstNeeds *>(*i);
+                writer.setReferenceData( referenceIndex++, decl->getDocumentation(), RTReferenceType::NEEDS,
+                    RTFieldAccess::INVALID,
+                    OStringToOUString( decl->getRealService()->getRelativName(),
+                                            RTL_TEXTENCODING_UTF8));
+                break;
+            }
+
+        default:
+            OSL_ASSERT( (*i)->getNodeType() == NT_interface || (*i)->getNodeType() == NT_typedef);
+            break;
+        }
+    }
+    if (m_defaultConstructor) {
+        writer.setMethodData(
+            constructorIndex++, "", RTMethodMode::TWOWAY,
+            "", "void",
+            0, 0);
+    }
+    sal_uInt32 size;
+    void const * blob = writer.getBlob(&size);
+    if (localKey.setValue(
+            "", RegValueType::BINARY, const_cast< void * >(blob),
+            size) != RegError::NO_ERROR)
+    {
+        fprintf(
+            stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+            idlc()->getOptions()->getProgramName().getStr(),
+            getFullName().getStr(),
+            OUStringToOString(
+                localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+    return true;
+}
+
+void AstAttribute::dumpBlob(
+    typereg::Writer & rBlob, sal_uInt16 index, sal_uInt16 * methodIndex) const
+{
+    RTFieldAccess accessMode = RTFieldAccess::INVALID;
+
+    if (isReadonly())
+    {
+        accessMode |= RTFieldAccess::READONLY;
+    } else
+    {
+        accessMode |= RTFieldAccess::READWRITE;
+    }
+    if (isOptional())
+    {
+        accessMode |= RTFieldAccess::OPTIONAL;
+    }
+    if (isBound())
+    {
+        accessMode |= RTFieldAccess::BOUND;
+    }
+    if (isMayBeVoid())
+    {
+        accessMode |= RTFieldAccess::MAYBEVOID;
+    }
+    if (isConstrained())
+    {
+        accessMode |= RTFieldAccess::CONSTRAINED;
+    }
+    if (isTransient())
+    {
+        accessMode |= RTFieldAccess::TRANSIENT;
+    }
+    if (isMayBeAmbiguous())
+    {
+        accessMode |= RTFieldAccess::MAYBEAMBIGUOUS;
+    }
+    if (isMayBeDefault())
+    {
+        accessMode |= RTFieldAccess::MAYBEDEFAULT;
+    }
+    if (isRemoveable())
+    {
+        accessMode |= RTFieldAccess::REMOVABLE;
+    }
+
+    OUString name(OStringToOUString(getLocalName(), RTL_TEXTENCODING_UTF8));
+    rBlob.setFieldData(
+        index, getDocumentation(), OUString(), accessMode, name,
+        OStringToOUString(m_pType->getRelativName(), RTL_TEXTENCODING_UTF8),
+        RTConstValue());
+    dumpExceptions(
+        rBlob, m_getDocumentation, m_getExceptions, RTMethodMode::ATTRIBUTE_GET,
+        methodIndex);
+    dumpExceptions(
+        rBlob, m_setDocumentation, m_setExceptions, RTMethodMode::ATTRIBUTE_SET,
+        methodIndex);
+}
+
+void AstAttribute::dumpExceptions(
+    typereg::Writer & writer, OUString const & documentation,
+    DeclList const & exceptions, RTMethodMode flags, sal_uInt16 * methodIndex) const
+{
+    if (exceptions.empty())
+        return;
+
+    OSL_ASSERT(methodIndex != nullptr);
+    sal_uInt16 idx = (*methodIndex)++;
+    // exceptions.size() <= SAL_MAX_UINT16 already checked in
+    // AstInterface::dump:
+    writer.setMethodData(
+        idx, documentation, flags,
+        OStringToOUString(getLocalName(), RTL_TEXTENCODING_UTF8),
+        "void", 0,
+        static_cast< sal_uInt16 >(exceptions.size()));
+    sal_uInt16 exceptionIndex = 0;
+    for (auto const& elem : exceptions)
+    {
+        writer.setMethodExceptionTypeName(
+            idx, exceptionIndex++,
+            OStringToOUString(
+                elem->getRelativName(), RTL_TEXTENCODING_UTF8));
+    }
+}
+
+const char* AstSequence::getRelativName() const
+{
+    if ( !m_xRelativName )
+    {
+        m_xRelativName = OString("[]");
+        AstDeclaration const * pType = resolveTypedefs( m_pMemberType );
+        *m_xRelativName += pType->getRelativName();
+    }
+
+    return m_xRelativName->getStr();
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astenum.cxx b/idlc/source/astenum.cxx
new file mode 100644
index 000000000..7dff49d36
--- /dev/null
+++ b/idlc/source/astenum.cxx
@@ -0,0 +1,105 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <sal/config.h>
+
+#include <algorithm>
+
+#include <astenum.hxx>
+
+#include <registry/version.h>
+#include <registry/writer.hxx>
+
+AstEnum::AstEnum(const OString& name, AstScope* pScope)
+    : AstType(NT_enum, name, pScope)
+    , AstScope(NT_enum)
+    , m_enumValueCount(0)
+{
+}
+
+AstEnum::~AstEnum()
+{
+}
+
+AstConstant* AstEnum::checkValue(AstExpression* pExpr)
+{
+    DeclList::const_iterator iter = getIteratorBegin();
+    DeclList::const_iterator end = getIteratorEnd();
+
+    iter = std::find_if(iter, end, [&pExpr](AstDeclaration* pDecl) {
+        return static_cast<AstConstant*>(pDecl)->getConstValue()->compareLong(pExpr); });
+
+    if (iter != end)
+        return static_cast<AstConstant*>(*iter);
+
+    if ( pExpr->getExprValue()->u.lval > m_enumValueCount )
+        m_enumValueCount = pExpr->getExprValue()->u.lval + 1;
+
+    return nullptr;
+}
+
+bool AstEnum::dump(RegistryKey& rKey)
+{
+    RegistryKey localKey;
+    if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    sal_uInt16 nConst = getNodeCount(NT_enum_val);
+    if ( nConst <= 0 )
+        return true;
+
+    typereg::Writer aBlob(
+        m_bPublished ? TYPEREG_VERSION_1 : TYPEREG_VERSION_0,
+        getDocumentation(), "", RT_TYPE_ENUM, m_bPublished,
+        OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), 0,
+        nConst, 0, 0);
+
+    DeclList::const_iterator iter = getIteratorBegin();
+    DeclList::const_iterator end = getIteratorEnd();
+    sal_uInt16 index = 0;
+    while ( iter != end )
+    {
+        AstDeclaration* pDecl = *iter;
+        if ( pDecl->getNodeType() == NT_enum_val )
+            static_cast<AstConstant*>(pDecl)->dumpBlob(aBlob, index++, false);
+
+        ++iter;
+    }
+
+    sal_uInt32 aBlobSize;
+    void const * pBlob = aBlob.getBlob(&aBlobSize);
+
+    if (localKey.setValue("", RegValueType::BINARY,
+                            const_cast<RegValue>(pBlob), aBlobSize) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    return true;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astexpression.cxx b/idlc/source/astexpression.cxx
new file mode 100644
index 000000000..1afa91dbf
--- /dev/null
+++ b/idlc/source/astexpression.cxx
@@ -0,0 +1,1327 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <astexpression.hxx>
+#include <astconstant.hxx>
+#include <astscope.hxx>
+#include <errorhandler.hxx>
+
+#include <o3tl/float_int_conversion.hxx>
+#include <osl/diagnose.h>
+
+#include <limits.h>
+#include <float.h>
+#include <memory>
+
+AstExpression::AstExpression(ExprComb c, AstExpression* pExpr1, AstExpression* pExpr2)
+    : m_combOperator(c)
+    , m_subExpr1(pExpr1)
+    , m_subExpr2(pExpr2)
+{
+}
+
+AstExpression::AstExpression(sal_Int32 l)
+    : m_combOperator(ExprComb::NONE)
+{
+    m_exprValue.reset(new AstExprValue);
+    m_exprValue->et = ET_long;
+    m_exprValue->u.lval = l;
+}
+
+AstExpression::AstExpression(sal_Int32 l, ExprType et)
+    : m_combOperator(ExprComb::NONE)
+{
+    m_exprValue.reset(new AstExprValue);
+    m_exprValue->et = et;
+    m_exprValue->u.lval = l;
+}
+
+AstExpression::AstExpression(sal_Int64 h)
+    : m_combOperator(ExprComb::NONE)
+{
+    m_exprValue.reset(new AstExprValue);
+    m_exprValue->et = ET_hyper;
+    m_exprValue->u.hval = h;
+}
+
+AstExpression::AstExpression(sal_uInt64 uh)
+    : m_combOperator(ExprComb::NONE)
+{
+    m_exprValue.reset(new AstExprValue);
+    m_exprValue->et = ET_uhyper;
+    m_exprValue->u.uhval = uh;
+}
+
+AstExpression::AstExpression(double d)
+    : m_combOperator(ExprComb::NONE)
+{
+    m_exprValue.reset(new AstExprValue);
+    m_exprValue->et = ET_double;
+    m_exprValue->u.dval = d;
+}
+
+AstExpression::AstExpression(OString* scopedName)
+    : m_combOperator(ExprComb::Symbol)
+{
+    if (scopedName)
+        m_xSymbolicName = *scopedName;
+}
+
+AstExpression::~AstExpression() {}
+
+/*
+ * Perform the coercion from the given AstExprValue to the requested
+ * ExprType. Return an AstExprValue if successful, NULL if failed.
+ * must be done for hyper, uhyper
+ */
+static bool coerce_value(AstExprValue* ev, ExprType t)
+{
+    if (ev == nullptr)
+        return false;
+
+    switch (t)
+    {
+        case ET_short:
+            switch (ev->et)
+            {
+                case ET_short:
+                    return true;
+                case ET_ushort:
+                {
+                    if (ev->u.usval > SAL_MAX_INT16)
+                        return false;
+                    auto tmp = static_cast<sal_Int16>(ev->u.usval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_long:
+                {
+                    if (ev->u.lval < SAL_MIN_INT16 || ev->u.lval > SAL_MAX_INT16)
+                        return false;
+                    auto tmp = static_cast<sal_Int16>(ev->u.lval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    if (ev->u.ulval > SAL_MAX_INT16)
+                        return false;
+                    auto tmp = static_cast<sal_Int16>(ev->u.ulval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    if (ev->u.hval < SAL_MIN_INT16 || ev->u.hval > SAL_MAX_INT16)
+                        return false;
+                    auto tmp = static_cast<sal_Int16>(ev->u.hval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (ev->u.uhval > SAL_MAX_INT16)
+                        return false;
+                    auto tmp = static_cast<sal_Int16>(ev->u.uhval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_boolean:
+                {
+                    auto tmp = static_cast<sal_Int16>(ev->u.bval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_float:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.fval), SAL_MIN_INT16)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_INT16)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_Int16>(ev->u.fval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.dval), SAL_MIN_INT16)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_INT16)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_Int16>(ev->u.dval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<sal_Int16>(ev->u.byval);
+                    ev->u.sval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_ushort:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    if (ev->u.sval < 0)
+                        return false;
+                    auto tmp = static_cast<sal_uInt16>(ev->u.sval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_ushort;
+                    return true;
+                }
+                case ET_ushort:
+                    return true;
+                case ET_long:
+                {
+                    if (ev->u.lval < 0 || ev->u.lval > SAL_MAX_UINT16)
+                        return false;
+                    auto tmp = static_cast<sal_uInt16>(ev->u.lval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_ushort;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    if (ev->u.ulval > SAL_MAX_UINT16)
+                        return false;
+                    auto tmp = static_cast<sal_uInt16>(ev->u.ulval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_ushort;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    if (ev->u.hval < 0 || ev->u.hval > SAL_MAX_UINT16)
+                        return false;
+                    auto tmp = static_cast<sal_uInt16>(ev->u.hval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_ushort;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (ev->u.uhval > SAL_MAX_UINT16)
+                        return false;
+                    auto tmp = static_cast<sal_uInt16>(ev->u.uhval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_ushort;
+                    return true;
+                }
+                case ET_boolean:
+                {
+                    auto tmp = static_cast<sal_uInt16>(ev->u.bval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_float:
+                {
+                    if (ev->u.fval < 0.0
+                        || !o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_UINT16))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_uInt16>(ev->u.fval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (ev->u.dval < 0.0
+                        || !o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_UINT16))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_uInt16>(ev->u.dval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_short;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<sal_uInt16>(ev->u.byval);
+                    ev->u.usval = tmp;
+                    ev->et = ET_ushort;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_long:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    auto tmp = static_cast<sal_Int32>(ev->u.sval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    auto tmp = static_cast<sal_Int32>(ev->u.usval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_long:
+                    return true;
+                case ET_ulong:
+                {
+                    if (ev->u.ulval > SAL_MAX_INT32)
+                        return false;
+                    auto tmp = static_cast<sal_Int32>(ev->u.ulval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    if (ev->u.hval < SAL_MIN_INT32 || ev->u.hval > SAL_MAX_INT32)
+                        return false;
+                    auto tmp = static_cast<sal_Int32>(ev->u.hval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (ev->u.uhval > SAL_MAX_INT32)
+                        return false;
+                    auto tmp = static_cast<sal_Int32>(ev->u.uhval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_boolean:
+                {
+                    auto tmp = static_cast<sal_Int32>(ev->u.bval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_float:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.fval), SAL_MIN_INT32)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_INT32)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_Int32>(ev->u.fval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.dval), SAL_MIN_INT32)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_INT32)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_Int32>(ev->u.dval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<sal_Int32>(ev->u.byval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_ulong:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    if (ev->u.sval < 0)
+                        return false;
+                    auto tmp = static_cast<sal_uInt32>(ev->u.sval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    auto tmp = static_cast<sal_uInt32>(ev->u.usval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_long:
+                {
+                    if (ev->u.lval < 0)
+                        return false;
+                    auto tmp = static_cast<sal_uInt32>(ev->u.lval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_ulong:
+                    return true;
+                case ET_hyper:
+                {
+                    if (ev->u.hval < 0 || ev->u.hval > SAL_MAX_UINT32)
+                        return false;
+                    auto tmp = static_cast<sal_uInt32>(ev->u.hval);
+                    ev->u.lval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (ev->u.uhval > SAL_MAX_UINT32)
+                        return false;
+                    auto tmp = static_cast<sal_uInt32>(ev->u.uhval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_boolean:
+                {
+                    auto tmp = static_cast<sal_uInt32>(ev->u.bval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_float:
+                {
+                    if (ev->u.fval < 0.0
+                        || !o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_UINT32))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_uInt32>(ev->u.fval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (ev->u.dval < 0.0
+                        || !o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_UINT32))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_uInt32>(ev->u.dval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<sal_uInt32>(ev->u.byval);
+                    ev->u.ulval = tmp;
+                    ev->et = ET_ulong;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_hyper:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    auto tmp = static_cast<sal_Int64>(ev->u.sval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    auto tmp = static_cast<sal_Int64>(ev->u.usval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_long:
+                {
+                    auto tmp = static_cast<sal_Int64>(ev->u.lval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    auto tmp = static_cast<sal_Int64>(ev->u.ulval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_hyper:
+                    return true;
+                case ET_uhyper:
+                {
+                    if (ev->u.uhval > SAL_MAX_INT64)
+                        return false;
+                    auto tmp = static_cast<sal_Int64>(ev->u.uhval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_long;
+                    return true;
+                }
+                case ET_boolean:
+                {
+                    auto tmp = static_cast<sal_Int64>(ev->u.bval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_float:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.fval), SAL_MIN_INT64)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_INT64)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_Int64>(ev->u.fval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.dval), SAL_MIN_INT64)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_INT64)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_Int64>(ev->u.dval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<sal_Int64>(ev->u.byval);
+                    ev->u.hval = tmp;
+                    ev->et = ET_hyper;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_uhyper:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    if (ev->u.sval < 0)
+                        return false;
+                    auto tmp = static_cast<sal_uInt64>(ev->u.sval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    auto tmp = static_cast<sal_uInt64>(ev->u.usval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_long:
+                {
+                    if (ev->u.lval < 0)
+                        return false;
+                    auto tmp = static_cast<sal_uInt64>(ev->u.lval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    auto tmp = static_cast<sal_uInt64>(ev->u.ulval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    if (ev->u.hval < 0)
+                        return false;
+                    auto tmp = static_cast<sal_uInt64>(ev->u.hval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_uhyper:
+                    return true;
+                case ET_boolean:
+                {
+                    auto tmp = static_cast<sal_uInt64>(ev->u.bval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_float:
+                {
+                    if (ev->u.fval < 0.0
+                        || !o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_UINT64))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_uInt64>(ev->u.fval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (ev->u.dval < 0.0
+                        || !o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_UINT64))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<sal_uInt64>(ev->u.dval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<sal_uInt64>(ev->u.byval);
+                    ev->u.uhval = tmp;
+                    ev->et = ET_uhyper;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_boolean:
+            switch (ev->et)
+            {
+                case ET_short:
+                    ev->u.bval = ev->u.sval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_ushort:
+                    ev->u.bval = ev->u.usval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_long:
+                    ev->u.bval = ev->u.lval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_ulong:
+                    ev->u.bval = ev->u.ulval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_hyper:
+                    ev->u.bval = ev->u.hval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_uhyper:
+                    ev->u.bval = ev->u.uhval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_boolean:
+                    return true;
+                case ET_float:
+                    ev->u.bval = ev->u.fval != 0.0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_double:
+                    ev->u.bval = ev->u.dval != 0.0;
+                    ev->et = ET_boolean;
+                    return true;
+                case ET_byte:
+                    ev->u.bval = ev->u.byval != 0;
+                    ev->et = ET_boolean;
+                    return true;
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_float:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    auto tmp = static_cast<float>(ev->u.sval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    auto tmp = static_cast<float>(ev->u.usval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_long:
+                {
+                    auto tmp = static_cast<float>(ev->u.lval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    auto tmp = static_cast<float>(ev->u.ulval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    auto tmp = static_cast<float>(ev->u.hval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (static_cast<float>(ev->u.ulval) > FLT_MAX)
+                        return false;
+                    auto tmp = static_cast<float>(ev->u.ulval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_boolean:
+                    ev->u.fval = ev->u.bval ? 1.0f : 0.0f;
+                    ev->et = ET_float;
+                    return true;
+                case ET_float:
+                    return true;
+                case ET_double:
+                {
+                    if (static_cast<float>(ev->u.dval) > FLT_MAX
+                        || static_cast<float>(ev->u.dval) < -FLT_MAX)
+                        return false;
+                    auto tmp = static_cast<float>(ev->u.dval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                case ET_byte:
+                {
+                    auto tmp = static_cast<float>(ev->u.byval);
+                    ev->u.fval = tmp;
+                    ev->et = ET_float;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_double:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    auto tmp = static_cast<double>(ev->u.sval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    auto tmp = static_cast<double>(ev->u.usval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_long:
+                {
+                    auto tmp = static_cast<double>(ev->u.lval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    auto tmp = static_cast<double>(ev->u.ulval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    auto tmp = static_cast<double>(ev->u.hval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (ev->u.dval > FLT_MAX || ev->u.dval < -FLT_MAX)
+                        return false;
+                    auto tmp = static_cast<double>(ev->u.ulval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_boolean:
+                    ev->u.dval = ev->u.bval ? 1.0 : 0.0;
+                    ev->et = ET_double;
+                    return true;
+                case ET_float:
+                {
+                    auto tmp = static_cast<double>(ev->u.fval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                case ET_double:
+                    return true;
+                case ET_byte:
+                {
+                    auto tmp = static_cast<double>(ev->u.byval);
+                    ev->u.dval = tmp;
+                    ev->et = ET_double;
+                    return true;
+                }
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        case ET_byte:
+            switch (ev->et)
+            {
+                case ET_short:
+                {
+                    if (ev->u.sval < SAL_MIN_INT8 || ev->u.sval > SAL_MAX_UINT8)
+                        return false;
+                    auto tmp = static_cast<unsigned char>(ev->u.sval);
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_ushort:
+                {
+                    if (ev->u.usval > SAL_MAX_UINT8)
+                        return false;
+                    auto tmp = static_cast<unsigned char>(ev->u.usval);
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_long:
+                {
+                    if (ev->u.lval < SAL_MIN_INT8 || ev->u.lval > SAL_MAX_UINT8)
+                        return false;
+                    auto tmp = static_cast<unsigned char>(ev->u.lval);
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_ulong:
+                {
+                    if (ev->u.ulval > SAL_MAX_UINT8)
+                        return false;
+                    auto tmp = static_cast<unsigned char>(ev->u.ulval);
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_hyper:
+                {
+                    if (ev->u.hval < SAL_MIN_INT8 || ev->u.hval > SAL_MAX_UINT8)
+                        return false;
+                    auto tmp = static_cast<unsigned char>(ev->u.hval);
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_uhyper:
+                {
+                    if (ev->u.uhval > SAL_MAX_UINT8)
+                        return false;
+                    auto tmp = static_cast<unsigned char>(ev->u.uhval);
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_boolean:
+                    ev->u.byval = ev->u.bval ? 1 : 0;
+                    ev->et = ET_byte;
+                    return true;
+                case ET_float:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.fval), SAL_MIN_INT8)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.fval), SAL_MAX_UINT8)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<unsigned char>(static_cast<sal_Int32>(ev->u.fval));
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_double:
+                {
+                    if (!(o3tl::convertsToAtLeast(o3tl::roundAway(ev->u.dval), SAL_MIN_INT8)
+                          && o3tl::convertsToAtMost(o3tl::roundAway(ev->u.dval), SAL_MAX_UINT8)))
+                    {
+                        return false;
+                    }
+                    auto tmp = static_cast<unsigned char>(static_cast<sal_Int32>(ev->u.dval));
+                    ev->u.byval = tmp;
+                    ev->et = ET_byte;
+                    return true;
+                }
+                case ET_byte:
+                    return true;
+                default:
+                    OSL_ASSERT(false);
+                    return false;
+            }
+        default:
+            OSL_ASSERT(false);
+            return false;
+    }
+}
+
+bool AstExpression::coerce(ExprType t)
+{
+    /*
+     * Is it already of the right type?
+     */
+    if (m_exprValue != nullptr && m_exprValue->et == t)
+        return true;
+    /*
+     * OK, must coerce
+     *
+     * First, evaluate it, then try to coerce result type
+     * If already evaluated, return the result
+     */
+    evaluate();
+    if (m_exprValue == nullptr)
+        return false;
+
+    if (!coerce_value(m_exprValue.get(), t))
+        m_exprValue.reset();
+
+    return m_exprValue != nullptr;
+}
+
+bool AstExpression::compareLong(AstExpression* pExpr)
+{
+    bool bRet = false;
+    if (m_combOperator != pExpr->m_combOperator)
+        return bRet;
+    evaluate();
+    pExpr->evaluate();
+    if (m_exprValue == nullptr || pExpr->getExprValue() == nullptr)
+        return bRet;
+    if (m_exprValue->et != pExpr->getExprValue()->et)
+        return bRet;
+    switch (m_exprValue->et)
+    {
+        case ET_long:
+            bRet = m_exprValue->u.lval == pExpr->getExprValue()->u.lval;
+            break;
+        default:
+            OSL_ASSERT(false);
+            bRet = false;
+            break;
+    }
+    return bRet;
+}
+
+void AstExpression::evaluate()
+{
+    /*
+     * Already evaluated?
+     */
+    if (m_exprValue != nullptr)
+        return;
+    /*
+     * OK, must evaluate operator
+     */
+    switch (m_combOperator)
+    {
+        case ExprComb::Add:
+        case ExprComb::Minus:
+        case ExprComb::Mul:
+        case ExprComb::Div:
+        case ExprComb::Mod:
+            m_exprValue = eval_bin_op();
+            break;
+        case ExprComb::Or:
+        case ExprComb::Xor:
+        case ExprComb::And:
+        case ExprComb::Left:
+        case ExprComb::Right:
+            m_exprValue = eval_bit_op();
+            break;
+        case ExprComb::UPlus:
+        case ExprComb::UMinus:
+            m_exprValue = eval_un_op();
+            break;
+        case ExprComb::Symbol:
+            m_exprValue = eval_symbol();
+            break;
+        case ExprComb::NONE:
+            break;
+    }
+}
+
+std::unique_ptr<AstExprValue> AstExpression::eval_bin_op()
+{
+    ExprType eType = ET_double;
+
+    if (m_combOperator == ExprComb::Mod)
+        eType = ET_hyper;
+
+    if (m_subExpr1 == nullptr || m_subExpr2 == nullptr)
+        return nullptr;
+    m_subExpr1->evaluate();
+    if (m_subExpr1->getExprValue() == nullptr)
+        return nullptr;
+    if (!m_subExpr1->coerce(eType))
+        return nullptr;
+    m_subExpr2->evaluate();
+    if (m_subExpr2->getExprValue() == nullptr)
+        return nullptr;
+    if (!m_subExpr2->coerce(eType))
+        return nullptr;
+
+    std::unique_ptr<AstExprValue> retval(new AstExprValue);
+    retval->et = eType;
+
+    switch (m_combOperator)
+    {
+        case ExprComb::Mod:
+            if (m_subExpr2->getExprValue()->u.hval == 0)
+                return nullptr;
+            retval->u.hval
+                = m_subExpr1->getExprValue()->u.hval % m_subExpr2->getExprValue()->u.hval;
+            break;
+        case ExprComb::Add:
+            retval->u.dval
+                = m_subExpr1->getExprValue()->u.dval + m_subExpr2->getExprValue()->u.dval;
+            break;
+        case ExprComb::Minus:
+            retval->u.dval
+                = m_subExpr1->getExprValue()->u.dval - m_subExpr2->getExprValue()->u.dval;
+            break;
+        case ExprComb::Mul:
+            retval->u.dval
+                = m_subExpr1->getExprValue()->u.dval * m_subExpr2->getExprValue()->u.dval;
+            break;
+        case ExprComb::Div:
+            if (m_subExpr2->getExprValue()->u.dval == 0.0)
+                return nullptr;
+            retval->u.dval
+                = m_subExpr1->getExprValue()->u.dval / m_subExpr2->getExprValue()->u.dval;
+            break;
+        default:
+            return nullptr;
+    }
+
+    return retval;
+}
+
+std::unique_ptr<AstExprValue> AstExpression::eval_bit_op()
+{
+    if (m_subExpr1 == nullptr || m_subExpr2 == nullptr)
+        return nullptr;
+    m_subExpr1->evaluate();
+    if (m_subExpr1->getExprValue() == nullptr)
+        return nullptr;
+    if (!m_subExpr1->coerce(ET_long))
+        return nullptr;
+    m_subExpr2->evaluate();
+    if (m_subExpr2->getExprValue() == nullptr)
+        return nullptr;
+    if (!m_subExpr2->coerce(ET_long))
+        return nullptr;
+
+    std::unique_ptr<AstExprValue> retval(new AstExprValue);
+    retval->et = ET_long;
+
+    switch (m_combOperator)
+    {
+        case ExprComb::Or:
+            retval->u.lval
+                = m_subExpr1->getExprValue()->u.lval | m_subExpr2->getExprValue()->u.lval;
+            break;
+        case ExprComb::Xor:
+            retval->u.lval
+                = m_subExpr1->getExprValue()->u.lval ^ m_subExpr2->getExprValue()->u.lval;
+            break;
+        case ExprComb::And:
+            retval->u.lval
+                = m_subExpr1->getExprValue()->u.lval & m_subExpr2->getExprValue()->u.lval;
+            break;
+        case ExprComb::Left:
+            retval->u.lval = m_subExpr1->getExprValue()->u.lval
+                             << m_subExpr2->getExprValue()->u.lval;
+            break;
+        case ExprComb::Right:
+            retval->u.lval
+                = m_subExpr1->getExprValue()->u.lval >> m_subExpr2->getExprValue()->u.lval;
+            break;
+        default:
+            return nullptr;
+    }
+
+    return retval;
+}
+
+std::unique_ptr<AstExprValue> AstExpression::eval_un_op()
+{
+    if (m_subExpr1 == nullptr)
+        return nullptr;
+    m_subExpr1->evaluate();
+    if (m_subExpr1->getExprValue() == nullptr)
+        return nullptr;
+    if (!m_subExpr1->coerce(ET_double))
+        return nullptr;
+
+    std::unique_ptr<AstExprValue> retval(new AstExprValue);
+    retval->et = ET_double;
+
+    switch (m_combOperator)
+    {
+        case ExprComb::UPlus:
+            retval->u.lval = m_subExpr1->getExprValue()->u.lval;
+            break;
+        case ExprComb::UMinus:
+            retval->u.lval = -(m_subExpr1->getExprValue()->u.lval);
+            break;
+        default:
+            return nullptr;
+    }
+
+    return retval;
+}
+
+std::unique_ptr<AstExprValue> AstExpression::eval_symbol()
+{
+    AstScope* pScope = nullptr;
+    AstDeclaration* pDecl;
+    AstConstant* pConst;
+
+    /*
+     * Is there a symbol stored?
+     */
+    if (!m_xSymbolicName)
+    {
+        ErrorHandler::evalError(this);
+        return nullptr;
+    }
+    /*
+     * Get current scope for lookup
+     */
+    if (idlc()->scopes()->depth() > 0)
+        pScope = idlc()->scopes()->topNonNull();
+    if (!pScope)
+    {
+        ErrorHandler::lookupError(*m_xSymbolicName);
+        return nullptr;
+    }
+    /*
+     * Do lookup
+     */
+    pDecl = pScope->lookupByName(*m_xSymbolicName);
+    if (pDecl == nullptr)
+    {
+        ErrorHandler::lookupError(*m_xSymbolicName);
+        return nullptr;
+    }
+    /*
+     * Is it a constant?
+     */
+    if (pDecl->getNodeType() != NT_const && pDecl->getNodeType() != NT_enum_val)
+    {
+        ErrorHandler::constantExpected(pDecl, *m_xSymbolicName);
+        return nullptr;
+    }
+    if (!ErrorHandler::checkPublished(pDecl))
+    {
+        return nullptr;
+    }
+    /*
+     * OK, now evaluate the constant we just got, to produce its value
+     */
+    pConst = static_cast<AstConstant*>(pDecl);
+    pConst->getConstValue()->evaluate();
+    auto const val = pConst->getConstValue()->getExprValue();
+    return val == nullptr ? nullptr : std::make_unique<AstExprValue>(*val);
+}
+
+OString AstExpression::toString()
+{
+    OString exprStr;
+    if (m_combOperator == ExprComb::Symbol)
+        return m_xSymbolicName ? *m_xSymbolicName : OString("<Undefined Name>");
+
+    if (m_exprValue)
+    {
+        switch (m_exprValue->et)
+        {
+            case ET_short:
+                return OString::number(m_exprValue->u.sval);
+            case ET_ushort:
+                return OString::number(m_exprValue->u.usval);
+            case ET_long:
+                return OString::number(m_exprValue->u.lval);
+            case ET_ulong:
+                return OString::number(m_exprValue->u.ulval);
+            case ET_hyper:
+                return OString::number(m_exprValue->u.hval);
+            case ET_uhyper:
+                return OString::number(m_exprValue->u.uhval);
+            case ET_float:
+                return OString::number(m_exprValue->u.fval);
+            case ET_double:
+                return OString::number(m_exprValue->u.dval);
+            case ET_byte:
+                return OString::number(m_exprValue->u.byval);
+            case ET_boolean:
+                if (m_exprValue->u.lval == 0)
+                    return "FALSE";
+                else
+                    return "TRUE";
+            default:
+                OSL_ASSERT(false);
+                return OString();
+        }
+    }
+
+    switch (m_combOperator)
+    {
+        case ExprComb::UPlus:
+            exprStr += "+";
+            break;
+        case ExprComb::UMinus:
+            exprStr += "-";
+            break;
+        default:
+            break;
+    }
+    if (m_subExpr1)
+        exprStr += m_subExpr1->toString();
+    switch (m_combOperator)
+    {
+        case ExprComb::Add:
+            exprStr += " + ";
+            break;
+        case ExprComb::Minus:
+            exprStr += " - ";
+            break;
+        case ExprComb::Mul:
+            exprStr += " * ";
+            break;
+        case ExprComb::Div:
+            exprStr += " / ";
+            break;
+        case ExprComb::Mod:
+            exprStr += " % ";
+            break;
+        case ExprComb::Or:
+            exprStr += " | ";
+            break;
+        case ExprComb::Xor:
+            exprStr += " ^ ";
+            break;
+        case ExprComb::And:
+            exprStr += " & ";
+            break;
+        case ExprComb::Left:
+            exprStr += " << ";
+            break;
+        case ExprComb::Right:
+            exprStr += " >> ";
+            break;
+        default:
+            break;
+    }
+
+    if (m_subExpr2)
+        exprStr += m_subExpr2->toString();
+
+    return exprStr;
+}
+
+// Convert the type of an AST_Expression to a char *
+const char* exprTypeToString(ExprType t)
+{
+    switch (t)
+    {
+        case ET_short:
+            return "short";
+        case ET_ushort:
+            return "unsigned short";
+        case ET_long:
+            return "long";
+        case ET_ulong:
+            return "unsigned long";
+        case ET_hyper:
+            return "hyper";
+        case ET_uhyper:
+            return "unsigned hyper";
+        case ET_float:
+            return "float";
+        case ET_double:
+            return "double";
+        case ET_char:
+            return "char";
+        case ET_byte:
+            return "byte";
+        case ET_boolean:
+            return "boolean";
+        case ET_string:
+            return "string";
+        case ET_any:
+            return "any";
+        case ET_type:
+            return "type";
+        case ET_void:
+            return "void";
+        case ET_none:
+            return "none";
+    }
+
+    return "unknown";
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astinterface.cxx b/idlc/source/astinterface.cxx
new file mode 100644
index 000000000..50e24d1fd
--- /dev/null
+++ b/idlc/source/astinterface.cxx
@@ -0,0 +1,399 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <astinterface.hxx>
+#include <astattribute.hxx>
+#include <astoperation.hxx>
+#include <idlc.hxx>
+
+#include <registry/version.h>
+#include <registry/writer.hxx>
+
+#include <osl/diagnose.h>
+
+AstInterface::AstInterface(const OString& name,
+                           AstInterface const * pInherits,
+                           AstScope* pScope)
+    : AstType(NT_interface, name, pScope)
+    , AstScope(NT_interface)
+    , m_mandatoryInterfaces(0)
+    , m_bIsDefined(false)
+    , m_bSingleInheritance(pInherits != nullptr)
+{
+    if (pInherits != nullptr) {
+        addInheritedInterface(pInherits, false, OUString());
+    }
+}
+
+AstInterface::~AstInterface()
+{
+}
+
+AstInterface::DoubleDeclarations AstInterface::checkInheritedInterfaceClashes(
+    AstInterface const * ifc, bool optional) const
+{
+    DoubleDeclarations doubleDecls;
+    std::set< OString > seen;
+    checkInheritedInterfaceClashes(
+        doubleDecls, seen, ifc, true, optional, optional);
+    return doubleDecls;
+}
+
+void AstInterface::addInheritedInterface(
+    AstType const * ifc, bool optional, OUString const & documentation)
+{
+    m_inheritedInterfaces.emplace_back(ifc, optional, documentation);
+    if (!optional) {
+        ++m_mandatoryInterfaces;
+    }
+    AstInterface const * resolved = resolveInterfaceTypedefs(ifc);
+    addVisibleInterface(resolved, true, optional);
+    if (optional) {
+        addOptionalVisibleMembers(resolved);
+    }
+}
+
+AstInterface::DoubleMemberDeclarations AstInterface::checkMemberClashes(
+    AstDeclaration const * member) const
+{
+    DoubleMemberDeclarations doubleMembers;
+    checkMemberClashes(doubleMembers, member, true);
+    return doubleMembers;
+}
+
+void AstInterface::addMember(AstDeclaration /*TODO: const*/ * member) {
+    addDeclaration(member);
+    m_visibleMembers.emplace(member->getLocalName(), VisibleMember(member));
+}
+
+void AstInterface::forwardDefined(AstInterface const & def)
+{
+    setImported(def.isImported());
+    setInMainfile(def.isInMainfile());
+    setLineNumber(def.getLineNumber());
+    setFileName(def.getFileName());
+    setDocumentation(def.getDocumentation());
+    m_inheritedInterfaces = def.m_inheritedInterfaces;
+    m_mandatoryInterfaces = def.m_mandatoryInterfaces;
+    m_bIsDefined = true;
+}
+
+bool AstInterface::dump(RegistryKey& rKey)
+{
+    if ( !isDefined() )
+        return true;
+
+    RegistryKey localKey;
+    if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    if (m_mandatoryInterfaces > SAL_MAX_UINT16
+        || m_inheritedInterfaces.size() - m_mandatoryInterfaces
+            > SAL_MAX_UINT16)
+    {
+        fprintf(
+            stderr, "%s: interface %s has too many direct base interfaces\n",
+            idlc()->getOptions()->getProgramName().getStr(),
+            getScopedName().getStr());
+        return false;
+    }
+    sal_uInt16 nBaseTypes = static_cast< sal_uInt16 >(m_mandatoryInterfaces);
+    sal_uInt16 nAttributes = 0;
+    sal_uInt16 nMethods = 0;
+    sal_uInt16 nReferences = static_cast< sal_uInt16 >(
+        m_inheritedInterfaces.size() - m_mandatoryInterfaces);
+    typereg_Version version
+        = (nBaseTypes <= 1 && nReferences == 0 && !m_bPublished
+           ? TYPEREG_VERSION_0 : TYPEREG_VERSION_1);
+    for (DeclList::const_iterator i(getIteratorBegin()); i != getIteratorEnd();
+          ++i)
+    {
+        switch ((*i)->getNodeType()) {
+        case NT_attribute:
+            {
+                if (!increment(&nAttributes, "attributes")) {
+                    return false;
+                }
+                AstAttribute * attr = static_cast<AstAttribute *>(*i);
+                if (attr->isBound()) {
+                    version = TYPEREG_VERSION_1;
+                }
+                DeclList::size_type getCount = attr->getGetExceptionCount();
+                if (getCount > SAL_MAX_UINT16) {
+                    fprintf(
+                        stderr,
+                        ("%s: raises clause of getter for attribute %s of"
+                         " interface %s is too long\n"),
+                        idlc()->getOptions()->getProgramName().getStr(),
+                        (*i)->getLocalName().getStr(),
+                        getScopedName().getStr());
+                    return false;
+                }
+                if (getCount > 0) {
+                    version = TYPEREG_VERSION_1;
+                    if (!increment(&nMethods, "attributes")) {
+                        return false;
+                    }
+                }
+                DeclList::size_type setCount = attr->getSetExceptionCount();
+                if (setCount > SAL_MAX_UINT16) {
+                    fprintf(
+                        stderr,
+                        ("%s: raises clause of setter for attribute %s of"
+                         " interface %s is too long\n"),
+                        idlc()->getOptions()->getProgramName().getStr(),
+                        (*i)->getLocalName().getStr(),
+                        getScopedName().getStr());
+                    return false;
+                }
+                if (setCount > 0) {
+                    version = TYPEREG_VERSION_1;
+                    if (!increment(&nMethods, "attributes")) {
+                        return false;
+                    }
+                }
+                break;
+            }
+
+        case NT_operation:
+            if (!increment(&nMethods, "methods")) {
+                return false;
+            }
+            break;
+
+        default:
+            OSL_ASSERT(false);
+            break;
+        }
+    }
+
+    typereg::Writer aBlob(
+        version, getDocumentation(), "", RT_TYPE_INTERFACE, m_bPublished,
+        OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), nBaseTypes,
+        nAttributes, nMethods, nReferences);
+
+    sal_uInt16 superTypeIndex = 0;
+    sal_uInt16 referenceIndex = 0;
+    for (auto const& elem : m_inheritedInterfaces)
+    {
+        if (elem.isOptional()) {
+            aBlob.setReferenceData(
+                referenceIndex++, elem.getDocumentation(), RTReferenceType::SUPPORTS,
+                RTFieldAccess::OPTIONAL,
+                OStringToOUString(
+                    elem.getInterface()->getRelativName(),
+                    RTL_TEXTENCODING_UTF8));
+        } else {
+            aBlob.setSuperTypeName(
+                superTypeIndex++,
+                OStringToOUString(
+                    elem.getInterface()->getRelativName(),
+                    RTL_TEXTENCODING_UTF8));
+        }
+    }
+
+    sal_uInt16 attributeIndex = 0;
+    sal_uInt16 methodIndex = 0;
+    for (DeclList::const_iterator i(getIteratorBegin()); i != getIteratorEnd();
+          ++i)
+    {
+        switch ((*i)->getNodeType()) {
+        case NT_attribute:
+            static_cast<AstAttribute *>(*i)->dumpBlob(
+                aBlob, attributeIndex++, &methodIndex);
+            break;
+
+        case NT_operation:
+            static_cast<AstOperation *>(*i)->dumpBlob(aBlob, methodIndex++);
+            break;
+
+        default:
+            OSL_ASSERT(false);
+            break;
+        }
+    }
+
+    sal_uInt32 aBlobSize;
+    void const * pBlob = aBlob.getBlob(&aBlobSize);
+
+    if (localKey.setValue("", RegValueType::BINARY, const_cast<RegValue>(pBlob), aBlobSize) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    return true;
+}
+
+void AstInterface::checkInheritedInterfaceClashes(
+    DoubleDeclarations & doubleDeclarations,
+    std::set< OString > & seenInterfaces, AstInterface const * ifc,
+    bool direct, bool optional, bool mainOptional) const
+{
+    if (!(direct || optional
+        || seenInterfaces.insert(ifc->getScopedName()).second))
+        return;
+
+    VisibleInterfaces::const_iterator visible(
+        m_visibleInterfaces.find(ifc->getScopedName()));
+    if (visible != m_visibleInterfaces.end()) {
+        switch (visible->second) {
+        case INTERFACE_INDIRECT_OPTIONAL:
+            if (direct && optional) {
+                doubleDeclarations.interfaces.push_back(ifc);
+                return;
+            }
+            break;
+
+        case INTERFACE_DIRECT_OPTIONAL:
+            if (direct || !mainOptional) {
+                doubleDeclarations.interfaces.push_back(ifc);
+            }
+            return;
+
+        case INTERFACE_INDIRECT_MANDATORY:
+            if (direct) {
+                doubleDeclarations.interfaces.push_back(ifc);
+            }
+            return;
+
+        case INTERFACE_DIRECT_MANDATORY:
+            if (direct || (!optional && !mainOptional)) {
+                doubleDeclarations.interfaces.push_back(ifc);
+            }
+            return;
+        }
+    }
+    if (!direct && optional)
+        return;
+
+    for (DeclList::const_iterator i(ifc->getIteratorBegin());
+          i != ifc->getIteratorEnd(); ++i)
+    {
+        checkMemberClashes(
+            doubleDeclarations.members, *i, !mainOptional);
+    }
+    for (auto const& elem : ifc->m_inheritedInterfaces)
+    {
+        checkInheritedInterfaceClashes(
+            doubleDeclarations, seenInterfaces, elem.getResolved(),
+            false, elem.isOptional(), mainOptional);
+    }
+}
+
+void AstInterface::checkMemberClashes(
+    DoubleMemberDeclarations & doubleMembers, AstDeclaration const * member,
+    bool checkOptional) const
+{
+    VisibleMembers::const_iterator i(
+        m_visibleMembers.find(member->getLocalName()));
+    if (i == m_visibleMembers.end())
+        return;
+
+    if (i->second.mandatory != nullptr) {
+        if (i->second.mandatory->getScopedName() != member->getScopedName())
+        {
+            DoubleMemberDeclaration d;
+            d.first = i->second.mandatory;
+            d.second = member;
+            doubleMembers.push_back(d);
+        }
+    } else if (checkOptional) {
+        for (auto const& elem : i->second.optionals)
+        {
+            if (elem.second->getScopedName() != member->getScopedName()) {
+                DoubleMemberDeclaration d;
+                d.first = elem.second;
+                d.second = member;
+                doubleMembers.push_back(d);
+            }
+        }
+    }
+}
+
+void AstInterface::addVisibleInterface(
+    AstInterface const * ifc, bool direct, bool optional)
+{
+    InterfaceKind kind = optional
+        ? direct ? INTERFACE_DIRECT_OPTIONAL : INTERFACE_INDIRECT_OPTIONAL
+        : direct ? INTERFACE_DIRECT_MANDATORY : INTERFACE_INDIRECT_MANDATORY;
+    std::pair< VisibleInterfaces::iterator, bool > result(
+        m_visibleInterfaces.emplace(ifc->getScopedName(), kind));
+    bool seen = !result.second
+        && result.first->second >= INTERFACE_INDIRECT_MANDATORY;
+    if (!result.second && kind > result.first->second) {
+        result.first->second = kind;
+    }
+    if (optional || seen)
+        return;
+
+    for (DeclList::const_iterator i(ifc->getIteratorBegin());
+          i != ifc->getIteratorEnd(); ++i)
+    {
+        m_visibleMembers.emplace(
+                (*i)->getLocalName(), VisibleMember(*i));
+    }
+    for (auto const& elem : ifc->m_inheritedInterfaces)
+    {
+        addVisibleInterface(elem.getResolved(), false, elem.isOptional());
+    }
+}
+
+void AstInterface::addOptionalVisibleMembers(AstInterface const * ifc) {
+    for (DeclList::const_iterator i(ifc->getIteratorBegin());
+          i != ifc->getIteratorEnd(); ++i)
+    {
+        VisibleMembers::iterator visible(
+            m_visibleMembers.find((*i)->getLocalName()));
+        if (visible == m_visibleMembers.end()) {
+            visible = m_visibleMembers.emplace(
+                    (*i)->getLocalName(), VisibleMember()).first;
+        }
+        if (visible->second.mandatory == nullptr) {
+            visible->second.optionals.emplace(ifc->getScopedName(), *i);
+        }
+    }
+    for (auto const& elem : ifc->m_inheritedInterfaces)
+    {
+        if (!elem.isOptional()) {
+            addOptionalVisibleMembers(elem.getResolved());
+        }
+    }
+}
+
+bool AstInterface::increment(sal_uInt16 * counter, char const * sort) const {
+    if (*counter == SAL_MAX_UINT16) {
+        fprintf(
+            stderr, "%s: interface %s has too many direct %s\n",
+            idlc()->getOptions()->getProgramName().getStr(),
+            getScopedName().getStr(), sort);
+        return false;
+    }
+    ++*counter;
+    return true;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astoperation.cxx b/idlc/source/astoperation.cxx
new file mode 100644
index 000000000..4dea37576
--- /dev/null
+++ b/idlc/source/astoperation.cxx
@@ -0,0 +1,115 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <astoperation.hxx>
+#include <asttype.hxx>
+#include <astbasetype.hxx>
+#include <astparameter.hxx>
+#include <errorhandler.hxx>
+
+#include <registry/writer.hxx>
+
+void AstOperation::setExceptions(DeclList const * pExceptions)
+{
+    if (pExceptions != nullptr) {
+        m_exceptions = *pExceptions;
+    }
+}
+
+bool AstOperation::isVariadic() const {
+    DeclList::const_iterator i(getIteratorEnd());
+    return i != getIteratorBegin()
+        && static_cast< AstParameter const * >(*(--i))->isRest();
+}
+
+void AstOperation::dumpBlob(typereg::Writer & rBlob, sal_uInt16 index)
+{
+    sal_uInt16      nParam = getNodeCount(NT_parameter);
+    sal_uInt16      nExcep = static_cast<sal_uInt16>(m_exceptions.size());
+
+    OUString returnTypeName;
+    if (m_pReturnType == nullptr) {
+        returnTypeName = "void";
+    } else {
+        returnTypeName = OStringToOUString(
+            m_pReturnType->getRelativName(), RTL_TEXTENCODING_UTF8);
+    }
+    rBlob.setMethodData(
+        index, getDocumentation(), RTMethodMode::TWOWAY,
+        OStringToOUString(getLocalName(), RTL_TEXTENCODING_UTF8),
+        returnTypeName, nParam, nExcep);
+
+    if ( nParam )
+    {
+        DeclList::const_iterator iter = getIteratorBegin();
+        DeclList::const_iterator end = getIteratorEnd();
+        RTParamMode paramMode;
+        sal_uInt16 paramIndex = 0;
+        while ( iter != end )
+        {
+            AstDeclaration* pDecl = *iter;
+            if ( pDecl->getNodeType() == NT_parameter )
+            {
+                AstParameter* pParam = static_cast<AstParameter*>(pDecl);
+                switch (pParam->getDirection())
+                {
+                    case DIR_IN :
+                        paramMode = RT_PARAM_IN;
+                        break;
+                    case DIR_OUT :
+                        paramMode = RT_PARAM_OUT;
+                        break;
+                    case DIR_INOUT :
+                        paramMode = RT_PARAM_INOUT;
+                        break;
+                    default:
+                        paramMode = RT_PARAM_INVALID;
+                        break;
+                }
+                if (pParam->isRest()) {
+                    paramMode = static_cast< RTParamMode >(
+                        paramMode | RT_PARAM_REST);
+                }
+
+                rBlob.setMethodParameterData(
+                    index, paramIndex++, paramMode,
+                    OStringToOUString(
+                        pDecl->getLocalName(), RTL_TEXTENCODING_UTF8),
+                    OStringToOUString(
+                        pParam->getType()->getRelativName(),
+                        RTL_TEXTENCODING_UTF8));
+            }
+            ++iter;
+        }
+    }
+
+    if ( nExcep )
+    {
+        sal_uInt16 exceptIndex = 0;
+        for (auto const& exception : m_exceptions)
+        {
+            rBlob.setMethodExceptionTypeName(
+                index, exceptIndex++,
+                OStringToOUString(
+                    exception->getRelativName(), RTL_TEXTENCODING_UTF8));
+        }
+    }
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astscope.cxx b/idlc/source/astscope.cxx
new file mode 100644
index 000000000..f8309a766
--- /dev/null
+++ b/idlc/source/astscope.cxx
@@ -0,0 +1,314 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <sal/config.h>
+
+#include <algorithm>
+#include <string_view>
+
+#include <astscope.hxx>
+#include <astbasetype.hxx>
+#include <astinterface.hxx>
+#include <errorhandler.hxx>
+#include <o3tl/string_view.hxx>
+#include <osl/diagnose.h>
+
+
+static bool isGlobal(std::string_view scopedName)
+{
+    return scopedName.empty() || o3tl::starts_with(scopedName, ":");
+}
+
+AstScope::AstScope(NodeType nodeType)
+    : m_nodeType(nodeType)
+{
+
+}
+
+AstScope::~AstScope()
+{
+
+}
+
+AstDeclaration* AstScope::addDeclaration(AstDeclaration* pDecl)
+{
+    AstDeclaration* pDeclaration = nullptr;
+
+    if ((pDeclaration = lookupForAdd(pDecl)) != nullptr)
+    {
+        if ( pDecl->hasAncestor(pDeclaration) )
+        {
+            ErrorHandler::error2(ErrorCode::RedefScope, pDecl, pDeclaration);
+            return nullptr;
+        }
+        if ( (pDecl->getNodeType() == pDeclaration->getNodeType()) &&
+             (pDecl->getNodeType() == NT_sequence
+              || pDecl->getNodeType() == NT_instantiated_struct) )
+        {
+            return pDeclaration;
+        }
+        if ( (pDeclaration->getNodeType() == NT_interface)
+             && (pDecl->getNodeType() == NT_interface)
+             && !(static_cast<AstInterface*>(pDeclaration)->isDefined()) )
+        {
+            m_declarations.push_back(pDecl);
+            return pDecl;
+        }
+        if ( (NT_service == m_nodeType) &&
+             ( ((pDecl->getNodeType() == NT_interface_member)
+                && (pDeclaration->getNodeType() == NT_interface)) ||
+               ((pDecl->getNodeType() == NT_service_member)
+                && (pDeclaration->getNodeType() == NT_service)) )
+            )
+        {
+            m_declarations.push_back(pDecl);
+            return pDecl;
+        }
+
+        ErrorHandler::error2(ErrorCode::RedefScope, scopeAsDecl(this), pDecl);
+        return nullptr;
+    }
+
+    m_declarations.push_back(pDecl);
+    return pDecl;
+}
+
+sal_uInt16 AstScope::getNodeCount(NodeType nodeType) const
+{
+    return static_cast<sal_uInt16>(std::count_if(getIteratorBegin(), getIteratorEnd(),
+        [&nodeType](const AstDeclaration* pDecl) { return pDecl->getNodeType() == nodeType; }));
+}
+
+AstDeclaration* AstScope::lookupByName(const OString& scopedName)
+{
+    AstDeclaration* pDecl = nullptr;
+    AstScope*       pScope = nullptr;
+    if (scopedName.isEmpty())
+        return nullptr;
+
+    // If name starts with "::" start look up in global scope
+    if ( isGlobal(scopedName) )
+    {
+        pDecl = scopeAsDecl(this);
+        if ( !pDecl )
+            return nullptr;
+
+        pScope = pDecl->getScope();
+        // If this is the global scope ...
+        if ( !pScope )
+        {
+            // look up the scopedName part after "::"
+            OString subName = scopedName.copy(2);
+            pDecl = lookupByName(subName);
+            return pDecl;
+            //return pScope->lookupByName();
+        }
+        // OK, not global scope yet, so simply iterate with parent scope
+        pDecl = pScope->lookupByName(scopedName);
+        return pDecl;
+    }
+
+    // The name does not start with "::"
+    // Look up in the local scope and start with the first scope
+    sal_Int32 nIndex = scopedName.indexOf(':');
+    OString firstScope =  nIndex > 0 ? scopedName.copy(0, nIndex) : scopedName;
+    bool    bFindFirstScope = true;
+    pDecl = lookupByNameLocal(firstScope);
+    if ( !pDecl )
+    {
+        bFindFirstScope = false;
+
+        // OK, not found. Go down parent scope chain
+        pDecl = scopeAsDecl(this);
+        if ( pDecl )
+        {
+            pScope = pDecl->getScope();
+            if ( pScope )
+                   pDecl = pScope->lookupByName(scopedName);
+            else
+                pDecl = nullptr;
+
+             // Special case for scope which is an interface. We
+             // have to look in the inherited interfaces as well.
+            if ( !pDecl && m_nodeType == NT_interface )
+                pDecl = lookupInInherited(scopedName);
+        }
+    }
+
+    if ( !bFindFirstScope || (firstScope == scopedName) )
+        return pDecl;
+
+    sal_Int32 i = 0;
+    sal_Int32 nOffset = 2;
+    do
+    {
+        pScope = declAsScope(pDecl);
+        if( pScope )
+        {
+            pDecl = pScope->lookupByNameLocal(o3tl::getToken(scopedName, nOffset, ':', i ));
+            nOffset = 1;
+        }
+        if( !pDecl )
+            break;
+    } while( i != -1 );
+
+    if ( !pDecl )
+    {
+        // last try if is not the global scope and the scopeName isn't specify global too
+        pDecl = scopeAsDecl(this);
+        if ( pDecl && !pDecl->getLocalName().isEmpty() )
+        {
+            pScope = pDecl->getScope();
+            if ( pScope )
+                pDecl = pScope->lookupByName(scopedName);
+        } else
+        {
+            pDecl = nullptr;
+        }
+    }
+
+    return pDecl;
+}
+
+AstDeclaration* AstScope::lookupByNameLocal(std::string_view name) const
+{
+    for (auto const& declaration : m_declarations)
+    {
+        if ( declaration->getLocalName() == name )
+            return declaration;
+    }
+    return nullptr;
+}
+
+AstDeclaration* AstScope::lookupInInherited(const OString& scopedName) const
+{
+    const AstInterface* pInterface = dynamic_cast<const AstInterface*>(this);
+
+    if ( !pInterface )
+        return nullptr;
+
+    // Can't look in an interface which was not yet defined
+    if ( !pInterface->getScope() )
+    {
+        ErrorHandler::forwardLookupError(pInterface, scopedName);
+    }
+
+    // OK, loop through inherited interfaces. Stop when you find it
+    for (auto const& elem : pInterface->getAllInheritedInterfaces())
+    {
+        AstInterface const * resolved = elem.getResolved();
+        AstDeclaration* pDecl = resolved->lookupByNameLocal(scopedName);
+        if ( pDecl )
+            return pDecl;
+        pDecl = resolved->lookupInInherited(scopedName);
+        if ( pDecl )
+            return pDecl;
+    }
+    // Not found
+    return nullptr;
+}
+
+AstDeclaration* AstScope::lookupPrimitiveType(ExprType type)
+{
+    AstDeclaration* pDecl = nullptr;
+    AstScope*       pScope = nullptr;
+    OString         typeName;
+    pDecl = scopeAsDecl(this);
+    if ( !pDecl )
+        return nullptr;
+    pScope = pDecl->getScope();
+    if ( pScope)
+        return pScope->lookupPrimitiveType(type);
+
+    switch (type)
+    {
+        case ET_none:
+            OSL_ASSERT(false);
+            break;
+        case ET_short:
+            typeName = OString("short");
+            break;
+        case ET_ushort:
+            typeName = OString("unsigned short");
+            break;
+        case ET_long:
+            typeName = OString("long");
+            break;
+        case ET_ulong:
+            typeName = OString("unsigned long");
+            break;
+        case ET_hyper:
+            typeName = OString("hyper");
+            break;
+        case ET_uhyper:
+            typeName = OString("unsigned hyper");
+            break;
+        case ET_float:
+            typeName = OString("float");
+            break;
+        case ET_double:
+            typeName = OString("double");
+            break;
+        case ET_char:
+            typeName = OString("char");
+            break;
+        case ET_byte:
+            typeName = OString("byte");
+            break;
+        case ET_boolean:
+            typeName = OString("boolean");
+            break;
+        case ET_any:
+            typeName = OString("any");
+            break;
+        case ET_void:
+            typeName = OString("void");
+            break;
+        case ET_type:
+            typeName = OString("type");
+            break;
+        case ET_string:
+            typeName = OString("string");
+            break;
+    }
+
+    pDecl = lookupByNameLocal(typeName);
+
+    if ( pDecl && (pDecl->getNodeType() == NT_predefined) )
+    {
+        AstBaseType* pBaseType = static_cast<AstBaseType*>(pDecl);
+
+        if ( pBaseType->getExprType() == type )
+            return pDecl;
+    }
+
+    return nullptr;
+}
+
+AstDeclaration* AstScope::lookupForAdd(AstDeclaration const * pDecl) const
+{
+    if ( !pDecl )
+        return nullptr;
+
+    AstDeclaration* pRetDecl = lookupByNameLocal(pDecl->getLocalName());
+
+    return pRetDecl;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/astservice.cxx b/idlc/source/astservice.cxx
new file mode 100644
index 000000000..c90ded6b4
--- /dev/null
+++ b/idlc/source/astservice.cxx
@@ -0,0 +1,54 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+
+#include <sal/config.h>
+
+#include <astmember.hxx>
+#include <astoperation.hxx>
+#include <astservice.hxx>
+#include <asttype.hxx>
+
+bool AstService::checkLastConstructor() const {
+    AstOperation const * last = static_cast< AstOperation const * >(getLast());
+    for (DeclList::const_iterator i(getIteratorBegin()); i != getIteratorEnd();
+         ++i)
+    {
+        if (*i != last && (*i)->getNodeType() == NT_operation) {
+            AstOperation const * ctor = static_cast< AstOperation * >(*i);
+            if (ctor->isVariadic() && last->isVariadic()) {
+                return true;
+            }
+            sal_uInt32 n = ctor->nMembers();
+            if (n == last->nMembers()) {
+                return std::equal(ctor->getIteratorBegin(), ctor->getIteratorEnd(), last->getIteratorBegin(),
+                    [](AstDeclaration* a, AstDeclaration* b) {
+                        sal_Int32 r1;
+                        AstDeclaration const * t1 = deconstructAndResolveTypedefs(static_cast< AstMember * >(a)->getType(), &r1);
+                        sal_Int32 r2;
+                        AstDeclaration const * t2 = deconstructAndResolveTypedefs(static_cast< AstMember * >(b)->getType(), &r2);
+                        return r1 == r2 && t1->getScopedName() == t2->getScopedName();
+                    });
+            }
+        }
+    }
+    return false;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/aststack.cxx b/idlc/source/aststack.cxx
new file mode 100644
index 000000000..fcddc810d
--- /dev/null
+++ b/idlc/source/aststack.cxx
@@ -0,0 +1,79 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <rtl/alloc.h>
+#include <aststack.hxx>
+#include <astscope.hxx>
+
+AstStack::AstStack() {}
+
+AstStack::~AstStack()
+{
+    for (AstScope* p : m_stack)
+        delete p;
+}
+
+AstScope* AstStack::top()
+{
+    if (m_stack.empty())
+        return nullptr;
+    return m_stack.back();
+}
+
+AstScope* AstStack::bottom()
+{
+    if (m_stack.empty())
+        return nullptr;
+    return m_stack.front();
+}
+
+AstScope* AstStack::nextToTop()
+{
+    if (m_stack.size() < 2)
+        return nullptr;
+
+    return m_stack[m_stack.size() - 2];
+}
+
+AstScope* AstStack::topNonNull()
+{
+    for (sal_uInt32 i = m_stack.size(); i > 0; i--)
+    {
+        if (m_stack[i - 1])
+            return m_stack[i - 1];
+    }
+    return nullptr;
+}
+
+AstStack* AstStack::push(AstScope* pScope)
+{
+    m_stack.push_back(pScope);
+    return this;
+}
+
+void AstStack::pop()
+{
+    if (m_stack.empty())
+        return;
+    m_stack.pop_back();
+}
+
+void AstStack::clear() { m_stack.clear(); }
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/aststruct.cxx b/idlc/source/aststruct.cxx
new file mode 100644
index 000000000..00ac33021
--- /dev/null
+++ b/idlc/source/aststruct.cxx
@@ -0,0 +1,167 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <aststruct.hxx>
+#include <astmember.hxx>
+
+#include <registry/version.h>
+#include <registry/writer.hxx>
+
+AstStruct::AstStruct(
+    const OString& name, std::vector< OString > const & typeParameters,
+    AstStruct const* pBaseType, AstScope* pScope)
+    : AstType(NT_struct, name, pScope)
+    , AstScope(NT_struct)
+    , m_pBaseType(pBaseType)
+{
+    for (auto const& elem : typeParameters)
+    {
+        m_typeParameters.emplace_back(
+            new AstType(NT_type_parameter, elem, nullptr));
+    }
+}
+
+AstStruct::AstStruct(const NodeType type,
+                        const OString& name,
+                       AstStruct const* pBaseType,
+                     AstScope* pScope)
+    : AstType(type, name, pScope)
+    , AstScope(type)
+    , m_pBaseType(pBaseType)
+{
+}
+
+AstStruct::~AstStruct()
+{
+}
+
+AstDeclaration const * AstStruct::findTypeParameter(std::string_view name)
+    const
+{
+    for (auto const& elem : m_typeParameters)
+    {
+        if (elem->getLocalName() == name) {
+            return elem.get();
+        }
+    }
+    return nullptr;
+}
+
+bool AstStruct::isType() const {
+    return getNodeType() == NT_struct
+        ? getTypeParameterCount() == 0 : AstDeclaration::isType();
+}
+
+bool AstStruct::dump(RegistryKey& rKey)
+{
+    RegistryKey localKey;
+    if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    if (m_typeParameters.size() > SAL_MAX_UINT16) {
+        fprintf(
+            stderr,
+            ("%s: polymorphic struct type template %s has too many type"
+             " parameters\n"),
+            idlc()->getOptions()->getProgramName().getStr(),
+            getScopedName().getStr());
+        return false;
+    }
+
+    sal_uInt16 nMember = getNodeCount(NT_member);
+
+    RTTypeClass typeClass = RT_TYPE_STRUCT;
+    if ( getNodeType() == NT_exception )
+        typeClass = RT_TYPE_EXCEPTION;
+
+    typereg::Writer aBlob(
+        (m_typeParameters.empty() && !m_bPublished
+         ? TYPEREG_VERSION_0 : TYPEREG_VERSION_1),
+        getDocumentation(), "", typeClass, m_bPublished,
+        OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8),
+        m_pBaseType == nullptr ? 0 : 1, nMember, 0,
+        static_cast< sal_uInt16 >(m_typeParameters.size()));
+    if (m_pBaseType != nullptr) {
+        aBlob.setSuperTypeName(
+            0,
+            OStringToOUString(
+                m_pBaseType->getRelativName(), RTL_TEXTENCODING_UTF8));
+    }
+
+    if ( nMember > 0 )
+    {
+        DeclList::const_iterator iter = getIteratorBegin();
+        DeclList::const_iterator end = getIteratorEnd();
+        AstMember*  pMember = nullptr;
+        sal_uInt16  index = 0;
+        while ( iter != end )
+        {
+            AstDeclaration* pDecl = *iter;
+            if ( pDecl->getNodeType() == NT_member )
+            {
+                pMember = static_cast<AstMember*>(pDecl);
+                RTFieldAccess flags = RTFieldAccess::READWRITE;
+                OString typeName;
+                if (pMember->getType()->getNodeType() == NT_type_parameter) {
+                    flags |= RTFieldAccess::PARAMETERIZED_TYPE;
+                    typeName = pMember->getType()->getLocalName();
+                } else {
+                    typeName = pMember->getType()->getRelativName();
+                }
+                aBlob.setFieldData(
+                    index++, pMember->getDocumentation(), "", flags,
+                    OStringToOUString(
+                        pMember->getLocalName(), RTL_TEXTENCODING_UTF8),
+                    OStringToOUString(typeName, RTL_TEXTENCODING_UTF8),
+                    RTConstValue());
+            }
+            ++iter;
+        }
+    }
+
+    sal_uInt16 index = 0;
+    for (auto const& elem : m_typeParameters)
+    {
+        aBlob.setReferenceData(
+            index++, "", RTReferenceType::TYPE_PARAMETER, RTFieldAccess::INVALID,
+            OStringToOUString(
+                elem->getLocalName(), RTL_TEXTENCODING_UTF8));
+    }
+
+    sal_uInt32 aBlobSize;
+    void const * pBlob = aBlob.getBlob(&aBlobSize);
+
+    if (localKey.setValue("", RegValueType::BINARY,
+                            const_cast<RegValue>(pBlob), aBlobSize) != RegError::NO_ERROR)
+    {
+        fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
+        return false;
+    }
+
+    return true;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/aststructinstance.cxx b/idlc/source/aststructinstance.cxx
new file mode 100644
index 000000000..878745793
--- /dev/null
+++ b/idlc/source/aststructinstance.cxx
@@ -0,0 +1,63 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+
+#include <aststructinstance.hxx>
+
+#include <asttype.hxx>
+#include <idlctypes.hxx>
+
+#include <rtl/strbuf.hxx>
+#include <rtl/string.hxx>
+
+namespace {
+
+OString createName(
+    AstType const * typeTemplate, DeclList const * typeArguments)
+{
+    OStringBuffer buf(64);
+    buf.append(typeTemplate->getScopedName());
+    if (typeArguments != nullptr) {
+        buf.append('<');
+        for (DeclList::const_iterator i(typeArguments->begin());
+             i != typeArguments->end(); ++i)
+        {
+            if (i != typeArguments->begin()) {
+                buf.append(',');
+            }
+            if (*i != nullptr) {
+                buf.append((*i)->getScopedName());
+            }
+        }
+        buf.append('>');
+    }
+    return buf.makeStringAndClear();
+}
+
+}
+
+AstStructInstance::AstStructInstance(
+    AstType const * typeTemplate, DeclList const * typeArguments,
+    AstScope * scope):
+    AstType(
+        NT_instantiated_struct, createName(typeTemplate, typeArguments), scope),
+    m_typeTemplate(typeTemplate), m_typeArguments(*typeArguments)
+{}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/attributeexceptions.hxx b/idlc/source/attributeexceptions.hxx
new file mode 100644
index 000000000..82ce1cf19
--- /dev/null
+++ b/idlc/source/attributeexceptions.hxx
@@ -0,0 +1,38 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#ifndef INCLUDED_IDLC_SOURCE_ATTRIBUTEEXCEPTIONS_HXX
+#define INCLUDED_IDLC_SOURCE_ATTRIBUTEEXCEPTIONS_HXX
+
+#include <rtl/ustring.hxx>
+
+struct AttributeExceptions
+{
+    struct Part
+    {
+        OUString const* documentation;
+        DeclList const* exceptions;
+    };
+    Part get;
+    Part set;
+};
+
+#endif
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/errorhandler.cxx b/idlc/source/errorhandler.cxx
new file mode 100644
index 000000000..aa2de56bc
--- /dev/null
+++ b/idlc/source/errorhandler.cxx
@@ -0,0 +1,583 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <errorhandler.hxx>
+#include <astinterface.hxx>
+
+static const char* errorCodeToMessage(ErrorCode eCode)
+{
+    switch (eCode)
+    {
+    case ErrorCode::SyntaxError:
+        return "";
+    case ErrorCode::RedefScope:
+        return "illegal redefinition in scope ";
+    case ErrorCode::CoercionFailure:
+        return "coercion failure ";
+    case ErrorCode::ScopeConflict:
+        return "definition scope is different than fwd declare scope, ";
+    case ErrorCode::IllegalAdd:
+        return "illegal add operation, ";
+    case ErrorCode::IllegalRaises:
+        return "non-exception type in raises(..) clause, ";
+    case ErrorCode::CantInherit:
+        return "cannot inherit ";
+    case ErrorCode::IdentNotFound:
+        return "error in lookup of symbol: ";
+    case ErrorCode::CannotInheritFromForward:
+        return "";
+    case ErrorCode::ExpectedConstant:
+        return "constant expected: ";
+    case ErrorCode::Eval:
+        return "expression evaluation error: ";
+    case ErrorCode::ForwardDeclLookup:
+        return "";
+    case ErrorCode::RecursiveType:
+        return "illegal recursive use of type: ";
+    case ErrorCode::NotAType:
+        return "specified symbol is not a type: ";
+    case ErrorCode::InterfaceMemberLookup:
+        return "error in lookup of symbol, expected interface is not defined and no forward exists: ";
+    case ErrorCode::ServiceMemberLookup:
+        return "error in lookup of symbol, expected service is not defined: ";
+    case ErrorCode::DefinedAttributeFlag:
+        return "flag is already set: ";
+    case ErrorCode::WrongAttributeKeyword:
+        return "keyword not allowed: ";
+    case ErrorCode::MissingAttributeKeyword:
+        return "missing keyword: ";
+    case ErrorCode::BadAttributeFlags:
+        return
+            "the 'attribute' flag is mandatory, and only the 'bound' and"
+            " 'readonly' optional flags are accepted: ";
+    case ErrorCode::ExpectedOptional:
+        return "only the 'optional' flag is accepted: ";
+    case ErrorCode::MixedInheritance:
+        return "interface inheritance declarations cannot appear in both an"
+            " interface's header and its body";
+    case ErrorCode::DoubleInheritance:
+        return
+            "interface is (directly or indirectly) inherited more than once: ";
+    case ErrorCode::DoubleMember:
+        return
+            "member is (directly or indirectly) declared more than once: ";
+    case ErrorCode::ConstructorParameterNotIn:
+        return
+            "a service constructor parameter may not be an out or inout"
+            " parameter";
+    case ErrorCode::ConstructorRestParameterNotFirst:
+        return
+            "no parameters may precede a rest parameter in a service"
+            " constructor";
+    case ErrorCode::RestParameterNotLast:
+        return "no parameters may follow a rest parameter";
+    case ErrorCode::RestParameterNotAny:
+        return "a rest parameter must be of type any";
+    case ErrorCode::MethodHasRestParameter:
+        return "a rest parameter may not be used on an interface method";
+    case ErrorCode::ReadOnlyAttributeSetExceptions:
+        return "a readonly attribute may not have a setter raises clause";
+    case ErrorCode::UnsignedTypeArgument:
+        return "an unsigned type cannot be used as a type argument";
+    case ErrorCode::WrongNumberOfTypeArguments:
+        return
+            "the number of given type arguments does not match the expected"
+            " number of type parameters";
+    case ErrorCode::InstantiatedStructTypeTypedef:
+        return
+            "an instantiated polymorphic struct type cannot be used in a"
+            " typedef";
+    case ErrorCode::IdenticalTypeParameters:
+        return "two type parameters have the same name";
+    case ErrorCode::StructTypeTemplateWithBase:
+        return "a polymorphic struct type template may not have a base type";
+    case ErrorCode::PublishedForward:
+        return
+            "a published forward declaration of an interface type cannot be"
+            " followed by an unpublished declaration of that type";
+    case ErrorCode::PublishedusesUnpublished:
+        return
+            "an unpublished entity cannot be used in the declaration of a"
+            " published entity: ";
+    case ErrorCode::SimilarConstructors:
+        return "two constructors have identical lists of parameter types";
+    }
+    return "unknown error";
+}
+
+static const char* warningCodeToMessage(WarningCode wCode)
+{
+    switch (wCode)
+    {
+    case WarningCode::WrongNamingConvention:
+        return "type or identifier doesn't fulfill the UNO naming convention: ";
+    }
+    return "unknown warning";
+}
+
+static const char* parseStateToMessage(ParseState state)
+{
+    switch (state)
+    {
+    case PS_NoState:
+        return "Statement can not be parsed";
+    case PS_TypeDeclSeen:
+        return "Malformed type declaration";
+    case PS_ConstantDeclSeen:
+        return "Malformed const declaration";
+    case PS_ExceptionDeclSeen:
+        return "Malformed exception declaration";
+    case PS_InterfaceDeclSeen:
+        return "Malformed interface declaration";
+    case PS_ServiceDeclSeen:
+        return "Malformed service declaration";
+    case PS_ModuleDeclSeen:
+        return "Malformed module declaration";
+    case PS_AttributeDeclSeen:
+        return "Malformed attribute declaration";
+    case PS_PropertyDeclSeen:
+        return "Malformed property declaration";
+    case PS_OperationDeclSeen:
+        return "Malformed operation declaration";
+    case PS_InterfaceInheritanceDeclSeen:
+        return "Malformed interface inheritance declaration";
+    case PS_ConstantsDeclSeen:
+        return "Malformed constants declaration";
+    case PS_ServiceSeen:
+        return "Missing service identifier following SERVICE keyword";
+    case PS_ServiceIDSeen:
+        return "Missing '{' or illegal syntax following service identifier";
+    case PS_ServiceSqSeen:
+        return "Illegal syntax following service '{' opener";
+    case PS_ServiceBodySeen:
+        return "Illegal syntax following service '}' closer";
+    case PS_ServiceMemberSeen:
+        return "Illegal syntax following service member declaration";
+    case PS_ServiceIFHeadSeen:
+        return "Illegal syntax following header of an interface member";
+    case PS_ServiceSHeadSeen:
+        return "Illegal syntax following header of a service member";
+    case PS_ModuleSeen:
+        return "Missing module identifier following MODULE keyword";
+    case PS_ModuleIDSeen:
+        return "Missing '{' or illegal syntax following module identifier";
+    case PS_ModuleSqSeen:
+        return "Illegal syntax following module '{' opener";
+    case PS_ModuleQsSeen:
+        return "Illegal syntax following module '}' closer";
+    case PS_ModuleBodySeen:
+        return "Illegal syntax following module export(s)";
+    case PS_ConstantsSeen:
+        return "Missing constants identifier following CONSTANTS keyword";
+    case PS_ConstantsIDSeen:
+        return "Missing '{' or illegal syntax following constants identifier";
+    case PS_ConstantsSqSeen:
+        return "Illegal syntax following module '{' opener";
+    case PS_ConstantsQsSeen:
+        return "Illegal syntax following module '}' closer";
+    case PS_ConstantsBodySeen:
+        return "Illegal syntax following constants export(s)";
+    case PS_InterfaceSeen:
+        return "Missing interface identifier following INTERFACE keyword";
+    case PS_InterfaceIDSeen:
+        return "Illegal syntax following interface identifier";
+    case PS_InterfaceHeadSeen:
+        return "Illegal syntax following interface head";
+    case PS_InheritSpecSeen:
+        return "Missing '{' or illegal syntax following inheritance spec";
+    case PS_ForwardDeclSeen:
+        return "Missing ';' following forward interface declaration";
+    case PS_InterfaceSqSeen:
+        return "Illegal syntax following interface '{' opener";
+    case PS_InterfaceQsSeen:
+        return "Illegal syntax following interface '}' closer";
+    case PS_InterfaceBodySeen:
+        return "Illegal syntax following interface export(s)";
+    case PS_InheritColonSeen:
+        return "Illegal syntax following ':' starting inheritance list";
+    case PS_SNListCommaSeen:
+        return "Found illegal scoped name in scoped name list";
+    case PS_ScopedNameSeen:
+        return "Missing ',' following scoped name in scoped name list";
+    case PS_SN_IDSeen:
+        return "Illegal component in scoped name";
+    case PS_ScopeDelimSeen:
+        return "Illegal component in scoped name following '::'";
+    case PS_ConstSeen:
+        return "Missing type or illegal syntax following CONST keyword";
+    case PS_ConstTypeSeen:
+        return "Missing identifier or illegal syntax following const type";
+    case PS_ConstIDSeen:
+        return "Missing '=' or illegal syntax after const identifier";
+    case PS_ConstAssignSeen:
+        return "Missing value expr or illegal syntax following '='";
+    case PS_ConstExprSeen:
+        return "Missing ';' or illegal syntax following value expr in const";
+    case PS_TypedefSeen:
+        return "Missing type or illegal syntax following TYPEDEF keyword";
+    case PS_TypeSpecSeen:
+        return "Missing declarators or illegal syntax following type spec";
+    case PS_DeclaratorsSeen:
+        return "Illegal syntax following declarators in TYPEDEF declaration";
+    case PS_StructSeen:
+        return "Missing struct identifier following STRUCT keyword";
+    case PS_StructHeaderSeen:
+        return "Missing '{' or illegal syntax following struct inheritance spec";
+    case PS_StructIDSeen:
+        return "Missing '{' or illegal syntax following struct identifier";
+    case PS_StructSqSeen:
+        return "Illegal syntax following struct '{' opener";
+    case PS_StructQsSeen:
+        return "Illegal syntax following struct '}' closer";
+    case PS_StructBodySeen:
+        return "Illegal syntax following struct member(s)";
+    case PS_MemberTypeSeen:
+        return "Illegal syntax or missing identifier following member type";
+    case PS_MemberDeclsSeen:
+        return "Illegal syntax following member declarator(s)";
+    case PS_MemberDeclsCompleted:
+        return "Missing ',' between member decls of same type(?)";
+    case PS_EnumSeen:
+        return "Illegal syntax or missing identifier following ENUM keyword";
+    case PS_EnumIDSeen:
+        return "Illegal syntax or missing '{' following enum identifier";
+    case PS_EnumSqSeen:
+        return "Illegal syntax following enum '{' opener";
+    case PS_EnumQsSeen:
+        return "Illegal syntax following enum '}' closer";
+    case PS_EnumBodySeen:
+        return "Illegal syntax following enum enumerator(s)";
+    case PS_EnumCommaSeen:
+        return "Illegal syntax or missing identifier following ',' in enum";
+    case PS_SequenceSeen:
+        return "Illegal syntax or missing '<' following SEQUENCE keyword";
+    case PS_SequenceSqSeen:
+        return "Illegal syntax or missing type following '<' in sequence";
+    case PS_SequenceQsSeen:
+        return "Illegal syntax following '>' in sequence";
+    case PS_SequenceTypeSeen:
+        return "Illegal syntax following sequence type declaration";
+    case PS_FlagHeaderSeen:
+        return "Illegal syntax after flags";
+    case PS_AttrSeen:
+        return "Illegal syntax after ATTRIBUTE keyword";
+    case PS_AttrTypeSeen:
+        return "Illegal syntax after type in attribute declaration";
+    case PS_AttrCompleted:
+        return "Illegal syntax after attribute declaration";
+    case PS_ReadOnlySeen:
+        return "Illegal syntax after READONLY keyword";
+    case PS_OptionalSeen:
+        return "Illegal syntax after OPTIONAL keyword";
+    case PS_MayBeVoidSeen:
+        return "Illegal syntax after MAYBEVOID keyword";
+    case PS_BoundSeen:
+        return "Illegal syntax after BOUND keyword";
+    case PS_ConstrainedSeen:
+        return "Illegal syntax after CONSTRAINED keyword";
+    case PS_TransientSeen:
+        return "Illegal syntax after TRANSIENT keyword";
+    case PS_MayBeAmbiguousSeen:
+        return "Illegal syntax after MAYBEAMBIGUOUS keyword";
+    case PS_MayBeDefaultSeen:
+        return "Illegal syntax after MAYBEDEFAULT keyword";
+    case PS_RemoveableSeen:
+        return "Illegal syntax after REMOVABLE keyword";
+    case PS_PropertySeen:
+        return "Illegal syntax after PROPERTY keyword";
+    case PS_PropertyTypeSeen:
+        return "Illegal syntax after type in property declaration";
+    case PS_PropertyCompleted:
+        return "Illegal syntax after property declaration";
+    case PS_ExceptSeen:
+        return "Illegal syntax or missing identifier after EXCEPTION keyword";
+    case PS_ExceptHeaderSeen:
+        return "Missing '{' or illegal syntax following exception inheritance spec";
+    case PS_ExceptIDSeen:
+        return "Illegal syntax or missing '{' after exception identifier";
+    case PS_ExceptSqSeen:
+        return "Illegal syntax after exception '{' opener";
+    case PS_ExceptQsSeen:
+        return "Illegal syntax after exception '}' closer";
+    case PS_ExceptBodySeen:
+        return "Illegal syntax after exception member(s)";
+    case PS_OpTypeSeen:
+        return "Illegal syntax or missing identifier after operation type";
+    case PS_OpIDSeen:
+        return "Illegal syntax or missing '(' after operation identifier";
+    case PS_OpParsCompleted:
+        return "Illegal syntax after operation parameter list";
+    case PS_OpSqSeen:
+        return "Illegal syntax after operation parameter list '(' opener";
+    case PS_OpQsSeen:
+        return "Illegal syntax after operation parameter list ')' closer";
+    case PS_OpParCommaSeen:
+        return "Illegal syntax or missing direction in parameter declaration";
+    case PS_OpParDirSeen:
+        return "Illegal syntax or missing type in parameter declaration";
+    case PS_OpParTypeSeen:
+        return "Illegal syntax or missing declarator in parameter declaration";
+    case PS_OpParDeclSeen:
+        return "Illegal syntax following parameter declarator";
+    case PS_RaiseSeen:
+        return "Illegal syntax or missing '(' after RAISES keyword";
+    case PS_RaiseSqSeen:
+        return "Illegal syntax after RAISES '(' opener";
+    case PS_RaiseQsSeen:
+        return "Illegal syntax after RAISES ')' closer";
+    case PS_DeclsCommaSeen:
+        return "Illegal syntax after ',' in declarators list";
+    case PS_DeclsDeclSeen:
+        return "Illegal syntax after declarator in declarators list";
+    default:
+        return "no wider described syntax error";
+    }
+}
+
+static OString flagToString(sal_uInt32 flag)
+{
+    OString flagStr;
+    if ( (flag & AF_READONLY) == AF_READONLY )
+        flagStr += "'readonly'";
+    if ( (flag & AF_OPTIONAL) == AF_OPTIONAL )
+        flagStr += "'optional'";
+    if ( (flag & AF_MAYBEVOID) == AF_MAYBEVOID )
+        flagStr += "'maybevoid'";
+    if ( (flag & AF_BOUND) == AF_BOUND )
+        flagStr += "'bound'";
+    if ( (flag & AF_CONSTRAINED) == AF_CONSTRAINED )
+        flagStr += "'constrained'";
+    if ( (flag & AF_TRANSIENT) == AF_TRANSIENT )
+            flagStr += "'transient'";
+    if ( (flag & AF_MAYBEAMBIGUOUS) == AF_MAYBEAMBIGUOUS )
+        flagStr += "'maybeambiguous'";
+    if ( (flag & AF_MAYBEDEFAULT) == AF_MAYBEDEFAULT )
+        flagStr += "'maybedefault'";
+    if ( (flag & AF_REMOVABLE) == AF_REMOVABLE )
+        flagStr += "'removable'";
+    if ( (flag & AF_ATTRIBUTE) == AF_ATTRIBUTE )
+        flagStr += "'attribute'";
+    if ( (flag & AF_PROPERTY) == AF_PROPERTY )
+        flagStr += "'property'";
+    if ( flagStr.isEmpty() )
+        flagStr += "'unknown'";
+
+    return flagStr;
+}
+
+static void errorHeader(ErrorCode eCode, sal_Int32 lineNumber, sal_uInt32 start, sal_uInt32 end)
+{
+    OString file;
+    if ( idlc()->getFileName() == idlc()->getRealFileName() )
+        file = idlc()->getMainFileName();
+    else
+        file = idlc()->getFileName();
+
+    fprintf(stderr, "%s:%" SAL_PRIdINT64 " [%" SAL_PRIdINT64 ":%" SAL_PRIdINT64 "] : %s", file.getStr(),
+            sal_Int64(lineNumber),
+            sal_Int64(start),
+            sal_Int64(end),
+            errorCodeToMessage(eCode));
+}
+
+static void errorHeader(ErrorCode eCode, sal_uInt32 lineNumber)
+{
+    errorHeader(eCode, lineNumber,
+            idlc()->getOffsetStart(), idlc()->getOffsetEnd());
+}
+
+static void errorHeader(ErrorCode eCode)
+{
+    errorHeader(eCode, idlc()->getLineNumber(),
+            idlc()->getOffsetStart(), idlc()->getOffsetEnd());
+}
+
+static void warningHeader(WarningCode wCode)
+{
+    OString file;
+    if ( idlc()->getFileName() == idlc()->getRealFileName() )
+        file = idlc()->getMainFileName();
+    else
+        file = idlc()->getFileName();
+
+    fprintf(stderr, "%s(%" SAL_PRIdINT64 ") : WARNING, %s", file.getStr(),
+            sal_Int64(idlc()->getLineNumber()),
+            warningCodeToMessage(wCode));
+}
+
+void ErrorHandler::error0(ErrorCode e)
+{
+    errorHeader(e);
+    fprintf(stderr, "\n");
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::error1(ErrorCode e, AstDeclaration const * d)
+{
+    errorHeader(e);
+    fprintf(stderr, "'%s'\n", d->getScopedName().getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::error2(
+    ErrorCode e, AstDeclaration const * d1, AstDeclaration const * d2)
+{
+    errorHeader(e);
+    fprintf(stderr, "'%s', '%s'\n", d1->getScopedName().getStr(),
+            d2->getScopedName().getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::error3(ErrorCode e, AstDeclaration const * d1, AstDeclaration const * d2, AstDeclaration const * d3)
+{
+    errorHeader(e);
+    fprintf(stderr, "'%s', '%s', '%s'\n", d1->getScopedName().getStr(),
+            d2->getScopedName().getStr(), d3->getScopedName().getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::warning0(WarningCode w, const char* warningmsg)
+{
+    if ( idlc()->getOptions()->isValid("-w") || idlc()->getOptions()->isValid("-we") ) {
+        warningHeader(w);
+        fprintf(stderr, "%s\n", warningmsg);
+    }
+
+    if ( idlc()->getOptions()->isValid("-we") )
+        idlc()->incErrorCount();
+    else
+        idlc()->incWarningCount();
+}
+
+void ErrorHandler::syntaxError(ParseState ps, sal_Int32 lineNumber, const char* errmsg)
+{
+    errorHeader(ErrorCode::SyntaxError, lineNumber);
+    fprintf(stderr, "%s: %s\n", parseStateToMessage(ps), errmsg);
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::coercionError(AstExpression *pExpr, ExprType et)
+{
+    errorHeader(ErrorCode::CoercionFailure);
+    fprintf(stderr, "'%s' to '%s'\n", pExpr->toString().getStr(),
+            exprTypeToString(et));
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::lookupError(const OString& n)
+{
+    errorHeader(ErrorCode::IdentNotFound);
+    fprintf(stderr, "'%s'\n", n.getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::lookupError(ErrorCode e, const OString& n, AstDeclaration const * pScope)
+{
+    errorHeader(e);
+    fprintf(stderr, "'%s' in '%s'\n", n.getStr(), pScope->getFullName().getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::flagError(ErrorCode e, sal_uInt32 flag)
+{
+    errorHeader(e);
+    fprintf(stderr, "'%s'\n", flagToString(flag).getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::noTypeError(AstDeclaration const * pDecl)
+{
+    errorHeader(ErrorCode::NotAType);
+    fprintf(stderr, "'%s'\n", pDecl->getScopedName().getStr());
+    idlc()->incErrorCount();
+}
+
+namespace {
+
+char const * nodeTypeName(NodeType nodeType) {
+    switch (nodeType) {
+    case NT_interface:
+        return "interface";
+
+    case NT_exception:
+        return "exception";
+
+    case NT_struct:
+        return "struct";
+
+    default:
+        return "";
+    }
+}
+
+}
+
+void ErrorHandler::inheritanceError(NodeType nodeType, const OString* name, AstDeclaration const * pDecl)
+{
+    if ( nodeType == NT_interface &&
+         (pDecl->getNodeType() == NT_interface) &&
+         !(static_cast<AstInterface const *>(pDecl)->isDefined()) )
+    {
+        errorHeader(ErrorCode::CannotInheritFromForward);
+        fprintf(stderr, "interface '%s' cannot inherit from forward declared interface '%s'\n",
+                name->getStr(), pDecl->getScopedName().getStr());
+    } else
+    {
+        errorHeader(ErrorCode::CantInherit);
+        fprintf(stderr, "%s '%s' from '%s'\n",
+                nodeTypeName(nodeType), name->getStr(),
+                pDecl->getScopedName().getStr());
+    }
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::forwardLookupError(const AstDeclaration* pForward,
+                                      const OString& name)
+{
+    errorHeader(ErrorCode::ForwardDeclLookup);
+    fprintf(stderr, "trying to look up '%s' in undefined forward declared interface '%s'\n",
+            pForward->getScopedName().getStr(), name.getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::constantExpected(AstDeclaration const * pDecl,
+                                    const OString& name)
+{
+    errorHeader(ErrorCode::ExpectedConstant);
+    fprintf(stderr, "'%s' is bound to '%s'\n", name.getStr(), pDecl->getScopedName().getStr());
+    idlc()->incErrorCount();
+}
+
+void ErrorHandler::evalError(AstExpression* pExpr)
+{
+    errorHeader(ErrorCode::Eval);
+    fprintf(stderr, "'%s'\n", pExpr->toString().getStr());
+    idlc()->incErrorCount();
+}
+
+bool ErrorHandler::checkPublished(AstDeclaration const * decl, bool bOptional) {
+    if (idlc()->isPublished() && !decl->isPublished() && !bOptional) {
+        error1(ErrorCode::PublishedusesUnpublished, decl);
+        return false;
+    } else {
+        return true;
+    }
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/fehelper.cxx b/idlc/source/fehelper.cxx
new file mode 100644
index 000000000..607f5a145
--- /dev/null
+++ b/idlc/source/fehelper.cxx
@@ -0,0 +1,102 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <fehelper.hxx>
+#include <errorhandler.hxx>
+#include <idlc.hxx>
+
+FeDeclarator::FeDeclarator(const OString& name)
+    : m_name(name)
+{
+}
+
+FeDeclarator::~FeDeclarator()
+{
+}
+
+bool FeDeclarator::checkType(AstDeclaration const * type) const
+{
+    OString tmp(m_name);
+    sal_Int32 count = m_name.lastIndexOf( ':' );
+    if( count != -1 )
+        tmp = m_name.copy( count+1 );
+
+    return tmp != type->getLocalName();
+}
+
+AstType const * FeDeclarator::compose(AstDeclaration const * pDecl)
+{
+    if ( pDecl == nullptr )
+    {
+        return nullptr;
+    }
+    if ( !pDecl->isType() )
+    {
+        ErrorHandler::noTypeError(pDecl);
+        return nullptr;
+    }
+    return static_cast<const AstType*>(pDecl);
+}
+
+FeInheritanceHeader::FeInheritanceHeader(
+    NodeType nodeType, OString* pName, OString const * pInherits,
+    std::vector< OString > const * typeParameters)
+    : m_nodeType(nodeType)
+    , m_pName(pName)
+    , m_pInherits(nullptr)
+{
+    if (typeParameters != nullptr) {
+        m_typeParameters = *typeParameters;
+    }
+    initializeInherits(pInherits);
+}
+
+void FeInheritanceHeader::initializeInherits(OString const * pInherits)
+{
+    if ( !pInherits )
+        return;
+
+    AstScope* pScope = idlc()->scopes()->topNonNull();
+    AstDeclaration* pDecl = pScope->lookupByName(*pInherits);
+    if ( pDecl )
+    {
+        AstDeclaration const * resolved = resolveTypedefs(pDecl);
+        if ( resolved->getNodeType() == getNodeType()
+             && (resolved->getNodeType() != NT_interface
+                 || static_cast< AstInterface const * >(
+                     resolved)->isDefined()) )
+        {
+            if ( ErrorHandler::checkPublished( pDecl ) )
+            {
+                m_pInherits = pDecl;
+            }
+        }
+        else
+        {
+            ErrorHandler::inheritanceError(
+                getNodeType(), getName(), pDecl);
+        }
+    }
+    else
+    {
+        ErrorHandler::lookupError(*pInherits);
+    }
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/idlc.cxx b/idlc/source/idlc.cxx
new file mode 100644
index 000000000..ca47b34fe
--- /dev/null
+++ b/idlc/source/idlc.cxx
@@ -0,0 +1,400 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <idlc.hxx>
+#include <errorhandler.hxx>
+#include <astscope.hxx>
+#include <astmodule.hxx>
+#include <astservice.hxx>
+#include <astconstants.hxx>
+#include <astexception.hxx>
+#include <astenum.hxx>
+#include <astinterface.hxx>
+#include <astoperation.hxx>
+#include <astbasetype.hxx>
+#include <astdeclaration.hxx>
+#include <astparameter.hxx>
+#include <astsequence.hxx>
+#include <asttype.hxx>
+#include <asttypedef.hxx>
+
+#include <osl/diagnose.h>
+#include <osl/file.hxx>
+#include <osl/thread.h>
+
+#include <algorithm>
+
+AstDeclaration* scopeAsDecl(AstScope* pScope)
+{
+    if (pScope == nullptr) return nullptr;
+
+    switch( pScope->getScopeNodeType() )
+    {
+        case NT_service:
+        case NT_singleton:
+            return static_cast<AstService*>(pScope);
+        case NT_module:
+        case NT_root:
+            return static_cast<AstModule*>(pScope);
+        case NT_constants:
+            return static_cast<AstConstants*>(pScope);
+        case NT_interface:
+            return static_cast<AstInterface*>(pScope);
+        case NT_operation:
+            return static_cast<AstOperation*>(pScope);
+        case NT_exception:
+            return static_cast<AstException*>(pScope);
+        case NT_struct:
+            return static_cast<AstStruct*>(pScope);
+        case NT_enum:
+            return static_cast<AstEnum*>(pScope);
+        default:
+            return nullptr;
+    }
+}
+
+AstScope* declAsScope(AstDeclaration* pDecl)
+{
+    if (pDecl == nullptr) return nullptr;
+
+    switch(pDecl->getNodeType())
+    {
+        case NT_interface:
+            return static_cast<AstInterface*>(pDecl);
+        case NT_service:
+        case NT_singleton:
+            return static_cast<AstService*>(pDecl);
+        case NT_module:
+        case NT_root:
+            return static_cast<AstModule*>(pDecl);
+        case NT_constants:
+            return static_cast<AstConstants*>(pDecl);
+        case NT_exception:
+            return static_cast<AstException*>(pDecl);
+        case NT_struct:
+            return static_cast<AstStruct*>(pDecl);
+        case NT_enum:
+            return static_cast<AstEnum*>(pDecl);
+        case NT_operation:
+            return static_cast<AstOperation*>(pDecl);
+        default:
+            return nullptr;
+   }
+}
+
+static void predefineXInterface(AstModule* pRoot)
+{
+    // define the modules  com::sun::star::uno
+    AstModule* pParentScope = pRoot;
+    AstModule* pModule = new AstModule("com", pParentScope);
+    pModule->setPredefined(true);
+    pParentScope->addDeclaration(pModule);
+    pParentScope = pModule;
+    pModule = new AstModule("sun", pParentScope);
+    pModule->setPredefined(true);
+    pParentScope->addDeclaration(pModule);
+    pParentScope = pModule;
+    pModule = new AstModule("star", pParentScope);
+    pModule->setPredefined(true);
+    pParentScope->addDeclaration(pModule);
+    pParentScope = pModule;
+    pModule = new AstModule("uno", pParentScope);
+    pModule->setPredefined(true);
+    pParentScope->addDeclaration(pModule);
+    pParentScope = pModule;
+
+    // define XInterface
+    AstInterface* pInterface = new AstInterface("XInterface", nullptr, pParentScope);
+    pInterface->setDefined();
+    pInterface->setPredefined(true);
+    pInterface->setPublished();
+    pParentScope->addDeclaration(pInterface);
+
+    // define XInterface::queryInterface
+    AstOperation* pOp = new AstOperation(static_cast<AstType*>(pRoot->lookupPrimitiveType(ET_any)),
+                                         "queryInterface", pInterface);
+    AstParameter* pParam = new AstParameter(DIR_IN, false,
+                                            static_cast<AstType*>(pRoot->lookupPrimitiveType(ET_type)),
+                                            "aType", pOp);
+    pOp->addDeclaration(pParam);
+    pInterface->addMember(pOp);
+
+    // define XInterface::acquire
+    pOp = new AstOperation(static_cast<AstType*>(pRoot->lookupPrimitiveType(ET_void)),
+                           "acquire", pInterface);
+    pInterface->addMember(pOp);
+
+    // define XInterface::release
+    pOp = new AstOperation(static_cast<AstType*>(pRoot->lookupPrimitiveType(ET_void)),
+                           "release", pInterface);
+    pInterface->addMember(pOp);
+}
+
+static void initializePredefinedTypes(AstModule* pRoot)
+{
+    if ( !pRoot )
+         return;
+
+    AstBaseType* pPredefined = new AstBaseType(ET_long, "long", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_ulong, "unsigned long", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_hyper, "hyper", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_uhyper, "unsigned hyper", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_short, "short", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_ushort, "unsigned short", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_float, "float", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_double, "double", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_char, "char", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_byte, "byte", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_any, "any", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_string, "string", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_type, "type", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_boolean, "boolean", pRoot);
+    pRoot->addDeclaration(pPredefined);
+
+    pPredefined = new AstBaseType(ET_void, "void", pRoot);
+    pRoot->addDeclaration(pPredefined);
+}
+
+Idlc::Idlc(Options* pOptions)
+    : m_pOptions(pOptions)
+    , m_bIsDocValid(false)
+    , m_bIsInMainfile(true)
+    , m_published(false)
+    , m_errorCount(0)
+    , m_warningCount(0)
+    , m_lineNumber(0)
+    , m_offsetStart(0)
+    , m_offsetEnd(0)
+    , m_parseState(PS_NoState)
+{
+    m_pScopes.reset( new AstStack() );
+    // init root object after construction
+    m_pRoot = nullptr;
+    m_bGenerateDoc = m_pOptions->isValid("-C");
+}
+
+Idlc::~Idlc()
+{
+}
+
+void Idlc::init()
+{
+    m_pRoot.reset(new AstModule(NT_root, OString(), nullptr));
+
+    // push the root node on the stack
+    m_pScopes->push(m_pRoot.get());
+    initializePredefinedTypes(m_pRoot.get());
+    predefineXInterface(m_pRoot.get());
+}
+
+void Idlc::reset()
+{
+    m_bIsDocValid = false;
+    m_bIsInMainfile = true;
+    m_published = false;
+
+    m_errorCount = 0;
+    m_warningCount = 0;
+    m_lineNumber = 0;
+    m_parseState = PS_NoState;
+
+    m_fileName.clear();
+    m_mainFileName.clear();
+    m_realFileName.clear();
+    m_documentation.clear();
+
+    m_pScopes->clear();
+    m_pRoot.reset( new AstModule(NT_root, OString(), nullptr) );
+
+    // push the root node on the stack
+    m_pScopes->push(m_pRoot.get());
+    initializePredefinedTypes(m_pRoot.get());
+
+    m_includes.clear();
+}
+
+OUString Idlc::processDocumentation()
+{
+    OUString doc;
+    if (m_bIsDocValid) {
+        OString raw(getDocumentation());
+        if (m_bGenerateDoc) {
+            doc = OStringToOUString(raw, RTL_TEXTENCODING_UTF8);
+        } else if (raw.indexOf("@deprecated") != -1) {
+            //TODO: this check is somewhat crude
+            doc = "@deprecated";
+        }
+    }
+    return doc;
+}
+
+static void lcl_writeString(::osl::File & rFile, ::osl::FileBase::RC & o_rRC,
+        OString const& rString)
+{
+    if (::osl::FileBase::E_None == o_rRC) {
+        sal_uInt64 nWritten(0);
+        o_rRC = rFile.write(rString.getStr(), rString.getLength(), nWritten);
+        if (static_cast<sal_uInt64>(rString.getLength()) != nWritten) {
+            o_rRC = ::osl::FileBase::E_INVAL; //?
+        }
+    }
+}
+
+namespace {
+
+struct WriteDep
+{
+    ::osl::File& m_rFile;
+    ::osl::FileBase::RC & m_rRC;
+    explicit WriteDep(::osl::File & rFile, ::osl::FileBase::RC & rRC)
+        : m_rFile(rFile), m_rRC(rRC) { }
+    void operator() (OString const& rEntry)
+    {
+        lcl_writeString(m_rFile, m_rRC, " \\\n ");
+        lcl_writeString(m_rFile, m_rRC, rEntry);
+    }
+};
+
+// write a dummy target for one included file, so the incremental build does
+// not break with "No rule to make target" if the included file is removed
+struct WriteDummy
+{
+    ::osl::File& m_rFile;
+    ::osl::FileBase::RC & m_rRC;
+    explicit WriteDummy(::osl::File & rFile, ::osl::FileBase::RC & rRC)
+        : m_rFile(rFile), m_rRC(rRC) { }
+    void operator() (OString const& rEntry)
+    {
+        lcl_writeString(m_rFile, m_rRC, rEntry);
+        lcl_writeString(m_rFile, m_rRC, ":\n\n");
+    }
+};
+
+}
+
+bool
+Idlc::dumpDeps(std::string_view rDepFile, OString const& rTarget)
+{
+    ::osl::File depFile(
+            OStringToOUString(rDepFile, osl_getThreadTextEncoding()));
+    ::osl::FileBase::RC rc =
+        depFile.open(osl_File_OpenFlag_Write | osl_File_OpenFlag_Create);
+    if (::osl::FileBase::E_None != rc) {
+        return false;
+    }
+    lcl_writeString(depFile, rc, rTarget);
+    if (::osl::FileBase::E_None != rc) {
+        return false;
+    }
+    lcl_writeString(depFile, rc, " :");
+    if (::osl::FileBase::E_None != rc) {
+        return false;
+    }
+    m_includes.erase(getRealFileName()); // eeek, that is a temp file...
+    ::std::for_each(m_includes.begin(), m_includes.end(),
+            WriteDep(depFile, rc));
+    lcl_writeString(depFile, rc, "\n\n");
+    ::std::for_each(m_includes.begin(), m_includes.end(),
+            WriteDummy(depFile, rc));
+    if (::osl::FileBase::E_None != rc) {
+        return false;
+    }
+    rc = depFile.close();
+    return ::osl::FileBase::E_None == rc;
+}
+
+static Idlc* pStaticIdlc = nullptr;
+
+Idlc* idlc()
+{
+    return pStaticIdlc;
+}
+
+Idlc* setIdlc(Options* pOptions)
+{
+    delete pStaticIdlc;
+    pStaticIdlc = new Idlc(pOptions);
+    pStaticIdlc->init();
+    return pStaticIdlc;
+}
+
+AstDeclaration const * resolveTypedefs(AstDeclaration const * type) {
+    if (type != nullptr) {
+        while (type->getNodeType() == NT_typedef) {
+            type = static_cast< AstTypeDef const * >(type)->getBaseType();
+        }
+    }
+    return type;
+}
+
+AstDeclaration const * deconstructAndResolveTypedefs(
+    AstDeclaration const * type, sal_Int32 * rank)
+{
+    *rank = 0;
+    for (;;) {
+        if (type == nullptr) {
+            return nullptr;
+        }
+        switch (type->getNodeType()) {
+        case NT_typedef:
+            type = static_cast< AstTypeDef const * >(type)->getBaseType();
+            break;
+        case NT_sequence:
+            ++(*rank);
+            type = static_cast< AstSequence const * >(type)->getMemberType();
+            break;
+        default:
+            return type;
+        }
+    }
+}
+
+AstInterface const * resolveInterfaceTypedefs(AstType const * type) {
+    AstDeclaration const * decl = resolveTypedefs(type);
+    OSL_ASSERT(decl->getNodeType() == NT_interface);
+    return static_cast< AstInterface const * >(decl);
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/idlccompile.cxx b/idlc/source/idlccompile.cxx
new file mode 100644
index 000000000..5aec20912
--- /dev/null
+++ b/idlc/source/idlccompile.cxx
@@ -0,0 +1,394 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <idlc.hxx>
+#include <rtl/alloc.h>
+#include <rtl/ustring.hxx>
+#include <rtl/strbuf.hxx>
+#include <o3tl/safeint.hxx>
+#include <o3tl/string_view.hxx>
+#include <osl/process.h>
+#include <osl/diagnose.h>
+#include <osl/thread.h>
+#include <osl/file.hxx>
+
+#if defined(_WIN32)
+#include <io.h>
+#endif
+
+#ifdef  SAL_UNX
+#include <errno.h>
+#include <unistd.h>
+#include <sys/wait.h>
+#endif
+
+#include <string.h>
+
+using namespace ::osl;
+
+extern int yyparse();
+extern FILE* yyin;
+extern int yydebug;
+
+static char tmpFilePattern[512];
+
+bool isFileUrl(std::string_view fileName)
+{
+    return o3tl::starts_with(fileName, "file://");
+}
+
+OString convertToAbsoluteSystemPath(const OString& fileName)
+{
+    OUString uSysFileName;
+    OUString uFileName(fileName.getStr(), fileName.getLength(), osl_getThreadTextEncoding());
+    if ( isFileUrl(fileName) )
+    {
+        if (FileBase::getSystemPathFromFileURL(uFileName, uSysFileName)
+            != FileBase::E_None)
+        {
+            OSL_ASSERT(false);
+        }
+    } else
+    {
+        OUString uWorkingDir, uUrlFileName, uTmp;
+        if (osl_getProcessWorkingDir(&uWorkingDir.pData) != osl_Process_E_None)
+        {
+            OSL_ASSERT(false);
+        }
+        if (FileBase::getFileURLFromSystemPath(uFileName, uTmp)
+            != FileBase::E_None)
+        {
+            OSL_ASSERT(false);
+        }
+        if (FileBase::getAbsoluteFileURL(uWorkingDir, uTmp, uUrlFileName)
+            != FileBase::E_None)
+        {
+            OSL_ASSERT(false);
+        }
+        if (FileBase::getSystemPathFromFileURL(uUrlFileName, uSysFileName)
+            != FileBase::E_None)
+        {
+            OSL_ASSERT(false);
+        }
+    }
+
+    return OUStringToOString(uSysFileName, osl_getThreadTextEncoding());
+}
+
+OString convertToFileUrl(const OString& fileName)
+{
+    if ( !isFileUrl(fileName) )
+    {
+        OString tmp = convertToAbsoluteSystemPath(fileName);
+        OUString uFileName(tmp.getStr(), tmp.getLength(), osl_getThreadTextEncoding());
+        OUString uUrlFileName;
+        if (FileBase::getFileURLFromSystemPath(uFileName, uUrlFileName)
+            != FileBase::E_None)
+        {
+            OSL_ASSERT(false);
+        }
+        return OUStringToOString(uUrlFileName, osl_getThreadTextEncoding());
+    }
+
+    return fileName;
+}
+
+static OString makeTempName(const OString& prefix)
+{
+    OUString uTmpPath;
+    OString tmpPath;
+
+    if ( osl_getEnvironment(OUString("TMP").pData, &uTmpPath.pData) != osl_Process_E_None )
+    {
+        if ( osl_getEnvironment(OUString("TEMP").pData, &uTmpPath.pData) != osl_Process_E_None )
+        {
+#if defined(_WIN32)
+            tmpPath = OString("c:\\temp");
+#else
+            tmpPath = OString("/tmp");
+#endif
+        }
+    }
+
+    if ( !uTmpPath.isEmpty() )
+        tmpPath = OUStringToOString(uTmpPath, RTL_TEXTENCODING_UTF8);
+
+#if defined(_WIN32) || defined(SAL_UNX)
+
+    OSL_ASSERT( sizeof(tmpFilePattern) >
+                o3tl::make_unsigned( tmpPath.getLength()
+                           + RTL_CONSTASCII_LENGTH( PATH_SEPARATOR )
+                           + prefix.getLength()
+                           + RTL_CONSTASCII_LENGTH( "XXXXXX") ) );
+
+    tmpFilePattern[ sizeof(tmpFilePattern)-1 ] = '\0';
+    strncpy(tmpFilePattern, tmpPath.getStr(), sizeof(tmpFilePattern)-1);
+    strncat(tmpFilePattern, PATH_SEPARATOR, sizeof(tmpFilePattern)-1-strlen(tmpFilePattern));
+    strncat(tmpFilePattern, prefix.getStr(), sizeof(tmpFilePattern)-1-strlen(tmpFilePattern));
+    strncat(tmpFilePattern, "XXXXXX", sizeof(tmpFilePattern)-1-strlen(tmpFilePattern));
+
+#ifdef SAL_UNX
+    // coverity[secure_temp] - https://communities.coverity.com/thread/3179
+    int nDescriptor = mkstemp(tmpFilePattern);
+    if( -1 == nDescriptor )
+    {
+        fprintf(stderr, "idlc: mkstemp(\"%s\") failed: %s\n", tmpFilePattern, strerror(errno));
+        exit( 1 );
+    }
+    // the file shall later be reopened by stdio functions
+    close( nDescriptor );
+#else
+    (void) mktemp(tmpFilePattern);
+#endif
+#endif
+
+    return tmpFilePattern;
+}
+
+bool copyFile(const OString* source, const OString& target)
+{
+    bool bRet = true;
+
+    FILE* pSource = source == nullptr ? stdin : fopen(source->getStr(), "rb");
+    if ( !pSource )
+        return false;
+
+    FILE* pTarget = fopen(target.getStr(), "wb");
+    if ( !pTarget )
+    {
+        fclose(pSource);
+        return false;
+    }
+
+    size_t const totalSize = 512;
+    char   pBuffer[totalSize + 1];
+
+    while ( !feof(pSource) )
+    {
+        size_t readSize = fread(pBuffer, 1, totalSize, pSource);
+        if ( readSize > 0 && !ferror(pSource) )
+        {
+            if ( (fwrite(pBuffer, 1, readSize, pTarget)) != readSize || ferror(pTarget) )
+            {
+                if (source != nullptr) {
+                    fclose(pSource);
+                }
+                fclose(pTarget);
+                return false;
+            }
+        }
+    }
+
+    if (source != nullptr) {
+        fclose(pSource);
+    }
+    if ( fclose(pTarget) )
+        bRet = false;
+
+    return bRet;
+}
+
+sal_Int32 compileFile(const OString * pathname)
+{
+    // preprocess input file
+    OString tmpFile = makeTempName("idli_");
+    OString preprocFile = makeTempName("idlf_");
+
+    OString fileName;
+    if (pathname == nullptr) {
+        fileName = "stdin";
+    } else {
+        fileName = *pathname;
+    }
+
+    if ( !copyFile(pathname, tmpFile) )
+    {
+          fprintf(stderr, "%s: could not copy %s%s to %s\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                pathname == nullptr ? "" : "file ", fileName.getStr(),
+                tmpFile.getStr());
+          exit(99);
+    }
+
+    idlc()->setFileName(fileName);
+    idlc()->setMainFileName(fileName);
+    idlc()->setRealFileName(tmpFile);
+
+    ::std::vector< OUString> lCppArgs;
+    lCppArgs.emplace_back("-DIDL");
+    lCppArgs.emplace_back("-C");
+#ifdef SYSTEM_UCPP_IS_GCC
+    // -nostdinc Do not search the standard system directories for header files
+    lCppArgs.emplace_back("-nostdinc");
+    // with gcc cpp, even when not explicitly including anything, /usr/include/stdc-predef.h
+    // gets inserted without -nostdinc
+#else
+    // -zI Do not use the standard (compile-time) include path.
+    lCppArgs.emplace_back("-zI");
+#endif
+
+    Options* pOptions = idlc()->getOptions();
+
+    OString filePath;
+    sal_Int32 index = fileName.lastIndexOf(SEPARATOR);
+
+    if ( index > 0)
+    {
+        filePath = fileName.copy(0, index);
+
+        if ( !filePath.isEmpty() )
+        {
+            OString cppArgs = "-I" + filePath;
+            lCppArgs.push_back(OStringToOUString(
+                cppArgs.replace('\\', '/'),
+                RTL_TEXTENCODING_UTF8));
+        }
+    }
+
+    if ( pOptions->isValid("-D") )
+    {
+        OString dOpt = pOptions->getOption("-D");
+        sal_Int32 nIndex = 0;
+        do
+        {
+            std::string_view token = o3tl::getToken(dOpt, 0, ' ', nIndex );
+            if (token.size())
+                lCppArgs.push_back("-D" + OStringToOUString(token, RTL_TEXTENCODING_UTF8));
+        } while( nIndex != -1 );
+    }
+
+    if ( pOptions->isValid("-I") )
+    {
+        OString incOpt = pOptions->getOption("-I");
+        sal_Int32 nIndex = 0;
+        do
+        {
+            std::string_view token = o3tl::getToken(incOpt, 0, ' ', nIndex );
+            if (token.size())
+                lCppArgs.push_back("-I" + OStringToOUString(token, RTL_TEXTENCODING_UTF8));
+        } while( nIndex != -1 );
+    }
+
+    lCppArgs.emplace_back("-o");
+
+    lCppArgs.push_back(OStringToOUString(preprocFile, RTL_TEXTENCODING_UTF8));
+
+    lCppArgs.push_back(OStringToOUString(tmpFile, RTL_TEXTENCODING_UTF8));
+
+    OUString cpp;
+    OUString startDir;
+#ifndef SYSTEM_UCPP
+    if (osl_getExecutableFile(&cpp.pData) != osl_Process_E_None) {
+        OSL_ASSERT(false);
+    }
+
+    sal_Int32 idx= cpp.lastIndexOf("idlc");
+    cpp = cpp.copy(0, idx);
+
+#if defined(_WIN32)
+    cpp += "ucpp.exe";
+#else
+    cpp += "ucpp";
+#endif
+#else // SYSTEM_UCPP
+    cpp = OUString(UCPP);
+#endif
+    oslProcess      hProcess = nullptr;
+    oslProcessError procError = osl_Process_E_None;
+
+    const int nCmdArgs = lCppArgs.size();
+    std::unique_ptr<rtl_uString*[]> pCmdArgs(new rtl_uString*[nCmdArgs]);
+
+    int i = 0;
+    for (auto const& elem : lCppArgs)
+    {
+        pCmdArgs[i++] = elem.pData;
+    }
+
+    procError = osl_executeProcess( cpp.pData, pCmdArgs.get(), nCmdArgs, osl_Process_WAIT,
+                                    nullptr, startDir.pData, nullptr, 0, &hProcess );
+
+    oslProcessInfo hInfo;
+    hInfo.Size = sal_uInt32(sizeof(oslProcessInfo));
+    if (osl_getProcessInfo(hProcess, osl_Process_EXITCODE, &hInfo)
+        != osl_Process_E_None)
+    {
+        OSL_ASSERT(false);
+    }
+
+    if ( procError || (hInfo.Code != 0) )
+    {
+        if ( procError != osl_Process_E_None )
+            fprintf(stderr, "%s: starting preprocessor failed\n", pOptions->getProgramName().getStr());
+        else
+            fprintf(stderr, "%s: preprocessing %s%s failed\n",
+                    pOptions->getProgramName().getStr(),
+                    pathname == nullptr ? "" : "file ", fileName.getStr());
+
+        osl_freeProcessHandle(hProcess);
+        exit(hInfo.Code ? hInfo.Code : 99);
+    }
+    osl_freeProcessHandle(hProcess);
+
+    if (unlink(tmpFile.getStr()) != 0)
+    {
+        fprintf(stderr, "%s: Could not remove cpp input file %s\n",
+                 pOptions->getProgramName().getStr(), tmpFile.getStr());
+        exit(99);
+    }
+
+    if ( pOptions->isValid("-E") )
+    {
+        if (unlink(preprocFile.getStr()) != 0)
+        {
+            fprintf(stderr, "%s: Could not remove parser input file %s\n",
+                       pOptions->getProgramName().getStr(), preprocFile.getStr());
+            exit(99);
+        }
+        exit(0);
+    }
+
+    // parse file
+    yyin = fopen(preprocFile.getStr(), "r");
+    if (yyin == nullptr)
+    {
+        fprintf(stderr, "%s: Could not open cpp output file %s\n",
+                   pOptions->getProgramName().getStr(), preprocFile.getStr());
+        exit(99);
+    }
+
+    //yydebug = 0 no trace information
+    //yydebug = 1 parser produce trace information
+    yydebug = 0;
+
+    yyparse();
+    sal_Int32 nErrors = idlc()->getErrorCount();
+
+    fclose(yyin);
+    if (unlink(preprocFile.getStr()) != 0)
+    {
+        fprintf(stderr, "%s: Could not remove parser input file %s\n",
+                pOptions->getProgramName().getStr(), preprocFile.getStr());
+        exit(99);
+    }
+
+    return nErrors;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/idlcmain.cxx b/idlc/source/idlcmain.cxx
new file mode 100644
index 000000000..742dc4e81
--- /dev/null
+++ b/idlc/source/idlcmain.cxx
@@ -0,0 +1,164 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+
+#include <idlc.hxx>
+#include <sal/main.h>
+
+#include <string.h>
+
+SAL_IMPLEMENT_MAIN_WITH_ARGS(argc, argv)
+{
+    std::vector< std::string > args;
+    for (int i = 1; i < argc; i++)
+    {
+        if (!Options::checkArgument (args, argv[i], strlen(argv[i])))
+            return 1;
+    }
+
+    Options options(argv[0]);
+    sal_Int32 nErrors = 0;
+
+    try
+    {
+        if (!options.initOptions(args))
+           return 0;
+
+        setIdlc(&options);
+
+        if (options.readStdin()) {
+            if ( !options.quiet() )
+                fprintf(
+                    stdout, "%s: Compiling stdin\n",
+                    options.getProgramName().getStr());
+            nErrors = compileFile(nullptr);
+            if ( ( idlc()->getWarningCount() > 0 ) && !options.quiet() ) {
+                fprintf(
+                    stdout, "%s: detected %lu warnings compiling stdin\n",
+                    options.getProgramName().getStr(),
+                    sal::static_int_cast< unsigned long >(
+                        idlc()->getWarningCount()));
+            }
+            OString outputUrl;
+            if (options.isValid("-O")) {
+                outputUrl = convertToFileUrl(options.getOption("-O"));
+                if (!outputUrl.endsWith("/")) {
+                    outputUrl += "/";
+                }
+                outputUrl += "stdin.urd";
+            } else {
+                outputUrl = convertToFileUrl("stdin.urd");
+            }
+            if (nErrors > 0) {
+                removeIfExists(outputUrl);
+            } else {
+                nErrors = produceFile(outputUrl, nullptr);
+            }
+            idlc()->reset();
+        }
+        std::vector< OString > const & files = options.getInputFiles();
+        if ( options.verbose() )
+        {
+            fprintf( stdout, "%s: compiling %i source files ... \n",
+                options.getProgramName().getStr(), static_cast<int>(files.size()) );
+            fflush( stdout );
+        }
+        for (auto const& elem : files)
+        {
+            if (nErrors)
+                break;
+            OString sysFileName( convertToAbsoluteSystemPath(elem) );
+
+            if ( !options.quiet() )
+                fprintf(stdout, "Compiling: %s\n", elem.getStr());
+            nErrors = compileFile(&sysFileName);
+
+            if ( idlc()->getWarningCount() && !options.quiet() )
+                fprintf(stdout, "%s: detected %" SAL_PRIdINT64 " warnings compiling file '%s'\n",
+                        options.getProgramName().getStr(),
+                        sal_Int64(idlc()->getWarningCount()),
+                        elem.getStr());
+
+            // prepare output file name
+            OString const strippedFileName(
+                    sysFileName.copy(sysFileName.lastIndexOf(SEPARATOR) + 1));
+            OString outputFile;
+            if ( options.isValid("-O") )
+            {
+                outputFile = options.getOption("-O");
+                if (!outputFile.endsWith("/")) {
+                    outputFile += "/";
+                }
+                outputFile += strippedFileName.replaceAt(
+                        strippedFileName.getLength() -3 , 3, "urd");
+            } else {
+                outputFile =
+                    sysFileName.replaceAt(sysFileName.getLength() -3 , 3, "urd");
+            }
+            OString const outputFileUrl = convertToFileUrl(outputFile);
+
+            OString depFileUrl;
+            if (options.isValid("-M")) {
+                depFileUrl = convertToFileUrl(options.getOption("-M"));
+                if (!depFileUrl.endsWith("/")) {
+                    depFileUrl += "/";
+                }
+                depFileUrl += strippedFileName.replaceAt(
+                        strippedFileName.getLength() -3 , 3, "d");
+            }
+
+            if ( nErrors ) {
+                if (options.isValid("-M")) {
+                    removeIfExists(depFileUrl);
+                }
+                removeIfExists(outputFileUrl);
+            } else {
+                sPair_t const pair(depFileUrl, outputFile);
+                nErrors = produceFile(outputFileUrl,
+                            (options.isValid("-M")) ? &pair : nullptr);
+            }
+
+            idlc()->reset();
+        }
+
+        if ( nErrors > 0 )
+        {
+            fprintf(stderr, "%s: detected %" SAL_PRIdINT64 " errors%s",
+                options.getProgramName().getStr(),
+                sal_Int64(nErrors),
+                options.prepareVersion().getStr());
+        } else
+        {
+            if ( options.verbose() )
+                fprintf(stdout, "%s: returned successful%s",
+                    options.getProgramName().getStr(),
+                    options.prepareVersion().getStr());
+        }
+    } catch(const IllegalArgument& e)
+    {
+        fprintf(stderr, "Illegal argument: %s\n%s",
+            e.m_message.getStr(),
+            options.prepareVersion().getStr());
+        return 99;
+    }
+
+    return nErrors;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/idlcproduce.cxx b/idlc/source/idlcproduce.cxx
new file mode 100644
index 000000000..2592fe0de
--- /dev/null
+++ b/idlc/source/idlcproduce.cxx
@@ -0,0 +1,242 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <idlc.hxx>
+#include <astmodule.hxx>
+#include <rtl/strbuf.hxx>
+#include <osl/file.hxx>
+#include <osl/thread.h>
+#include <o3tl/string_view.hxx>
+
+#if defined(_WIN32)
+#include <io.h>
+#include <direct.h>
+#include <errno.h>
+#endif
+
+#ifdef SAL_UNX
+#include <unistd.h>
+#include <sys/stat.h>
+#include <errno.h>
+#endif
+
+#include <string.h>
+
+using namespace ::osl;
+
+static std::list< OString > gaCreatedDirectories;
+
+static bool checkOutputPath(const OString& completeName)
+{
+    OString sysPathName = convertToAbsoluteSystemPath(completeName);
+    OStringBuffer buffer(sysPathName.getLength()+16);
+
+    if ( sysPathName.indexOf( SEPARATOR ) == -1 )
+        return true;
+
+    sal_Int32 nIndex = 0;
+    std::string_view token(o3tl::getToken(sysPathName, 0, SEPARATOR, nIndex));
+    if (o3tl::starts_with(token, "..")
+        || (token.size() >= 2 && token[1] == ':')
+        || o3tl::starts_with(token, "."))
+    {
+        buffer.append(token);
+        buffer.append(SEPARATOR);
+    }
+    else
+        nIndex = 0;
+
+    do
+    {
+        buffer.append(o3tl::getToken(sysPathName, 0, SEPARATOR, nIndex));
+
+        if ( !buffer.isEmpty() && nIndex != -1 )
+        {
+#if defined(SAL_UNX)
+            if (mkdir(buffer.getStr(), 0777) == -1)
+#else
+            if (mkdir(buffer.getStr()) == -1)
+#endif
+            {
+                if (errno == ENOENT)
+                {
+                    fprintf(stderr, "%s: cannot create directory '%s'\n",
+                            idlc()->getOptions()->getProgramName().getStr(), buffer.getStr());
+                    return false;
+                }
+            }
+            else
+            {
+                gaCreatedDirectories.push_front(buffer.getStr());
+            }
+        }
+        buffer.append(SEPARATOR);
+    } while( nIndex != -1 );
+    return true;
+}
+
+static bool cleanPath()
+{
+    for (auto const& createdDirectory : gaCreatedDirectories)
+    {
+//#ifdef SAL_UNX
+//      if (rmdir((char*)createdDirectory.getStr(), 0777) == -1)
+//#else
+        if (rmdir(createdDirectory.getStr()) == -1)
+//#endif
+        {
+            fprintf(stderr, "%s: cannot remove directory '%s'\n",
+                    idlc()->getOptions()->getProgramName().getStr(), createdDirectory.getStr());
+            return false;
+        }
+    }
+    gaCreatedDirectories.clear();
+    return true;
+}
+
+void removeIfExists(std::string_view pathname)
+{
+    osl::File::remove(OStringToOUString(pathname, RTL_TEXTENCODING_UTF8));
+}
+
+sal_Int32
+produceFile(const OString& regFileName, sPair_t const*const pDepFile)
+{
+    Options* pOptions = idlc()->getOptions();
+
+    OString regTmpName = regFileName.replaceAt(regFileName.getLength() -3, 3, "_idlc_");
+
+    if ( !checkOutputPath(regFileName) )
+    {
+        fprintf(stderr, "%s: could not create path of registry file '%s'.\n",
+                pOptions->getProgramName().getStr(), regFileName.getStr());
+        return 1;
+    }
+
+    OString depTmpName;
+    if (pDepFile)
+    {
+        depTmpName = pDepFile->first.replaceAt(
+                        regFileName.getLength() -3, 3, "_idlc_");
+        if ( !checkOutputPath(depTmpName) )
+        {
+            fprintf(stderr, "%s: could not create path of dep file '%s'.\n",
+                pOptions->getProgramName().getStr(), pDepFile->first.getStr());
+            return 1;
+        }
+        removeIfExists(depTmpName);
+    }
+
+    removeIfExists(regTmpName);
+    OString urlRegTmpName = convertToFileUrl(regTmpName);
+
+    Registry regFile;
+    if ( regFile.create(OStringToOUString(urlRegTmpName, RTL_TEXTENCODING_UTF8)) != RegError::NO_ERROR )
+    {
+        fprintf(stderr, "%s: could not create registry file '%s'\n",
+                pOptions->getProgramName().getStr(), regTmpName.getStr());
+        removeIfExists(regTmpName);
+        removeIfExists(regFileName);
+        cleanPath();
+        return 1;
+    }
+
+    RegistryKey rootKey;
+    if ( regFile.openRootKey(rootKey) != RegError::NO_ERROR )
+    {
+        fprintf(stderr, "%s: could not open root of registry file '%s'\n",
+                pOptions->getProgramName().getStr(), regFileName.getStr());
+        removeIfExists(regTmpName);
+        removeIfExists(regFileName);
+        cleanPath();
+        return 1;
+    }
+
+    // produce registry file
+    if ( !idlc()->getRoot()->dump(rootKey) )
+    {
+        rootKey.releaseKey();
+        if (regFile.close() != RegError::NO_ERROR)
+        {
+            fprintf(stderr, "%s: could not close registry file '%s'\n",
+                    pOptions->getProgramName().getStr(), regFileName.getStr());
+        }
+        regFile.destroy(OStringToOUString(regFileName, RTL_TEXTENCODING_UTF8));
+        removeIfExists(regFileName);
+        cleanPath();
+        return 1;
+    }
+
+    rootKey.releaseKey();
+    if ( regFile.close() != RegError::NO_ERROR )
+    {
+        fprintf(stderr, "%s: could not close registry file '%s'\n",
+                pOptions->getProgramName().getStr(), regFileName.getStr());
+        removeIfExists(regTmpName);
+        removeIfExists(regFileName);
+        cleanPath();
+        return 1;
+    }
+
+    if (pDepFile && !idlc()->dumpDeps(depTmpName, pDepFile->second))
+    {
+        fprintf(stderr, "%s: could not write dep file '%s'\n",
+                pOptions->getProgramName().getStr(), pDepFile->first.getStr());
+        removeIfExists(depTmpName);
+        removeIfExists(pDepFile->first);
+        removeIfExists(regTmpName);
+        removeIfExists(regFileName);
+        cleanPath();
+        return 1;
+    }
+
+    removeIfExists(regFileName);
+
+    if ( File::move(OStringToOUString(regTmpName, osl_getThreadTextEncoding()),
+                    OStringToOUString(regFileName, osl_getThreadTextEncoding())) != FileBase::E_None ) {
+        fprintf(stderr, "%s: cannot rename temporary registry '%s' to '%s'\n",
+                idlc()->getOptions()->getProgramName().getStr(),
+                regTmpName.getStr(), regFileName.getStr());
+        removeIfExists(regTmpName);
+        cleanPath();
+        return 1;
+    }
+    removeIfExists(regTmpName);
+
+    if (pDepFile)
+    {
+        removeIfExists(pDepFile->first);
+        if ( File::move(OStringToOUString(depTmpName, osl_getThreadTextEncoding()),
+                        OStringToOUString(pDepFile->first, osl_getThreadTextEncoding())) != FileBase::E_None ) {
+            fprintf(stderr, "%s: cannot rename dep file '%s' to '%s'\n",
+                    idlc()->getOptions()->getProgramName().getStr(),
+                    depTmpName.getStr(), pDepFile->first.getStr());
+            removeIfExists(depTmpName);
+            removeIfExists(pDepFile->first);
+            removeIfExists(regFileName);
+            cleanPath();
+            return 1;
+        }
+        removeIfExists(depTmpName);
+    }
+
+    return 0;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/options.cxx b/idlc/source/options.cxx
new file mode 100644
index 000000000..0fd06cc9f
--- /dev/null
+++ b/idlc/source/options.cxx
@@ -0,0 +1,424 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+#include <sal/config.h>
+
+#include <string_view>
+
+#include <options.hxx>
+
+#include <osl/diagnose.h>
+#include <rtl/string.hxx>
+#include <rtl/strbuf.hxx>
+
+#include <rtl/ustring.hxx>
+#include <osl/file.hxx>
+#include <o3tl/char16_t2wchar_t.hxx>
+#include <o3tl/string_view.hxx>
+
+#ifdef _WIN32
+#   if !defined WIN32_LEAN_AND_MEAN
+#      define WIN32_LEAN_AND_MEAN
+#   endif
+#   include <windows.h>
+#endif
+
+#include <stdio.h>
+#include <string.h>
+
+
+Options::Options(char const * progname)
+  : m_program(progname), m_stdin(false), m_verbose(false), m_quiet(false)
+{
+}
+
+Options::~Options()
+{
+}
+
+// static
+bool Options::checkArgument (std::vector< std::string > & rArgs, char const * arg, size_t len)
+{
+  bool result = ((arg != nullptr) && (len > 0));
+  OSL_PRECOND(result, "idlc::Options::checkArgument(): invalid arguments");
+  if (!result)
+      return false;
+
+  switch(arg[0])
+  {
+  case '@':
+    result = len > 1;
+    if (result)
+    {
+      // "@<cmdfile>"
+      result = Options::checkCommandFile (rArgs, &(arg[1]));
+    }
+    break;
+  case '-':
+    result = len > 1;
+    if (result)
+    {
+      // "-<option>"
+      switch (arg[1])
+      {
+      case 'O':
+      case 'M':
+      case 'I':
+      case 'D':
+        {
+          // "-<option>[<param>]
+          std::string option(&(arg[0]), 2);
+          rArgs.push_back(option);
+          if (len > 2)
+          {
+            // "-<option><param>"
+            std::string param(&(arg[2]), len - 2);
+            rArgs.push_back(param);
+          }
+          break;
+        }
+      default:
+        // "-<option>" ([long] option, w/o param)
+        rArgs.emplace_back(arg, len);
+        break;
+      }
+    }
+    break;
+  default:
+    // "<param>"
+    rArgs.emplace_back(arg, len);
+    break;
+  }
+  return result;
+}
+
+// static
+bool Options::checkCommandFile (std::vector< std::string > & rArgs, char const * filename)
+{
+    FILE * fp = fopen(filename, "r");
+    if (fp == nullptr)
+    {
+        fprintf(stderr, "ERROR: can't open command file \"%s\"\n", filename);
+        return false;
+    }
+
+    std::string buffer;
+    buffer.reserve(256);
+
+    bool quoted = false;
+    int c = EOF;
+    while ((c = fgetc(fp)) != EOF)
+    {
+        switch(c)
+        {
+        case '\"':
+          quoted = !quoted;
+          break;
+        case ' ':
+        case '\t':
+        case '\r':
+        case '\n':
+          if (!quoted)
+          {
+              if (!buffer.empty())
+              {
+                  // append current argument.
+                  if (!Options::checkArgument(rArgs, buffer.c_str(), buffer.size()))
+                  {
+                      (void) fclose(fp);
+                      return false;
+                  }
+                  buffer.clear();
+              }
+              break;
+          }
+          [[fallthrough]];
+        default:
+          buffer.push_back(sal::static_int_cast<char>(c));
+          break;
+        }
+    }
+    if (!buffer.empty())
+    {
+        // append unterminated argument.
+        if (!Options::checkArgument(rArgs, buffer.c_str(), buffer.size()))
+        {
+            (void) fclose(fp);
+            return false;
+        }
+        buffer.clear();
+    }
+    return (fclose(fp) == 0);
+}
+
+bool Options::badOption(char const * reason, std::string const & rArg)
+{
+  if (reason != nullptr)
+  {
+    OString message = OString::Concat(reason) + " option '" + rArg.c_str() + "'";
+    throw IllegalArgument(message);
+  }
+  return false;
+}
+
+bool Options::setOption(char const * option, std::string const & rArg)
+{
+  bool result = (0 == strcmp(option, rArg.c_str()));
+  if (result)
+    m_options[rArg.c_str()] = OString(rArg.c_str(), rArg.size());
+  return result;
+}
+
+#ifdef _WIN32
+/* Helper function to convert windows paths including spaces, brackets etc. into
+   a windows short Url. The ucpp preprocessor has problems with such paths and returns
+   with error.
+*/
+static OString convertIncPathtoShortWindowsPath(const OString& incPath) {
+    OUString path = OStringToOUString(incPath, RTL_TEXTENCODING_UTF8);
+
+    std::vector<sal_Unicode> vec(path.getLength() + 1);
+    //GetShortPathNameW only works if the file can be found!
+    const DWORD len = GetShortPathNameW(
+        o3tl::toW(path.getStr()), o3tl::toW(vec.data()), path.getLength() + 1);
+
+    if (len > 0)
+    {
+        OUString ret(vec.data(), len);
+        return OUStringToOString(ret, RTL_TEXTENCODING_UTF8);
+    }
+
+    return incPath;
+}
+#endif
+
+bool Options::initOptions(std::vector< std::string > & rArgs)
+{
+  std::vector< std::string >::const_iterator first = rArgs.begin(), last = rArgs.end();
+  for (; first != last; ++first)
+  {
+    if ((*first)[0] != '-')
+    {
+      OString filename((*first).c_str(), (*first).size());
+      OString tmp(filename.toAsciiLowerCase());
+      if (tmp.lastIndexOf(".idl") != (tmp.getLength() - 4))
+      {
+        throw IllegalArgument("'" + filename + "' is not a valid input file, only '*.idl' files will be accepted");
+      }
+      m_inputFiles.push_back(filename);
+      continue;
+    }
+
+    std::string const option(*first);
+    switch((*first)[1])
+    {
+    case 'O':
+      {
+        if ((++first == last) || ((*first)[0] == '-'))
+        {
+          return badOption("invalid", option);
+        }
+        OString param((*first).c_str(), (*first).size());
+        m_options["-O"] = param;
+        break;
+      }
+    case 'M':
+      {
+        if ((++first == last) || ((*first)[0] == '-'))
+        {
+          return badOption("invalid", option);
+        }
+        OString param((*first).c_str(), (*first).size());
+        m_options["-M"] = param;
+        break;
+      }
+    case 'I':
+      {
+        if ((++first == last) || ((*first)[0] == '-'))
+        {
+          return badOption("invalid", option);
+        }
+        OString param((*first).c_str(), (*first).size());
+        {
+          // quote param token(s).
+          OStringBuffer buffer;
+          sal_Int32 k = 0;
+          do
+          {
+            if (!buffer.isEmpty())
+              buffer.append(' ');
+//          buffer.append("-I\"");
+#ifdef _WIN32
+            OString incpath = convertIncPathtoShortWindowsPath(param.getToken(0, ';', k));
+#else
+            std::string_view incpath = o3tl::getToken(param, 0, ';', k);
+#endif
+            buffer.append(incpath);
+//          buffer.append("\"");
+          } while (k != -1);
+          param = buffer.makeStringAndClear();
+        }
+        if (m_options.count("-I") > 0)
+        {
+          // append param.
+          param = m_options["-I"] + " " + param;
+        }
+        m_options["-I"] = param;
+        break;
+      }
+    case 'D':
+      {
+        if ((++first == last) || ((*first)[0] == '-'))
+        {
+          return badOption("invalid", option);
+        }
+        OString param = OString::Concat("-D") + std::string_view((*first).c_str(), (*first).size());
+        if (m_options.count("-D") > 0)
+        {
+          param = m_options["-D"] + " " + param;
+        }
+        m_options["-D"] = param;
+        break;
+      }
+    case 'C':
+      {
+        if (!setOption("-C", option))
+        {
+          return badOption("invalid", option);
+        }
+        break;
+      }
+    case 'c':
+      {
+        if (!setOption("-cid", option))
+        {
+          return badOption("invalid", option);
+        }
+        break;
+      }
+    case 'q':
+      {
+        if (!setOption("-quiet", option))
+        {
+          return badOption("invalid", option);
+        }
+        m_quiet = true;
+        break;
+      }
+    case 'v':
+      {
+        if (!setOption("-verbose", option))
+        {
+          return badOption("invalid", option);
+        }
+        m_verbose = true;
+        break;
+      }
+    case 'w':
+      {
+        if (!(setOption("-w", option) || setOption("-we", option)))
+        {
+          return badOption("invalid", option);
+        }
+        break;
+      }
+    case 'h':
+    case '?':
+      {
+        if (!(setOption("-h", option) || setOption("-?", option)))
+        {
+          return badOption("invalid", option);
+        }
+        {
+          (void) fprintf(stdout, "%s", prepareHelp().getStr());
+          return false;
+        }
+        // break; // Unreachable
+      }
+    case 's':
+      {
+        if (!setOption("-stdin", option))
+        {
+          return badOption("invalid", option);
+        }
+        m_stdin = true;
+        break;
+      }
+    default:
+      return badOption("unknown", option);
+    }
+  }
+  return true;
+}
+
+OString Options::prepareHelp() const
+{
+    OString help = "\nusing: " +
+        m_program + " [-options] <file_1> ... <file_n> | @<filename> | -stdin\n"
+         "    <file_n>    = file_n specifies one or more idl files.\n"
+         "                  Only files with the extension '.idl' are valid.\n"
+         "    @<filename> = filename specifies the name of a command file.\n"
+         "    -stdin      = read idl file from standard input.\n"
+         "  Options:\n"
+         "    -O<path>    = path specifies the output directory.\n"
+         "                  The generated output is a registry file with\n"
+         "                  the same name as the idl input file (or 'stdin'\n"
+         "                  for -stdin).\n"
+         "    -M<path>    = path specifies the output directory for deps.\n"
+         "                  Generate GNU make dependency files with the\n"
+         "                  same name as the idl input file.\n"
+         "    -I<path>    = path specifies a directory where include\n"
+         "                  files will be searched by the preprocessor.\n"
+         "                  Multiple directories can be combined with ';'.\n"
+         "    -D<name>    = name defines a macro for the preprocessor.\n"
+         "    -C          = generate complete type information, including\n"
+         "                  documentation.\n"
+         "    -cid        = check if identifiers fulfill the UNO naming\n"
+         "                  requirements.\n"
+         "    -quiet      = no output.\n"
+         "    -verbose    = verbose output.\n"
+         "    -w          = display warning messages.\n"
+         "    -we         = treat warnings as errors.\n"
+         "    -h|-?       = print this help message and exit.\n\n" +
+        prepareVersion();
+
+    return help;
+}
+
+OString Options::prepareVersion() const
+{
+    return m_program + " Version 1.1\n\n";
+}
+
+
+bool Options::isValid(const OString& option) const
+{
+    return (m_options.count(option) > 0);
+}
+
+const OString& Options::getOption(const OString& option)
+{
+    if (!isValid(option))
+    {
+        throw IllegalArgument("Option is not valid or currently not set.");
+    }
+    return m_options[option];
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/parser.y b/idlc/source/parser.y
new file mode 100644
index 000000000..29654c32b
--- /dev/null
+++ b/idlc/source/parser.y
@@ -0,0 +1,2737 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+/*
+ * parser.yy - BISON grammar for IDLC 1.0
+ */
+
+%{
+#include <string.h>
+
+#include <idlc.hxx>
+#include <errorhandler.hxx>
+#include <fehelper.hxx>
+#include <astexpression.hxx>
+#include <astconstants.hxx>
+#include <astconstant.hxx>
+#include <astbasetype.hxx>
+#include <asttypedef.hxx>
+#include <astexception.hxx>
+#include <astmember.hxx>
+#include <astenum.hxx>
+#include <astsequence.hxx>
+#include <astattribute.hxx>
+#include <astoperation.hxx>
+#include <astparameter.hxx>
+#include <astinterfacemember.hxx>
+#include <astservicemember.hxx>
+#include <astobserves.hxx>
+#include <astneeds.hxx>
+
+#include <aststructinstance.hxx>
+
+#include "attributeexceptions.hxx"
+
+#include <rtl/string.hxx>
+#include <osl/diagnose.h>
+
+#include <algorithm>
+#include <vector>
+
+
+#define YYDEBUG 1
+#define YYERROR_VERBOSE 1
+
+extern int yylex(void);
+static void yyerror(char const *);
+
+static void checkIdentifier(OString const * id)
+{
+    static short check = 0;
+    if (check == 0) {
+        if (idlc()->getOptions()->isValid("-cid"))
+            check = 1;
+        else
+            check = 2;
+    }
+
+    if ( id->indexOf('_') >= 0 )
+        if ( (id->pData->buffer[0] >= 97 && id->pData->buffer[0] <= 122)
+             || id->pData->buffer[0] == '_') {
+            if (check == 1) {
+                OString msg = "mismatched identifier '" + *id + "'";
+                ErrorHandler::syntaxError(idlc()->getParseState(),
+                                         idlc()->getLineNumber(),
+                                         msg.getStr());
+            }
+            else
+                ErrorHandler::warning0(WarningCode::WrongNamingConvention, id->getStr());
+        }
+}
+
+static void reportDoubleMemberDeclarations(
+    AstInterface::DoubleMemberDeclarations const & doubleMembers)
+{
+    for (auto const& doubleMember : doubleMembers)
+    {
+        ErrorHandler::error2(ErrorCode::DoubleMember, doubleMember.first, doubleMember.second);
+    }
+}
+
+static void addInheritedInterface(
+    AstInterface * ifc, OString const & name, bool optional,
+    OUString const & documentation)
+{
+    AstDeclaration * decl = ifc->lookupByName(name);
+    AstDeclaration const * resolved = resolveTypedefs(decl);
+    if (resolved != nullptr && resolved->getNodeType() == NT_interface) {
+        if (ErrorHandler::checkPublished(decl)) {
+            if (!static_cast< AstInterface const * >(resolved)->isDefined()) {
+                ErrorHandler::inheritanceError(
+                    NT_interface, &ifc->getScopedName(), decl);
+            } else {
+                AstInterface::DoubleDeclarations doubleDecls(
+                    ifc->checkInheritedInterfaceClashes(
+                        static_cast< AstInterface const * >(resolved),
+                        optional));
+                if (doubleDecls.interfaces.empty()
+                    && doubleDecls.members.empty())
+                {
+                    ifc->addInheritedInterface(
+                        static_cast< AstType * >(decl), optional,
+                        documentation);
+                } else {
+                    for (auto const& elem : doubleDecls.interfaces)
+                    {
+                        ErrorHandler::error1(
+                            ErrorCode::DoubleInheritance, elem);
+                    }
+                    reportDoubleMemberDeclarations(doubleDecls.members);
+                }
+            }
+        }
+    } else {
+        ErrorHandler::lookupError(
+            ErrorCode::InterfaceMemberLookup, name, scopeAsDecl(ifc));
+    }
+}
+
+static AstDeclaration const * createNamedType(
+    OString const * scopedName, DeclList const * typeArgs)
+{
+    AstDeclaration * decl = idlc()->scopes()->topNonNull()->lookupByName(
+        *scopedName);
+    AstDeclaration const * resolved = resolveTypedefs(decl);
+    if (decl == nullptr) {
+        ErrorHandler::lookupError(*scopedName);
+    } else if (!ErrorHandler::checkPublished(decl)) {
+        decl = nullptr;
+    } else if (resolved->getNodeType() == NT_struct) {
+        if (static_cast< AstStruct const * >(resolved)->getTypeParameterCount()
+            != (typeArgs == nullptr ? 0 : typeArgs->size()))
+        {
+            ErrorHandler::error0(ErrorCode::WrongNumberOfTypeArguments);
+            decl = nullptr;
+        } else if (typeArgs != nullptr) {
+            AstScope * global = idlc()->scopes()->bottom();
+            AstDeclaration * inst = new AstStructInstance(
+                static_cast< AstType * >(decl), typeArgs, global);
+            decl = global->addDeclaration(inst);
+            if (decl != inst) {
+                delete inst;
+            }
+        }
+    } else if (decl->isType()) {
+        if (typeArgs != nullptr) {
+            ErrorHandler::error0(ErrorCode::WrongNumberOfTypeArguments);
+            decl = nullptr;
+        }
+    } else {
+        ErrorHandler::noTypeError(decl);
+        decl = nullptr;
+    }
+    delete scopedName;
+    delete typeArgs;
+    return decl;
+}
+
+static bool includes(AstDeclaration const * type1, AstDeclaration const * type2) {
+    OSL_ASSERT(type2 != nullptr);
+    if (type1 != nullptr) {
+        if (type1->getNodeType() == NT_instantiated_struct) {
+            AstStructInstance const * inst
+                = static_cast< AstStructInstance const * >(type1);
+            if (inst->getTypeTemplate() == type2) {
+                return true;
+            }
+            for (DeclList::const_iterator i(inst->getTypeArgumentsBegin());
+                 i != inst->getTypeArgumentsEnd(); ++i)
+            {
+                if (includes(*i, type2)) {
+                    return true;
+                }
+            }
+        } else if (type1 == type2) {
+            return true;
+        }
+    }
+    return false;
+}
+
+// Suppress any warnings from generated code:
+#if defined _MSC_VER
+#pragma warning(disable: 4702) // unreachable code
+#endif
+%}
+/*
+ * Declare the type of values in the grammar
+ */
+%union {
+    ExprType                etval;     /* Expression type */
+    AstDeclaration*     dclval;    /* Declaration */
+    AstDeclaration const * cdclval;
+    DeclList * dclsval;
+    AstExpression*      exval;      /* expression value */
+    FeDeclarator*           fdval;      /* declarator value */
+    FeDeclList*         dlval;      /* declarator list value */
+    FeInheritanceHeader*    ihval;      /* inheritance header value */
+    OString*     sval;       /* OString value */
+    std::vector< OString > * svals;
+    char*               strval; /* char* value */
+    bool                bval;       /* sal_Boolean* value */
+    sal_Int64               ival;       /* sal_Int64 value */
+    sal_uInt64 uval; /* sal_uInt64 value */
+    sal_uInt32          ulval;      /* sal_uInt32 value */
+    double                  dval;       /* double value */
+    float                   fval;       /* float value */
+    std::list< OString >*         slval;      /* StringList value */
+    AttributeExceptions::Part attexcpval;
+    AttributeExceptions attexcval;
+}
+
+/*
+ * Token types: These are returned by the lexer
+ */
+
+%token <sval>       IDL_IDENTIFIER
+%token          IDL_ATTRIBUTE
+%token              IDL_BOUND
+%token          IDL_CONST
+%token          IDL_CONSTANTS
+%token              IDL_CONSTRAINED
+%token          IDL_ENUM
+%token          IDL_EXCEPTION
+%token          IDL_INTERFACE
+%token          IDL_MAYBEAMBIGUOUS
+%token          IDL_MAYBEDEFAULT
+%token          IDL_MAYBEVOID
+%token          IDL_MODULE
+%token          IDL_NEEDS
+%token          IDL_OBSERVES
+%token          IDL_OPTIONAL
+%token          IDL_PROPERTY
+%token          IDL_RAISES
+%token          IDL_READONLY
+%token          IDL_REMOVABLE
+%token          IDL_SERVICE
+%token          IDL_SEQUENCE
+%token          IDL_SINGLETON
+%token          IDL_STRUCT
+%token          IDL_TYPEDEF
+%token              IDL_TRANSIENT
+
+%token          IDL_ANY
+%token          IDL_CHAR
+%token          IDL_BOOLEAN
+%token          IDL_BYTE
+%token          IDL_DOUBLE
+%token          IDL_FLOAT
+%token          IDL_HYPER
+%token          IDL_LONG
+%token          IDL_SHORT
+%token          IDL_VOID
+%token          IDL_STRING
+%token          IDL_TYPE
+%token          IDL_UNSIGNED
+
+%token          IDL_TRUE
+%token          IDL_FALSE
+
+%token          IDL_IN
+%token          IDL_OUT
+%token          IDL_INOUT
+
+%token IDL_GET
+%token IDL_SET
+
+%token IDL_PUBLISHED
+
+%token IDL_ELLIPSIS
+
+%token <strval> IDL_LEFTSHIFT
+%token <strval> IDL_RIGHTSHIFT
+%token <strval>     IDL_SCOPESEPARATOR
+
+%token <ival>       IDL_INTEGER_LITERAL
+%token <uval> IDL_INTEGER_ULITERAL
+%token <dval>       IDL_FLOATING_PT_LITERAL
+
+/*
+ * These are production names:
+ */
+%type <dclval>  type_dcl
+%type <dclval>  exception_name
+%type <cdclval> constructed_type_spec enum_type op_type_spec
+%type <cdclval> sequence_type_spec simple_type_spec struct_type
+%type <cdclval> type_spec
+%type <cdclval> fundamental_type type_arg type_or_parameter
+%type <dclsval> opt_raises raises exception_list
+%type <attexcpval> opt_attribute_get_raises attribute_get_raises
+%type <attexcpval> opt_attribute_set_raises attribute_set_raises
+%type <dclsval> opt_type_args type_args
+
+%type <sval>    identifier
+%type <sval>    interface_decl
+%type <sval>    scoped_name inheritance_spec
+%type <slval>   scoped_names at_least_one_scoped_name
+
+%type <etval>   const_type integer_type char_type boolean_type
+%type <etval>   floating_pt_type any_type signed_int string_type
+%type <etval>   unsigned_int base_type_spec byte_type type_type
+
+%type <exval>   expression const_expr or_expr xor_expr and_expr
+%type <exval>   add_expr mult_expr unary_expr primary_expr shift_expr
+%type <exval>   literal
+
+%type <fdval>   declarator
+%type <dlval>   declarators at_least_one_declarator
+
+%type <ihval>   exception_header structure_header interfaceheader
+
+%type <ulval>   flag_header opt_attrflags opt_attrflag
+%type <ulval>   direction service_interface_header service_service_header
+
+%type <bval>    optional_inherited_interface opt_rest opt_service_body
+
+%type <attexcval> opt_attribute_block attribute_block_rest opt_attribute_raises
+
+%type <svals> opt_type_params type_params
+
+%%
+/*
+ * Grammar start here
+ */
+start : definitions;
+
+definitions :
+    definition definitions
+    | /* EMPTY */
+    ;
+
+definition :
+    opt_published publishable_definition
+    | module_dcl
+    {
+        idlc()->setParseState(PS_ModuleDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | error ';'
+    {
+        yyerror("definitions");
+        yyerrok;
+    }
+    ;
+
+opt_published:
+    IDL_PUBLISHED { idlc()->setPublished(true); }
+    | /* empty */ { idlc()->setPublished(false); }
+    ;
+
+publishable_definition:
+    type_dcl
+    {
+        idlc()->setParseState(PS_TypeDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | exception_dcl
+    {
+        idlc()->setParseState(PS_ExceptionDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | interface
+    {
+        idlc()->setParseState(PS_InterfaceDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | service_dcl
+    {
+        idlc()->setParseState(PS_ServiceDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | singleton_dcl
+    {
+        idlc()->setParseState(PS_SingletonDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | constants_dcl
+    {
+        idlc()->setParseState(PS_ConstantsDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    ;
+
+module_dcl :
+    IDL_MODULE
+    {
+        idlc()->setParseState(PS_ModuleSeen);
+        idlc()->setPublished(false);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_ModuleIDSeen);
+        checkIdentifier($3);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstModule*      pModule = nullptr;
+
+        if ( pScope )
+        {
+            pModule = new AstModule(*$3, pScope);
+            if( AstDeclaration* pExists = pScope->lookupForAdd(pModule) )
+            {
+                pExists->setInMainfile(idlc()->isInMainFile());
+                pExists->setFileName(pModule->getFileName());
+                if (pExists->isPredefined())
+                {
+                    pExists->setPredefined(false);
+                    if (pExists->getDocumentation().getLength() == 0 &&
+                        pModule->getDocumentation().getLength() > 0)
+                    {
+                        pExists->setDocumentation(pModule->getDocumentation());
+                    }
+                }
+                delete(pModule);
+                pModule = static_cast<AstModule*>(pExists);
+            } else
+            {
+                pScope->addDeclaration(pModule);
+            }
+            idlc()->scopes()->push(pModule);
+        }
+        delete $3;
+    }
+    '{'
+    {
+        idlc()->setParseState(PS_ModuleSqSeen);
+    }
+    definitions
+    {
+        idlc()->setParseState(PS_ModuleBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(PS_ModuleQsSeen);
+        /*
+         * Finished with this module - pop it from the scope stack
+         */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+interface :
+    interface_dcl
+    | forward_dcl
+    ;
+
+interface_decl :
+    IDL_INTERFACE
+    {
+        idlc()->setParseState(PS_InterfaceSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_InterfaceIDSeen);
+        checkIdentifier($3);
+        $$ = $3;
+    }
+    ;
+
+forward_dcl :
+    interface_decl
+    {
+        idlc()->setParseState(PS_ForwardDeclSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstInterface*   pForward = nullptr;
+        AstDeclaration* pDecl = nullptr;
+
+        /*
+         * Make a new forward interface node and add it to its enclosing scope
+         */
+        if ( pScope && $1 )
+        {
+            pForward = new AstInterface(*$1, nullptr, pScope);
+
+            pDecl = pScope->lookupByName(pForward->getScopedName());
+            if ( pDecl )
+            {
+                if ( (pDecl != pForward) &&
+                     (pDecl->getNodeType() == NT_interface) )
+                {
+                    delete pForward;
+                } else
+                {
+                    ErrorHandler::error2(ErrorCode::RedefScope, scopeAsDecl(pScope), pDecl);
+                }
+            } else
+            {
+                /*
+                 * Add the interface to its definition scope
+                 */
+                pScope->addDeclaration(pForward);
+            }
+        }
+        delete $1;
+    }
+    ;
+
+interface_dcl :
+    interfaceheader
+    {
+        idlc()->setParseState(PS_InterfaceHeadSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstInterface*   pInterface = nullptr;
+        AstInterface*   pForward = nullptr;
+
+        /*
+         * Make a new interface node and add it to its enclosing scope
+         */
+        if ( pScope && $1 )
+        {
+            pInterface = new AstInterface(
+                *$1->getName(),
+                static_cast< AstInterface const * >(resolveTypedefs($1->getInherits())), pScope);
+            if ( AstDeclaration* pDecl = pScope->lookupByName(pInterface->getScopedName()) )
+            {
+                /*
+                 * See if we're defining a forward declared interface.
+                 */
+                if (pDecl->getNodeType() == NT_interface)
+                {
+                    pForward = static_cast<AstInterface*>(pDecl);
+                    if ( !pForward->isDefined() )
+                    {
+                        /*
+                         * Check if redefining in same scope
+                         */
+                        if ( pForward->getScope() != pScope )
+                        {
+                            if ( pForward->getScopedName() != pInterface->getScopedName() )
+                            {
+                                ErrorHandler::error3(ErrorCode::ScopeConflict,
+                                         pInterface, pForward, scopeAsDecl(pScope));
+                            }
+                        }
+                        else if ( !pInterface->isPublished()
+                                  && pForward->isPublished() )
+                        {
+                            ErrorHandler::error0(ErrorCode::PublishedForward);
+                        }
+                        /*
+                         * All OK, set full definition
+                         */
+                        else
+                        {
+                            pForward->forwardDefined(*pInterface);
+                            delete pInterface;
+                            pInterface = pForward;
+                        }
+                    } else {
+                        // special handling for XInterface because it is predefined
+                        if ( pForward->isPredefined() &&
+                             pForward->getScopedName() == "com::sun::star::uno::XInterface")
+                        {
+                            /* replace the predefined XInterface */
+                            *pForward = *pInterface;
+                            delete pInterface;
+                            pInterface = pForward;
+                        }
+
+                    }
+                }
+            } else
+            {
+                /*
+                 * Add the interface to its definition scope
+                 */
+                pScope->addDeclaration(pInterface);
+            }
+        }
+        /*
+         * Push it on the scope stack
+         */
+        idlc()->scopes()->push(pInterface);
+        delete $1;
+    }
+    '{'
+    {
+        idlc()->setParseState(PS_InterfaceSqSeen);
+    }
+    exports
+    {
+        AstInterface * ifc = static_cast< AstInterface * >(
+            idlc()->scopes()->topNonNull());
+        if (!ifc->hasMandatoryInheritedInterfaces()
+            && ifc->getScopedName() != "com::sun::star::uno::XInterface")
+        {
+            addInheritedInterface(
+                ifc, "::com::sun::star::uno::XInterface", false,
+                OUString());
+        }
+        ifc->setDefined();
+        idlc()->setParseState(PS_InterfaceBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(PS_InterfaceQsSeen);
+        /*
+         * Done with this interface - pop it off the scopes stack
+         */
+        idlc()->scopes()->pop();
+    }
+    | error '}'
+    {
+        yyerror("interface definition");
+        yyerrok;
+    }
+    ;
+
+interfaceheader :
+    interface_decl inheritance_spec
+    {
+        idlc()->setParseState(PS_InheritSpecSeen);
+
+        $$ = new FeInheritanceHeader(NT_interface, $1, $2, nullptr);
+        delete $2;
+    }
+    ;
+
+inheritance_spec :
+    ':'
+    {
+        idlc()->setParseState(PS_InheritColonSeen);
+    }
+    scoped_name
+    {
+        $$ = $3;
+    }
+    | /* EMPTY */
+    {
+        $$ = nullptr;
+    }
+    ;
+
+exports :
+    exports export
+    | /* EMPTY */
+    ;
+
+export :
+    attribute
+    {
+        idlc()->setParseState(PS_AttributeDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | operation
+    {
+        idlc()->setParseState(PS_OperationDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    | interface_inheritance_decl
+    {
+        idlc()->setParseState(PS_InterfaceInheritanceDeclSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_NoState);
+    }
+    ;
+
+attribute :
+    flag_header
+    simple_type_spec
+    {
+        idlc()->setParseState(PS_AttrTypeSeen);
+    }
+    declarator
+    {
+        idlc()->setParseState(PS_AttrCompleted);
+        if (($1 & ~(AF_BOUND | AF_READONLY)) != AF_ATTRIBUTE) {
+            ErrorHandler::flagError(ErrorCode::BadAttributeFlags, $1);
+        }
+        AstInterface * scope = static_cast< AstInterface * >(
+            idlc()->scopes()->top());
+        AstAttribute * attr = new AstAttribute(
+            $1, FeDeclarator::compose($2), $4->getName(), scope);
+        delete $4;
+        AstInterface::DoubleMemberDeclarations doubleMembers(
+            scope->checkMemberClashes(attr));
+        if (doubleMembers.empty()) {
+            scope->addMember(attr);
+        } else {
+            reportDoubleMemberDeclarations(doubleMembers);
+        }
+        idlc()->scopes()->push(attr);
+    }
+    opt_attribute_block
+    {
+        static_cast< AstAttribute * >(idlc()->scopes()->top())->setExceptions(
+            $6.get.documentation, $6.get.exceptions, $6.set.documentation,
+            $6.set.exceptions);
+        delete $6.get.documentation;
+        delete $6.get.exceptions;
+        delete $6.set.documentation;
+        delete $6.set.exceptions;
+        idlc()->scopes()->pop();
+    }
+    ;
+
+flag_header :
+    '[' opt_attrflags ']'
+    {
+        idlc()->setParseState(PS_FlagHeaderSeen);
+        $$ = $2;
+    }
+    ;
+
+opt_attrflags :
+    opt_attrflags ',' opt_attrflag
+    {
+        if ( ($1 & $3) == $3 )
+            ErrorHandler::flagError(ErrorCode::DefinedAttributeFlag, $3);
+
+        $$ = $1 | $3;
+    }
+    | opt_attrflag
+    {
+        $$ = $1;
+    }
+    ;
+
+opt_attrflag :
+    IDL_ATTRIBUTE
+    {
+        idlc()->setParseState(PS_AttrSeen);
+        $$ = AF_ATTRIBUTE;
+    }
+    | IDL_PROPERTY
+    {
+        idlc()->setParseState(PS_PropertySeen);
+        $$ = AF_PROPERTY;
+    }
+    | IDL_READONLY
+    {
+        idlc()->setParseState(PS_ReadOnlySeen);
+        $$ = AF_READONLY;
+    }
+    | IDL_OPTIONAL
+    {
+        idlc()->setParseState(PS_OptionalSeen);
+        $$ = AF_OPTIONAL;
+    }
+    | IDL_MAYBEVOID
+    {
+        idlc()->setParseState(PS_MayBeVoidSeen);
+        $$ = AF_MAYBEVOID;
+    }
+    | IDL_BOUND
+    {
+        idlc()->setParseState(PS_BoundSeen);
+        $$ = AF_BOUND;
+    }
+    | IDL_CONSTRAINED
+    {
+        idlc()->setParseState(PS_ConstrainedSeen);
+        $$ = AF_CONSTRAINED;
+    }
+    | IDL_TRANSIENT
+    {
+        idlc()->setParseState(PS_TransientSeen);
+        $$ = AF_TRANSIENT;
+    }
+    | IDL_MAYBEAMBIGUOUS
+    {
+        idlc()->setParseState(PS_MayBeAmbiguousSeen);
+        $$ = AF_MAYBEAMBIGUOUS;
+    }
+    | IDL_MAYBEDEFAULT
+    {
+        idlc()->setParseState(PS_MayBeDefaultSeen);
+        $$ = AF_MAYBEDEFAULT;
+    }
+    | IDL_REMOVABLE
+    {
+        idlc()->setParseState(PS_RemoveableSeen);
+        $$ = AF_REMOVABLE;
+    }
+    | error ']'
+    {
+        yyerror("unknown property|attribute flag");
+        yyerrok;
+    }
+    ;
+
+opt_attribute_block:
+    '{' attribute_block_rest { $$ = $2; }
+    | /* empty */
+    {
+        $$.get.documentation = nullptr;
+        $$.get.exceptions = nullptr;
+        $$.set.documentation = nullptr;
+        $$.set.exceptions = nullptr;
+    }
+    ;
+
+attribute_block_rest:
+    opt_attribute_raises '}'
+    | error '}'
+    {
+        yyerror("bad attribute raises block");
+        yyerrok;
+        $$.get.documentation = nullptr;
+        $$.get.exceptions = nullptr;
+        $$.set.documentation = nullptr;
+        $$.set.exceptions = nullptr;
+    }
+    ;
+
+opt_attribute_raises:
+    attribute_get_raises
+    opt_attribute_set_raises
+    {
+        $$.get = $1;
+        $$.set = $2;
+    }
+    | attribute_set_raises
+    opt_attribute_get_raises
+    {
+        $$.get = $2;
+        $$.set = $1;
+    }
+    | /* empty */
+    {
+        $$.get.documentation = nullptr;
+        $$.get.exceptions = nullptr;
+        $$.set.documentation = nullptr;
+        $$.set.exceptions = nullptr;
+    }
+    ;
+
+opt_attribute_get_raises:
+    attribute_get_raises
+    | /* empty */ { $$.documentation = nullptr; $$.exceptions = nullptr; }
+    ;
+
+attribute_get_raises:
+    IDL_GET raises ';'
+    {
+        $$.documentation = new OUString(
+            OStringToOUString(
+                idlc()->getDocumentation(), RTL_TEXTENCODING_UTF8));
+        $$.exceptions = $2;
+    }
+    ;
+
+opt_attribute_set_raises:
+    attribute_set_raises
+    | /* empty */ { $$.documentation = nullptr; $$.exceptions = nullptr; }
+    ;
+
+attribute_set_raises:
+    IDL_SET
+    {
+        if (static_cast< AstAttribute * >(idlc()->scopes()->top())->
+            isReadonly())
+        {
+            ErrorHandler::error0(ErrorCode::ReadOnlyAttributeSetExceptions);
+        }
+    }
+    raises ';'
+    {
+        $$.documentation = new OUString(
+            OStringToOUString(
+                idlc()->getDocumentation(), RTL_TEXTENCODING_UTF8));
+        $$.exceptions = $3;
+    }
+    ;
+
+operation :
+    op_type_spec
+    {
+        idlc()->setParseState(PS_OpTypeSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_OpIDSeen);
+        checkIdentifier($3);
+
+        AstInterface * pScope = static_cast< AstInterface * >(
+            idlc()->scopes()->top());
+        AstOperation*   pOp = nullptr;
+
+        /*
+         * Create a node representing an operation on an interface
+         * and add it to its enclosing scope
+         */
+        if ( pScope && $1 )
+        {
+            AstType const *pType = static_cast<AstType const *>($1);
+            if ( !pType || (pType->getNodeType() == NT_exception) )
+            {
+                // type ERROR
+            } else
+            {
+                pOp = new AstOperation(pType, *$3, pScope);
+
+                AstInterface::DoubleMemberDeclarations doubleMembers(
+                    pScope->checkMemberClashes(pOp));
+                if (doubleMembers.empty()) {
+                    pScope->addMember(pOp);
+                } else {
+                    reportDoubleMemberDeclarations(doubleMembers);
+                }
+            }
+        }
+        delete $3;
+        /*
+         * Push the operation scope onto the scopes stack
+         */
+        idlc()->scopes()->push(pOp);
+    }
+    '('
+    {
+        idlc()->setParseState(PS_OpSqSeen);
+    }
+    parameters
+    {
+        idlc()->setParseState(PS_OpParsCompleted);
+    }
+    ')'
+    {
+        idlc()->setParseState(PS_OpQsSeen);
+    }
+    opt_raises
+    {
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstOperation*   pOp = nullptr;
+        /*
+         * Add exceptions and context to the operation
+         */
+        if ( pScope && pScope->getScopeNodeType() == NT_operation)
+        {
+            pOp = static_cast<AstOperation*>(pScope);
+
+            if ( pOp )
+                pOp->setExceptions($11);
+        }
+        delete $11;
+        /*
+         * Done with this operation. Pop its scope from the scopes stack
+         */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+op_type_spec :
+    simple_type_spec
+    | IDL_VOID
+    {
+        $$ = idlc()->scopes()->bottom()->lookupPrimitiveType(ET_void);
+    }
+    ;
+
+parameters :
+    parameter
+    | parameters
+    ','
+    {
+        idlc()->setParseState(PS_OpParCommaSeen);
+    }
+    parameter
+    | /* EMPTY */
+    | error ','
+    {
+        yyerror("parameter definition");
+        yyerrok;
+    }
+    ;
+
+parameter :
+    '['
+    direction
+    ']'
+    {
+        idlc()->setParseState(PS_OpParDirSeen);
+    }
+    simple_type_spec
+    {
+        idlc()->setParseState(PS_OpParTypeSeen);
+    }
+    opt_rest
+    declarator
+    {
+        idlc()->setParseState(PS_OpParDeclSeen);
+
+        AstOperation * pScope = static_cast< AstOperation * >(
+            idlc()->scopes()->top());
+        AstParameter*   pParam = nullptr;
+
+        /*
+         * Create a node representing an argument to an operation
+         * Add it to the enclosing scope (the operation scope)
+         */
+        if ( pScope && $5 && $8 )
+        {
+            AstType const * pType = FeDeclarator::compose($5);
+            if ( pType )
+            {
+                if (pScope->isConstructor() && $2 != DIR_IN) {
+                    ErrorHandler::error0(ErrorCode::ConstructorParameterNotIn);
+                }
+                if (pScope->isVariadic()) {
+                    ErrorHandler::error0(ErrorCode::RestParameterNotLast);
+                }
+                if ($7) {
+                    AstDeclaration const * type = resolveTypedefs(pType);
+                    if (type->getNodeType() != NT_predefined
+                        || (static_cast< AstBaseType const * >(type)->
+                            getExprType() != ET_any))
+                    {
+                        ErrorHandler::error0(ErrorCode::RestParameterNotAny);
+                    }
+                    if (pScope->isConstructor()) {
+                        if (pScope->getIteratorBegin()
+                            != pScope->getIteratorEnd())
+                        {
+                            ErrorHandler::error0(
+                                ErrorCode::ConstructorRestParameterNotFirst);
+                        }
+                    } else {
+                        ErrorHandler::error0(ErrorCode::MethodHasRestParameter);
+                    }
+                }
+
+                pParam = new AstParameter(
+                    static_cast< Direction >($2), $7, pType, $8->getName(),
+                    pScope);
+
+                if ( !$8->checkType($5) )
+                {
+                    // WARNING
+                }
+
+                pScope->addDeclaration(pParam);
+            }
+        }
+    }
+    | error
+    simple_type_spec
+    {
+        idlc()->setParseState(PS_NoState);
+        yyerrok;
+    }
+    ;
+
+direction :
+    IDL_IN
+    {
+        $$ = DIR_IN;
+    }
+    | IDL_OUT
+    {
+        $$ = DIR_OUT;
+    }
+    | IDL_INOUT
+    {
+        $$ = DIR_INOUT;
+    }
+    ;
+
+opt_rest:
+    IDL_ELLIPSIS
+    {
+        $$ = true;
+    }
+    | /* empty */
+    {
+        $$ = false;
+    }
+    ;
+
+opt_raises:
+    raises
+    | /* empty */
+    {
+        $$ = nullptr;
+    }
+    ;
+
+raises:
+    IDL_RAISES
+    {
+        idlc()->setParseState(PS_RaiseSeen);
+    }
+    '('
+    {
+        idlc()->setParseState(PS_RaiseSqSeen);
+    }
+    exception_list
+    ')'
+    {
+        idlc()->setParseState(PS_RaiseQsSeen);
+        $$ = $5;
+    }
+    ;
+
+exception_list:
+    exception_name
+    {
+        $$ = new DeclList;
+        $$->push_back($1);
+    }
+    | exception_list ',' exception_name
+    {
+        $1->push_back($3);
+        $$ = $1;
+    }
+    ;
+
+exception_name:
+    scoped_name
+    {
+        // The topmost scope is either an AstOperation (for interface methods
+        // and service constructors) or an AstAttribute (for interface
+        // attributes), so look up exception names in the next-to-topmost scope:
+        AstDeclaration * decl = idlc()->scopes()->nextToTop()->lookupByName(
+            *$1);
+        if (decl == nullptr) {
+            ErrorHandler::lookupError(*$1);
+        } else if (!ErrorHandler::checkPublished(decl)) {
+            decl = nullptr;
+        } else if (decl->getNodeType() != NT_exception) {
+            ErrorHandler::error1(ErrorCode::IllegalRaises, decl);
+            decl = nullptr;
+        }
+        delete $1;
+        $$ = decl;
+    }
+    ;
+
+interface_inheritance_decl:
+    optional_inherited_interface
+    IDL_INTERFACE
+    {
+        idlc()->setParseState(PS_ServiceIFHeadSeen);
+    }
+    scoped_name
+    {
+        AstInterface * ifc = static_cast< AstInterface * >(
+            idlc()->scopes()->top());
+        if (ifc->usesSingleInheritance()) {
+            ErrorHandler::error0(ErrorCode::MixedInheritance);
+        } else {
+            addInheritedInterface(
+                ifc, *$4, $1,
+                OStringToOUString(
+                    idlc()->getDocumentation(), RTL_TEXTENCODING_UTF8));
+        }
+        delete $4;
+    }
+    ;
+
+optional_inherited_interface:
+    '[' IDL_OPTIONAL ']' { $$ = true; }
+    | /* EMPTY */ { $$ = false; }
+    ;
+
+constants_exports :
+    constants_export constants_exports
+    | /* EMPTY */
+    ;
+
+constants_export :
+    IDL_CONST
+    {
+        idlc()->setParseState(PS_ConstSeen);
+    }
+    const_type
+    {
+        idlc()->setParseState(PS_ConstTypeSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_ConstIDSeen);
+        checkIdentifier($5);
+    }
+    '='
+    {
+        idlc()->setParseState(PS_ConstAssignSeen);
+    }
+    expression
+    {
+        idlc()->setParseState(PS_ConstExprSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstConstant*    pConstant = nullptr;
+
+        if ( $9 && pScope )
+        {
+            if ( !$9->coerce($3) )
+            {
+                ErrorHandler::coercionError($9, $3);
+            } else
+            {
+                pConstant = new AstConstant($3, $9, *$5, pScope);
+                pScope->addDeclaration(pConstant);
+            }
+        }
+        delete $5;
+
+        idlc()->setParseState(PS_ConstantDeclSeen);
+    }
+    ';' {};
+    ;
+
+constants_dcl :
+    IDL_CONSTANTS
+    {
+        idlc()->setParseState(PS_ConstantsSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_ConstantsIDSeen);
+        checkIdentifier($3);
+    }
+    '{'
+    {
+        idlc()->setParseState(PS_ConstantsSqSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstConstants*   pConstants = nullptr;
+
+        if ( pScope )
+        {
+            pConstants = new AstConstants(*$3, pScope);
+            if( AstDeclaration* pExists = pScope->lookupForAdd(pConstants) )
+            {
+                pExists->setInMainfile(idlc()->isInMainFile());
+                delete(pConstants);
+                pConstants = static_cast<AstConstants*>(pExists);
+            } else
+            {
+                pScope->addDeclaration(pConstants);
+            }
+            idlc()->scopes()->push(pConstants);
+        }
+        delete $3;
+    }
+    constants_exports
+    {
+        idlc()->setParseState(PS_ConstantsBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(PS_ConstantsQsSeen);
+        /*
+         * Finished with this constants - pop it from the scope stack
+         */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+expression : const_expr ;
+
+const_expr : or_expr ;
+
+or_expr :
+    xor_expr
+    | or_expr '|' xor_expr
+    {
+        $$ = new AstExpression(ExprComb::Or, $1, $3);
+    }
+    ;
+
+xor_expr :
+    and_expr
+    | xor_expr '^' and_expr
+    {
+        $$ = new AstExpression(ExprComb::Xor, $1, $3);
+    }
+    ;
+
+and_expr :
+    shift_expr
+    | and_expr '&' shift_expr
+    {
+        $$ = new AstExpression(ExprComb::And, $1, $3);
+    }
+    ;
+
+shift_expr :
+    add_expr
+    | shift_expr IDL_LEFTSHIFT add_expr
+    {
+        $$ = new AstExpression(ExprComb::Left, $1, $3);
+    }
+    | shift_expr IDL_RIGHTSHIFT add_expr
+    {
+        $$ = new AstExpression(ExprComb::Right, $1, $3);
+    }
+    ;
+
+add_expr :
+    mult_expr
+    | add_expr '+' mult_expr
+    {
+        $$ = new AstExpression(ExprComb::Add, $1, $3);
+    }
+    | add_expr '-' mult_expr
+    {
+        $$ = new AstExpression(ExprComb::Minus, $1, $3);
+    }
+    ;
+
+mult_expr :
+    unary_expr
+    | mult_expr '*' unary_expr
+    {
+        $$ = new AstExpression(ExprComb::Mul, $1, $3);
+    }
+    | mult_expr '/' unary_expr
+    {
+        $$ = new AstExpression(ExprComb::Div, $1, $3);
+    }
+    | mult_expr '%' unary_expr
+    {
+        $$ = new AstExpression(ExprComb::Mod, $1, $3);
+    }
+    ;
+
+unary_expr :
+    primary_expr
+    | '+' primary_expr
+    {
+        $$ = new AstExpression(ExprComb::UPlus, $2, nullptr);
+    }
+    | '-' primary_expr
+    {
+        $$ = new AstExpression(ExprComb::UMinus, $2, nullptr);
+    }
+    | '~' primary_expr
+    {
+    }
+    ;
+
+primary_expr :
+    scoped_name
+    {
+        /*
+         * An expression which is a scoped name is not resolved now,
+         * but only when it is evaluated (such as when it is assigned
+         * as a constant value)
+         */
+        $$ = new AstExpression($1);
+    }
+    | literal
+    | '(' const_expr ')'
+    {
+        $$ = $2;
+    }
+    ;
+
+literal :
+    IDL_INTEGER_LITERAL
+    {
+        $$ = new AstExpression($1);
+    }
+    | IDL_INTEGER_ULITERAL
+    {
+        $$ = new AstExpression($1);
+    }
+    | IDL_FLOATING_PT_LITERAL
+    {
+        $$ = new AstExpression($1);
+    }
+    | IDL_TRUE
+    {
+        $$ = new AstExpression(sal_Int32(1), ET_boolean);
+    }
+    | IDL_FALSE
+    {
+        $$ = new AstExpression(sal_Int32(0), ET_boolean);
+    }
+    ;
+
+const_type :
+    integer_type
+    | byte_type
+    | boolean_type
+    | floating_pt_type
+    | scoped_name
+    {
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstDeclaration const * type = nullptr;
+
+        /*
+         * If the constant's type is a scoped name, it must resolve
+         * to a scalar constant type
+         */
+        if ( pScope ) {
+            type = pScope->lookupByName(*$1);
+            if (type) {
+                if (!ErrorHandler::checkPublished(type))
+                {
+                    type = nullptr;
+                    $$ = ET_none;
+                }
+                else
+                {
+                    type = resolveTypedefs(type);
+                    if (type->getNodeType() == NT_predefined)
+                    {
+                        $$ = static_cast< AstBaseType const * >(type)->
+                            getExprType();
+                    } else
+                        $$ = ET_any;
+                }
+            } else
+                $$ = ET_any;
+        } else
+            $$ = ET_any;
+    }
+    ;
+
+exception_header :
+    IDL_EXCEPTION
+    {
+        idlc()->setParseState(PS_ExceptSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_ExceptIDSeen);
+        checkIdentifier($3);
+    }
+    inheritance_spec
+    {
+        idlc()->setParseState(PS_InheritSpecSeen);
+
+        $$ = new FeInheritanceHeader(NT_exception, $3, $5, nullptr);
+        delete $5;
+    }
+    ;
+
+exception_dcl :
+    exception_header
+    {
+        idlc()->setParseState(PS_ExceptHeaderSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstException*   pExcept = nullptr;
+
+        if ( pScope )
+        {
+            AstException* pBase = static_cast< AstException* >(
+                $1->getInherits());
+            pExcept = new AstException(*$1->getName(), pBase, pScope);
+            pScope->addDeclaration(pExcept);
+        }
+        /*
+         * Push the scope of the exception on the scopes stack
+         */
+        idlc()->scopes()->push(pExcept);
+        delete $1;
+    }
+    '{'
+    {
+        idlc()->setParseState(PS_ExceptSqSeen);
+    }
+    members
+    {
+        idlc()->setParseState(PS_ExceptBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(PS_ExceptQsSeen);
+        /* this exception is finished, pop its scope from the stack */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+property :
+    flag_header
+    simple_type_spec
+    {
+        idlc()->setParseState(PS_PropertyTypeSeen);
+    }
+    at_least_one_declarator
+    {
+        idlc()->setParseState(PS_PropertyCompleted);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstAttribute*   pAttr = nullptr;
+        FeDeclList*     pList = $4;
+        FeDeclarator*   pDecl = nullptr;
+        AstType const * pType = nullptr;
+
+        if ( pScope->getScopeNodeType() == NT_singleton )
+        {
+            ErrorHandler::error0(ErrorCode::IllegalAdd);
+        } else
+        {
+            if ( ($1 & AF_ATTRIBUTE) == AF_ATTRIBUTE )
+                ErrorHandler::flagError(ErrorCode::WrongAttributeKeyword, AF_ATTRIBUTE);
+
+            if ( ($1 & AF_PROPERTY) != AF_PROPERTY )
+                ErrorHandler::flagError(ErrorCode::MissingAttributeKeyword, AF_PROPERTY);
+
+            /*
+             * Create nodes representing attributes and add them to the
+             * enclosing scope
+             */
+            if ( pScope && $2 && pList )
+            {
+                FeDeclList::iterator iter = pList->begin();
+                FeDeclList::iterator end = pList->end();
+
+                while (iter != end)
+                {
+                    pDecl = (*iter);
+                    if ( !pDecl )
+                    {
+                        ++iter;
+                        continue;
+                    }
+
+                    pType = FeDeclarator::compose($2);
+
+                    if ( !pType )
+                    {
+                        ++iter;
+                        continue;
+                    }
+
+                    pAttr = new AstAttribute(NT_property, $1, pType, pDecl->getName(), pScope);
+
+                    pScope->addDeclaration(pAttr);
+                    ++iter;
+                    delete pDecl;
+                }
+            }
+        }
+
+        if ( pList )
+            delete pList;
+    }
+    | error ';'
+    {
+        yyerror("property");
+        yyerrok;
+    }
+    ;
+
+service_exports :
+    service_exports service_export
+    | /* EMPTY */
+    ;
+
+service_export :
+    service_interface_header
+    at_least_one_scoped_name
+    ';'
+    {
+        idlc()->setParseState(PS_ServiceMemberSeen);
+
+        AstScope*           pScope = idlc()->scopes()->topNonNull();
+        AstDeclaration*     pDecl = nullptr;
+        AstInterfaceMember* pIMember = nullptr;
+
+        if ( pScope->getScopeNodeType() == NT_singleton )
+        {
+            ErrorHandler::error0(ErrorCode::IllegalAdd);
+        } else
+        {
+            /*
+             * Create a node representing a class member.
+             * Store it in the enclosing scope
+             */
+            if ( pScope && $2 )
+            {
+                for (auto const& elem : *($2))
+                {
+                    pDecl = pScope->lookupByName(elem);
+                    if ( pDecl && (pDecl->getNodeType() == NT_interface) )
+                    {
+                        /* we relax the strict published check and allow to add new
+                         * interfaces if they are optional
+                         */
+                        bool bOptional = (($1 & AF_OPTIONAL) == AF_OPTIONAL);
+                        if ( ErrorHandler::checkPublished(pDecl, bOptional) )
+                        {
+                            pIMember = new AstInterfaceMember(
+                                $1, static_cast<AstInterface*>(pDecl), elem, pScope);
+                            pScope->addDeclaration(pIMember);
+                        }
+                    } else
+                    {
+                        ErrorHandler::lookupError(ErrorCode::InterfaceMemberLookup, elem, scopeAsDecl(pScope));
+                    }
+                }
+            }
+        }
+        delete $2;
+    }
+    | service_service_header
+    at_least_one_scoped_name
+    ';'
+    {
+        idlc()->setParseState(PS_ServiceMemberSeen);
+
+        AstScope*         pScope = idlc()->scopes()->topNonNull();
+        AstDeclaration*   pDecl = nullptr;
+        AstServiceMember* pSMember = nullptr;
+
+        /*
+         * Create a node representing a class member.
+         * Store it in the enclosing scope
+         */
+        if ( pScope && $2 )
+        {
+            for (auto const& elem : *($2))
+            {
+                pDecl = pScope->lookupByName(elem);
+                if ( pDecl && (pDecl->getNodeType() == NT_service) )
+                {
+                    if ( static_cast< AstService * >(pDecl)->isSingleInterfaceBasedService() || (pScope->getScopeNodeType() == NT_singleton && pScope->nMembers() > 0) )
+                        ErrorHandler::error0(ErrorCode::IllegalAdd);
+                    else if ( ErrorHandler::checkPublished(pDecl) )
+                    {
+                        pSMember = new AstServiceMember(
+                            $1, static_cast<AstService*>(pDecl), elem, pScope);
+                        pScope->addDeclaration(pSMember);
+                    }
+                } else
+                {
+                    ErrorHandler::lookupError(ErrorCode::ServiceMemberLookup, elem, scopeAsDecl(pScope));
+                }
+            }
+        }
+        delete $2;
+    }
+    | IDL_OBSERVES
+    at_least_one_scoped_name
+    ';'
+    {
+        idlc()->setParseState(PS_ServiceMemberSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstDeclaration* pDecl = nullptr;
+        AstObserves*    pObserves = nullptr;
+
+        if ( pScope->getScopeNodeType() == NT_singleton )
+        {
+            ErrorHandler::error0(ErrorCode::IllegalAdd);
+        } else
+        {
+            /*
+             * Create a node representing a class member.
+             * Store it in the enclosing scope
+             */
+            if ( pScope && $2 )
+            {
+                for (auto const& elem : *($2))
+                {
+                    pDecl = pScope->lookupByName(elem);
+                    if ( pDecl && (pDecl->getNodeType() == NT_interface) )
+                    {
+                        pObserves = new AstObserves(static_cast<AstInterface*>(pDecl), elem, pScope);
+                        pScope->addDeclaration(pObserves);
+                    } else
+                    {
+                        ErrorHandler::lookupError(ErrorCode::InterfaceMemberLookup, elem, scopeAsDecl(pScope));
+                    }
+                }
+            }
+        }
+        delete $2;
+    }
+    | IDL_NEEDS
+    at_least_one_scoped_name
+    ';'
+    {
+        idlc()->setParseState(PS_ServiceMemberSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstDeclaration* pDecl = nullptr;
+        AstNeeds*       pNeeds = nullptr;
+
+        if ( pScope->getScopeNodeType() == NT_singleton )
+        {
+            ErrorHandler::error0(ErrorCode::IllegalAdd);
+        } else
+        {
+            /*
+             * Create a node representing a class member.
+             * Store it in the enclosing scope
+             */
+            if ( pScope && $2 )
+            {
+                for (auto const& elem : *($2))
+                {
+                    pDecl = pScope->lookupByName(elem);
+                    if ( pDecl && (pDecl->getNodeType() == NT_service) )
+                    {
+                        pNeeds = new AstNeeds(static_cast<AstService*>(pDecl), elem, pScope);
+                        pScope->addDeclaration(pNeeds);
+                    } else
+                    {
+                        ErrorHandler::lookupError(ErrorCode::ServiceMemberLookup, elem, scopeAsDecl(pScope));
+                    }
+                }
+            }
+        }
+        delete $2;
+    }
+    | property
+    ';'
+    {
+        idlc()->setParseState(PS_PropertyDeclSeen);
+    }
+    ;
+
+service_interface_header :
+    IDL_INTERFACE
+    {
+        idlc()->setParseState(PS_ServiceIFHeadSeen);
+        $$ = AF_INVALID;
+    }
+    | flag_header
+    IDL_INTERFACE
+    {
+        idlc()->setParseState(PS_ServiceIFHeadSeen);
+        if ( (AF_OPTIONAL != $1) && ( AF_INVALID != $1) )
+            ErrorHandler::flagError(ErrorCode::ExpectedOptional, $1);
+        $$ = $1;
+    }
+    ;
+
+service_service_header :
+    IDL_SERVICE
+    {
+        idlc()->setParseState(PS_ServiceSHeadSeen);
+        $$ = AF_INVALID;
+    }
+    | flag_header
+    IDL_SERVICE
+    {
+        idlc()->setParseState(PS_ServiceSHeadSeen);
+        if ( (AF_OPTIONAL != $1) && ( AF_INVALID != $1) )
+            ErrorHandler::flagError(ErrorCode::ExpectedOptional, $1);
+        $$ = $1;
+    }
+    ;
+
+service_dcl :
+    IDL_SERVICE
+    {
+        idlc()->setParseState(PS_ServiceSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_ServiceIDSeen);
+        checkIdentifier($3);
+
+        AstScope*   pScope = idlc()->scopes()->topNonNull();
+        AstService* pService = nullptr;
+
+        /*
+         * Make a new service and add it to the enclosing scope
+         */
+        if (pScope != nullptr)
+        {
+            pService = new AstService(*$3, pScope);
+            pScope->addDeclaration(pService);
+        }
+        delete $3;
+        /*
+         * Push it on the stack
+         */
+        idlc()->scopes()->push(pService);
+    }
+    service_dfn
+    {
+        /* this service is finished, pop its scope from the stack */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+service_dfn:
+    service_interface_dfn
+    | service_obsolete_dfn
+    ;
+
+service_interface_dfn:
+    ':' scoped_name
+    {
+        AstScope * scope = idlc()->scopes()->nextToTop();
+            // skip the scope pushed by service_dcl
+        AstDeclaration * decl = scope->lookupByName(*$2);
+        if (decl != nullptr
+            && resolveTypedefs(decl)->getNodeType() == NT_interface)
+        {
+            if (ErrorHandler::checkPublished(decl)) {
+                idlc()->scopes()->top()->addDeclaration(decl);
+            }
+        } else {
+            ErrorHandler::lookupError(
+                ErrorCode::InterfaceMemberLookup, *$2, scopeAsDecl(scope));
+        }
+        delete $2;
+    }
+    opt_service_body
+    {
+        AstService * s = static_cast< AstService * >(idlc()->scopes()->top());
+        if (s != nullptr) {
+            s->setSingleInterfaceBasedService();
+            s->setDefaultConstructor(!$4);
+        }
+    }
+    ;
+
+opt_service_body:
+    service_body { $$ = true; }
+    | /* empty */ { $$ = false; }
+    ;
+
+service_body:
+    '{'
+    constructors
+    '}'
+    ;
+
+constructors:
+    constructors constructor
+    | /* empty */
+    ;
+
+constructor:
+    identifier
+    {
+        checkIdentifier($1);
+        AstScope * scope = idlc()->scopes()->top();
+        AstOperation * ctor = new AstOperation(nullptr, *$1, scope);
+        delete $1;
+        scope->addDeclaration(ctor);
+        idlc()->scopes()->push(ctor);
+    }
+    '('
+    parameters
+    ')'
+    opt_raises
+    {
+        static_cast< AstOperation * >(idlc()->scopes()->top())->setExceptions(
+            $6);
+        delete $6;
+        idlc()->scopes()->pop();
+        if (static_cast< AstService * >(idlc()->scopes()->top())->
+            checkLastConstructor())
+        {
+            ErrorHandler::error0(ErrorCode::SimilarConstructors);
+        }
+    }
+    ';'
+    ;
+
+singleton_dcl :
+    IDL_SINGLETON
+    {
+        idlc()->setParseState(PS_SingletonSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_SingletonIDSeen);
+        checkIdentifier($3);
+
+        AstScope*   pScope = idlc()->scopes()->topNonNull();
+        AstService* pService = nullptr;
+
+        /*
+         * Make a new service and add it to the enclosing scope
+         */
+        if (pScope != nullptr)
+        {
+            pService = new AstService(NT_singleton, *$3, pScope);
+            pScope->addDeclaration(pService);
+        }
+        delete $3;
+        /*
+         * Push it on the stack
+         */
+        idlc()->scopes()->push(pService);
+    }
+    singleton_dfn
+    {
+        /* this singleton is finished, pop its scope from the stack */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+singleton_dfn:
+    singleton_interface_dfn
+    | service_obsolete_dfn
+    ;
+
+singleton_interface_dfn:
+    ':' scoped_name
+    {
+        AstScope * scope = idlc()->scopes()->nextToTop();
+            // skip the scope (needlessly) pushed by singleton_dcl
+        AstDeclaration * decl = scope->lookupByName(*$2);
+        if (decl != nullptr
+            && resolveTypedefs(decl)->getNodeType() == NT_interface)
+        {
+            if (ErrorHandler::checkPublished(decl)) {
+                idlc()->scopes()->top()->addDeclaration(decl);
+            }
+        } else {
+            ErrorHandler::lookupError(
+                ErrorCode::InterfaceMemberLookup, *$2, scopeAsDecl(scope));
+        }
+        delete $2;
+    }
+    ;
+
+service_obsolete_dfn:
+    '{'
+    {
+        idlc()->setParseState(
+            idlc()->scopes()->top()->getScopeNodeType() == NT_service
+            ? PS_ServiceSqSeen : PS_SingletonSqSeen);
+    }
+    service_exports
+    {
+        idlc()->setParseState(
+            idlc()->scopes()->top()->getScopeNodeType() == NT_service
+            ? PS_ServiceBodySeen : PS_SingletonBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(
+            idlc()->scopes()->top()->getScopeNodeType() == NT_service
+            ? PS_ServiceQsSeen : PS_SingletonQsSeen);
+    }
+    ;
+
+type_dcl :
+    IDL_TYPEDEF
+    {
+        idlc()->setParseState(PS_TypedefSeen);
+    }
+    type_declarator {}
+    | struct_type {}
+    | enum_type {}
+    ;
+
+type_declarator :
+    type_spec
+    {
+        idlc()->setParseState(PS_TypeSpecSeen);
+        if ($1 != nullptr && $1->getNodeType() == NT_instantiated_struct) {
+            ErrorHandler::error0(ErrorCode::InstantiatedStructTypeTypedef);
+        }
+    }
+    at_least_one_declarator
+    {
+        idlc()->setParseState(PS_DeclaratorsSeen);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstTypeDef*     pTypeDef = nullptr;
+        FeDeclList*     pList = $3;
+        FeDeclarator*   pDecl = nullptr;
+        AstType const * pType = nullptr;
+
+        /*
+         * Create nodes representing typedefs and add them to the
+         * enclosing scope
+         */
+        if ( pScope && $1 && pList )
+        {
+            FeDeclList::iterator iter = pList->begin();
+            FeDeclList::iterator end = pList->end();
+
+            while (iter != end)
+            {
+                pDecl = (*iter);
+                if ( !pDecl )
+                {
+                    ++iter;
+                    continue;
+                }
+
+                pType = FeDeclarator::compose($1);
+
+                if ( !pType )
+                {
+                    ++iter;
+                    continue;
+                }
+
+                pTypeDef = new AstTypeDef(pType, pDecl->getName(), pScope);
+
+                pScope->addDeclaration(pTypeDef);
+                ++iter;
+                delete pDecl;
+            }
+            delete pList;
+        }
+    }
+    ;
+
+at_least_one_declarator :
+    declarator declarators
+    {
+        if ( $2 )
+        {
+            $2->push_back($1);
+            $$ = $2;
+        } else
+        {
+            FeDeclList* pList = new FeDeclList;
+            pList->push_back($1);
+            $$ = pList;
+        }
+    }
+    ;
+
+declarators :
+    declarators
+    ','
+    {
+        idlc()->setParseState(PS_DeclsCommaSeen);
+    }
+    declarator
+    {
+        idlc()->setParseState(PS_DeclsDeclSeen);
+        if ( $1 )
+        {
+            $1->push_back($4);
+            $$ = $1;
+        } else
+        {
+            FeDeclList* pList = new FeDeclList;
+            pList->push_back($4);
+            $$ = pList;
+        }
+    }
+    | /* EMPTY */
+    {
+        $$ = nullptr;
+    }
+    ;
+
+declarator :
+    identifier
+    {
+        // For historic reasons, the struct com.sun.star.uno.Uik contains
+        // members with illegal names (of the form "m_DataN"); avoid useless
+        // warnings about them:
+        AstScope * scope = idlc()->scopes()->top();
+        if (scope == nullptr || scope->getScopeNodeType() != NT_struct
+            || (scopeAsDecl(scope)->getScopedName()
+                != "com::sun::star::uno::Uik"))
+        {
+            checkIdentifier($1);
+        }
+
+        $$ = new FeDeclarator(*$1);
+        delete $1;
+    }
+    ;
+
+at_least_one_scoped_name :
+    scoped_name scoped_names
+    {
+        if ($2)
+        {
+            $2->push_front(*$1);
+            $$ = $2;
+        } else
+        {
+            std::list< OString >* pScopedNames = new std::list< OString >;
+            // coverity[copy_paste_error : FALSE] - this is not a cut and paste
+            pScopedNames->push_back(*$1);
+            $$ = pScopedNames;
+        }
+        delete $1;
+    }
+    ;
+
+scoped_names :
+    scoped_names
+    ','
+    {
+        idlc()->setParseState(PS_SNListCommaSeen);
+    }
+    scoped_name
+    {
+        idlc()->setParseState(PS_ScopedNameSeen);
+        if ($1)
+        {
+            $1->push_back(*$4);
+            $$ = $1;
+        } else
+        {
+            std::list< OString >* pNames = new std::list< OString >;
+            pNames->push_back(*$4);
+            $$ = pNames;
+        }
+        delete $4;
+    }
+    | /* EMPTY */
+    {
+        $$ = nullptr;
+    }
+    ;
+
+scoped_name :
+    identifier
+    {
+        idlc()->setParseState(PS_SN_IDSeen);
+        checkIdentifier($1);
+        $$ = $1;
+    }
+    | IDL_SCOPESEPARATOR
+    {
+        idlc()->setParseState(PS_ScopeDelimSeen);
+    }
+    identifier
+    {
+        checkIdentifier($3);
+        OString* pName = new OString("::");
+        *pName += *$3;
+        delete $3;
+        $$ = pName;
+    }
+    | scoped_name
+    IDL_SCOPESEPARATOR
+    {
+    }
+    identifier
+    {
+        checkIdentifier($4);
+        *$1 += "::";
+        *$1 += *$4;
+        delete $4;
+        $$ = $1;
+    }
+    ;
+
+type_spec :
+    simple_type_spec
+    | constructed_type_spec
+    ;
+
+simple_type_spec :
+    fundamental_type
+    | scoped_name opt_type_args
+    {
+        $$ = createNamedType($1, $2);
+    }
+    ;
+
+fundamental_type:
+    base_type_spec
+    {
+        $$ = idlc()->scopes()->bottom()->lookupPrimitiveType($1);
+    }
+    | sequence_type_spec
+    ;
+
+opt_type_args:
+    '<' type_args '>' { $$ = $2; }
+    | /* empty */ { $$ = nullptr; }
+    ;
+
+type_args:
+    type_arg
+    {
+        $$ = new DeclList;
+        $$->push_back(const_cast< AstDeclaration * >($1)); //TODO: const_cast
+    }
+    | type_args ',' type_arg
+    {
+        $1->push_back(const_cast< AstDeclaration * >($3)); //TODO: const_cast
+        $$ = $1;
+    }
+    ;
+
+type_arg:
+    simple_type_spec
+    {
+        if ($1 != nullptr && static_cast< AstType const * >($1)->isUnsigned()) {
+            ErrorHandler::error0(ErrorCode::UnsignedTypeArgument);
+        }
+        $$ = $1;
+    }
+    ;
+
+base_type_spec :
+    integer_type
+    | floating_pt_type
+    | char_type
+    | boolean_type
+    | byte_type
+    | any_type
+    | type_type
+    | string_type
+    ;
+
+integer_type :
+    signed_int
+    | unsigned_int
+    ;
+
+signed_int :
+    IDL_LONG
+    {
+        $$ = ET_long;
+    }
+    | IDL_HYPER
+    {
+        $$ = ET_hyper;
+    }
+    | IDL_SHORT
+    {
+        $$ = ET_short;
+    }
+    ;
+
+unsigned_int :
+    IDL_UNSIGNED IDL_LONG
+    {
+        $$ = ET_ulong;
+    }
+    | IDL_UNSIGNED IDL_HYPER
+    {
+        $$ = ET_uhyper;
+    }
+    | IDL_UNSIGNED IDL_SHORT
+    {
+        $$ = ET_ushort;
+    }
+    ;
+
+floating_pt_type :
+    IDL_DOUBLE
+    {
+        $$ = ET_double;
+    }
+    | IDL_FLOAT
+    {
+        $$ = ET_float;
+    }
+    ;
+
+char_type :
+    IDL_CHAR
+    {
+        $$ = ET_char;
+    }
+    ;
+
+byte_type :
+    IDL_BYTE
+    {
+        $$ = ET_byte;
+    }
+    ;
+
+boolean_type :
+    IDL_BOOLEAN
+    {
+        $$ = ET_boolean;
+    }
+    ;
+
+any_type :
+    IDL_ANY
+    {
+        $$ = ET_any;
+    }
+    ;
+
+type_type :
+    IDL_TYPE
+    {
+        $$ = ET_type;
+    }
+    ;
+
+string_type :
+    IDL_STRING
+    {
+        $$ = ET_string;
+    }
+    ;
+
+constructed_type_spec :
+    struct_type
+    | enum_type
+    ;
+
+sequence_type_spec :
+    IDL_SEQUENCE
+    {
+        idlc()->setParseState(PS_SequenceSeen);
+        /*
+         * Push a sequence marker on scopes stack
+         */
+        idlc()->scopes()->push(nullptr);
+    }
+    '<'
+    {
+        idlc()->setParseState(PS_SequenceSqSeen);
+    }
+    simple_type_spec
+    {
+        idlc()->setParseState(PS_SequenceTypeSeen);
+    }
+    '>'
+    {
+        idlc()->setParseState(PS_SequenceQsSeen);
+        /*
+         * Remove sequence marker from scopes stack
+         */
+        if (idlc()->scopes()->top() == nullptr)
+            idlc()->scopes()->pop();
+        /*
+         * Create a node representing a sequence
+         */
+        AstScope* pScope = idlc()->scopes()->bottom();
+        AstDeclaration* pDecl = nullptr;
+        AstDeclaration* pSeq = nullptr;
+
+        if ( $5 )
+        {
+            AstType const *pType = static_cast<AstType const *>($5);
+            if ( pType )
+            {
+                pSeq = new AstSequence(pType, pScope);
+                /*
+                 * Add this AstSequence to the types defined in the global scope
+                 */
+                pDecl = pScope->addDeclaration(pSeq);
+                if ( pSeq != pDecl )
+                {
+                    // if sequence type already defined then use it
+                    delete pSeq;
+                    pSeq = pDecl;
+                }
+            }
+        }
+        $$ = pSeq;
+    }
+    | error '>'
+    {
+        yyerror("sequence declaration");
+        yyerrok;
+        $$ = nullptr;
+    }
+    ;
+
+struct_type :
+    structure_header
+    {
+        idlc()->setParseState(PS_StructHeaderSeen);
+
+        AstScope*   pScope = idlc()->scopes()->topNonNull();
+        AstStruct*  pStruct = nullptr;
+
+        if ( pScope )
+        {
+            AstStruct const* pBase= static_cast< AstStruct const* >(resolveTypedefs($1->getInherits()));
+            pStruct = new AstStruct(
+                *$1->getName(), $1->getTypeParameters(), pBase, pScope);
+            pScope->addDeclaration(pStruct);
+        }
+        /*
+         * Push the scope of the struct on the scopes stack
+         */
+        idlc()->scopes()->push(pStruct);
+        delete $1;
+    }
+    '{'
+    {
+        idlc()->setParseState(PS_StructSqSeen);
+    }
+    at_least_one_member
+    {
+        idlc()->setParseState(PS_StructBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(PS_StructQsSeen);
+        /* this exception is finished, pop its scope from the stack */
+        idlc()->scopes()->pop();
+    }
+    ;
+
+structure_header :
+    IDL_STRUCT
+    {
+        idlc()->setParseState(PS_StructSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_StructIDSeen);
+        checkIdentifier($3);
+    }
+    opt_type_params
+    inheritance_spec
+    {
+        idlc()->setParseState(PS_InheritSpecSeen);
+
+        // Polymorphic struct type templates with base types would cause various
+        // problems in language bindings, so forbid them here.  For example,
+        // GCC prior to version 3.4 fails with code like
+        //
+        //  struct Base { ... };
+        //  template< typename typeparam_T > struct Derived: public Base {
+        //      int member1 CPPU_GCC3_ALIGN(Base);
+        //      ... };
+        //
+        // (Note that plain struct types with instantiated polymorphic struct
+        // type bases, which might also cause problems in language bindings, are
+        // already rejected on a syntactic level.)
+        if ($5 != nullptr && $6 != nullptr) {
+            ErrorHandler::error0(ErrorCode::StructTypeTemplateWithBase);
+        }
+
+        $$ = new FeInheritanceHeader(NT_struct, $3, $6, $5);
+        delete $5;
+        delete $6;
+    }
+    ;
+
+opt_type_params:
+    '<' type_params '>' { $$ = $2; }
+    | /* empty */ { $$ = nullptr; }
+    ;
+
+type_params:
+    identifier
+    {
+        $$ = new std::vector< OString >;
+        $$->push_back(*$1);
+        delete $1;
+    }
+    | type_params ',' identifier
+    {
+        if (std::find($1->begin(), $1->end(), *$3) != $1->end()) {
+            ErrorHandler::error0(ErrorCode::IdenticalTypeParameters);
+        }
+        $1->push_back(*$3);
+        delete $3;
+        $$ = $1;
+    }
+    ;
+
+at_least_one_member : member members ;
+
+members :
+    members member
+    | /* EMPTY */
+    ;
+
+member :
+    type_or_parameter
+    {
+        idlc()->setParseState(PS_MemberTypeSeen);
+    }
+    at_least_one_declarator
+    {
+        idlc()->setParseState(PS_MemberDeclsSeen);
+    }
+    ';'
+    {
+        idlc()->setParseState(PS_MemberDeclsCompleted);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstMember*      pMember = nullptr;
+        FeDeclList*     pList = $3;
+        FeDeclarator*   pDecl = nullptr;
+        AstType const * pType = nullptr;
+
+        // !!! check recursive type
+
+        if ( pScope && pList && $1 )
+        {
+            FeDeclList::iterator iter = pList->begin();
+            FeDeclList::iterator end = pList->end();
+            while (iter != end)
+            {
+                pDecl = (*iter);
+                if ( !pDecl )
+                {
+                    ++iter;
+                    continue;
+                }
+
+                pType = FeDeclarator::compose($1);
+
+                if ( !pType )
+                {
+                    ++iter;
+                    continue;
+                }
+
+                pMember = new AstMember(pType, pDecl->getName(), pScope);
+
+                if ( !pDecl->checkType($1) )
+                {
+                    // WARNING
+                }
+
+                pScope->addDeclaration(pMember);
+                ++iter;
+                delete pDecl;
+            }
+            delete pList;
+        }
+    }
+    | error ';'
+    {
+        yyerror("member definition");
+        yyerrok;
+    }
+    ;
+
+type_or_parameter:
+    fundamental_type
+    | scoped_name opt_type_args
+    {
+        AstDeclaration const * decl = nullptr;
+        AstStruct * scope = static_cast< AstStruct * >(idlc()->scopes()->top());
+        if (scope != nullptr && $2 == nullptr) {
+            decl = scope->findTypeParameter(*$1);
+        }
+        if (decl != nullptr) {
+            delete $1;
+            delete $2;
+        } else {
+            decl = createNamedType($1, $2);
+            if (scope != nullptr && includes(decl, scopeAsDecl(scope))) {
+                ErrorHandler::error1(
+                    ErrorCode::RecursiveType, scopeAsDecl(scope));
+                decl = nullptr;
+            }
+        }
+        $$ = decl;
+    }
+    ;
+
+enum_type :
+    IDL_ENUM
+    {
+        idlc()->setParseState(PS_EnumSeen);
+    }
+    identifier
+    {
+        idlc()->setParseState(PS_EnumIDSeen);
+        checkIdentifier($3);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstEnum*        pEnum = nullptr;
+
+        /*
+         * Create a node representing an enum and add it to its
+         * enclosing scope
+         */
+        if (pScope != nullptr)
+        {
+            pEnum = new AstEnum(*$3, pScope);
+            /*
+             * Add it to its defining scope
+             */
+            pScope->addDeclaration(pEnum);
+        }
+        delete $3;
+        /*
+         * Push the enum scope on the scopes stack
+         */
+        idlc()->scopes()->push(pEnum);
+
+    }
+    '{'
+    {
+        idlc()->setParseState(PS_EnumSqSeen);
+    }
+    at_least_one_enumerator
+    {
+        idlc()->setParseState(PS_EnumBodySeen);
+    }
+    '}'
+    {
+        idlc()->setParseState(PS_EnumQsSeen);
+        /*
+         * Done with this enum. Pop its scope from the scopes stack
+         */
+        if (idlc()->scopes()->top() == nullptr)
+            $$ = nullptr;
+        else
+        {
+            $$ = static_cast<AstEnum*>(idlc()->scopes()->topNonNull());
+            idlc()->scopes()->pop();
+        }
+    }
+    ;
+
+at_least_one_enumerator : enumerator enumerators ;
+
+enumerators :
+    enumerators
+    ','
+    {
+        idlc()->setParseState(PS_EnumCommaSeen);
+    }
+    enumerator
+    | /* EMPTY */
+    | error ','
+    {
+        yyerror("enumerator definition");
+        yyerrok;
+    }
+    ;
+
+enumerator :
+    identifier
+    {
+        checkIdentifier($1);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstEnum*        pEnum = nullptr;
+        AstConstant*    pEnumVal = nullptr;
+
+        if ( pScope && pScope->getScopeNodeType() == NT_enum)
+        {
+            pEnum = static_cast<AstEnum*>(pScope);
+            if (pEnum && $1)
+            {
+                AstExpression* pExpr = new AstExpression(pEnum->getEnumValueCount());
+                pEnumVal = new AstConstant(ET_long , NT_enum_val,
+                                           pExpr, *$1, pScope);
+            }
+            if ( pEnum->checkValue(pEnumVal->getConstValue()) )
+                ErrorHandler::error1(ErrorCode::Eval, pEnum);
+
+            pScope->addDeclaration(pEnumVal);
+        }
+        delete $1;
+    }
+    | identifier
+    '='
+    const_expr
+    {
+        checkIdentifier($1);
+
+        AstScope*       pScope = idlc()->scopes()->topNonNull();
+        AstEnum*        pEnum = nullptr;
+        AstConstant*    pEnumVal = nullptr;
+
+        if ( $3 && pScope && pScope->getScopeNodeType() == NT_enum)
+        {
+            $3->evaluate();
+            if ( $3->coerce(ET_long) )
+            {
+                pEnum = static_cast<AstEnum*>(pScope);
+                if (pEnum)
+                {
+                    pEnumVal = new AstConstant(ET_long , NT_enum_val,
+                                               $3, *$1, pScope);
+                }
+                if ( pEnum->checkValue(pEnumVal->getConstValue()) )
+                    ErrorHandler::error1(ErrorCode::Eval, pEnum);
+
+                pScope->addDeclaration(pEnumVal);
+            } else
+            {
+                ErrorHandler::coercionError($3, ET_long);
+                delete $3;
+            }
+        }
+        delete $1;
+    }
+    ;
+
+identifier:
+    IDL_IDENTIFIER
+    | IDL_GET { $$ = new OString("get"); }
+    | IDL_SET { $$ = new OString("set"); }
+    | IDL_PUBLISHED { $$ = new OString("published"); }
+    ;
+
+%%
+
+/*
+ * Report an error situation discovered in a production
+ */
+void yyerror(char const *errmsg)
+{
+    ErrorHandler::syntaxError(idlc()->getParseState(), idlc()->getLineNumber(), errmsg);
+    idlc()->setParseState(PS_NoState);
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
diff --git a/idlc/source/scanner.l b/idlc/source/scanner.l
new file mode 100644
index 000000000..aaf74a564
--- /dev/null
+++ b/idlc/source/scanner.l
@@ -0,0 +1,526 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4; fill-column: 100 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * This file incorporates work covered by the following license notice:
+ *
+ *   Licensed to the Apache Software Foundation (ASF) under one or more
+ *   contributor license agreements. See the NOTICE file distributed
+ *   with this work for additional information regarding copyright
+ *   ownership. The ASF licenses this file to you under the Apache
+ *   License, Version 2.0 (the "License"); you may not use this file
+ *   except in compliance with the License. You may obtain a copy of
+ *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
+ */
+
+%option yylineno
+
+%{
+/*
+ * scanner.ll - Lexical scanner for IDLC 1.0
+ */
+
+#include <sal/config.h>
+
+#include <stdlib.h>
+#include <string.h>
+
+#include <o3tl/safeint.hxx>
+#include <o3tl/string_view.hxx>
+#include <rtl/character.hxx>
+
+#if defined _MSC_VER
+#pragma warning ( push )
+// Silence warnings about redefinition of INT8_MIN etc in stdint.h
+// The flex-generated workdir/LexTarget/idlc/source/scanner.cxx defines them prior to these includes
+#pragma warning ( disable : 4005 )
+#endif
+#include <idlc.hxx>
+#if defined _MSC_VER
+#pragma warning ( pop )
+#endif
+#include <errorhandler.hxx>
+#include <fehelper.hxx>
+
+#include "attributeexceptions.hxx"
+
+
+class AstExpression;
+class AstMember;
+
+#include <parser.hxx>
+
+/* handle locations */
+static int yycolumn = 1;
+
+#define YY_USER_ACTION idlc()->setOffset(yycolumn, yycolumn+yyleng-1); \
+    yycolumn += yyleng;
+
+static sal_Int32       beginLine = 0;
+static OString docu;
+
+static int asciiToInteger(char const * s, sal_Int64  * sval, sal_uInt64 * uval) {
+    bool neg = false;
+    if (*s == '-') {
+        neg = true;
+        ++s;
+    }
+    unsigned int base = 10;
+    if (*s == '0') {
+        base = 8;
+        ++s;
+        if (*s == 'X' || *s == 'x') {
+            base = 16;
+            ++s;
+        }
+    }
+    sal_uInt64 val = 0;
+    for (; *s != 0; ++s) {
+        unsigned int n;
+        if (*s >= '0' && *s <= '9') {
+            n = *s - '0';
+        } else {
+            switch (*s) {
+            case 'A':
+            case 'a':
+                n = 10;
+                break;
+            case 'B':
+            case 'b':
+                n = 11;
+                break;
+            case 'C':
+            case 'c':
+                n = 12;
+                break;
+            case 'D':
+            case 'd':
+                n = 13;
+                break;
+            case 'E':
+            case 'e':
+                n = 14;
+                break;
+            case 'F':
+            case 'f':
+                n = 15;
+                break;
+            default:
+                goto done;
+            }
+        }
+        // The following guarantees the invariant val <= SAL_MAX_UINT64 (because
+        // base and n are sufficiently small), *if*
+        // std::numeric_limits<sal_uInt64>::max() == SAL_MAX_UINT64:
+        sal_uInt64 nval = val * base + n;
+        if (nval < val) {
+            ErrorHandler::syntaxError(
+                PS_NoState, idlc()->getLineNumber(),
+                "integral constant too large");
+            val = 0;
+            break;
+        }
+        val = nval;
+    }
+ done:
+    if (neg) {
+        if (val < SAL_CONST_UINT64(0x8000000000000000)) {
+            *sval = -static_cast< sal_Int64 >(val);
+        } else if (val == SAL_CONST_UINT64(0x8000000000000000)) {
+            *sval = SAL_MIN_INT64;
+        } else {
+            ErrorHandler::syntaxError(
+                PS_NoState, idlc()->getLineNumber(),
+                "negative integral constant too large");
+            *sval = 0;
+        }
+        return IDL_INTEGER_LITERAL;
+    } else if (val <= o3tl::make_unsigned(SAL_MAX_INT64)) {
+        *sval = static_cast< sal_Int64 >(val);
+        return IDL_INTEGER_LITERAL;
+    } else {
+        *uval = val;
+        return IDL_INTEGER_ULITERAL;
+    }
+}
+
+static double asciiToFloat(const char *s)
+{
+    double      d = 0.0;
+    double      e, k;
+    sal_Int32   neg = 0;
+
+    if (*s == '-')
+    {
+        neg = 1;
+        s++;
+    }
+    while (*s >= '0' && *s <= '9')
+    {
+        d = (d * 10) + *s - '0';
+        s++;
+    }
+    if (*s == '.')
+    {
+        s++;
+        e = 10;
+        while (*s >= '0' && *s <= '9')
+        {
+            d += (*s - '0') / (e * 1.0);
+            e *= 10;
+            s++;
+        }
+    }
+    if (*s == 'e' || *s == 'E')
+    {
+        s++;
+        if (*s == '-')
+        {
+            s++;
+        } else
+        {
+            if (*s == '+')
+                s++;
+            e = 0;
+            while (*s >= '0' && *s <= '9')
+            {
+                e = (e * 10) + *s - '0';
+                s++;
+            }
+            if (e > 0)
+            {
+                for (k = 1; e > 0; k *= 10, e--)
+                    ;
+                d /= k;
+            }
+        }
+    }
+    if (neg) d *= -1.0;
+    return d;
+}
+
+static void idlParsePragma(char* pPragma)
+{
+    OString pragma(pPragma);
+    sal_Int32 index = pragma.indexOf("include");
+    char* begin = pPragma + index + 8;
+    char* offset = begin;
+    while (*offset != ',') offset++;
+    //OString include = pragma.copy(index + 8, offset - begin);
+    //unused// idlc()->insertInclude(pragma.copy(index + 8, (sal_Int32)(offset - begin)));
+}   
+
+static void parseLineAndFile(char* pBuf)
+{
+    char    *r = pBuf;
+    char    *h;
+    bool    bIsInMain = false;
+
+    /* Skip initial '#' */
+    if (*r != '#')
+        return;
+
+    /* Find line number */
+    for (r++; *r == ' ' || *r == '\t' || rtl::isAsciiAlpha(static_cast<unsigned char>(*r)); r++) ;
+    h = r;
+    for (; *r != '\0' && *r != ' ' && *r != '\t'; r++) ;
+    *r++ = 0;
+    idlc()->setLineNumber(sal_uInt32(atol(h)));
+    yylineno = atol(h);
+
+    /* Find file name, if present */
+    for (; *r != '"'; r++)
+    {
+        if (*r == '\n' || *r == '\0')
+            return;
+    }
+    h = ++r;
+    for (; *r != '"'; r++) ;
+    *r = 0;
+    if (*h == '\0')
+        idlc()->setFileName("standard input");
+    else
+        idlc()->setFileName(OString(h));
+
+    bIsInMain = idlc()->getFileName() == idlc()->getRealFileName();
+    idlc()->setInMainfile(bIsInMain);       
+}   
+
+// Suppress any warnings from generated code:
+#ifdef __GNUC__
+#pragma GCC diagnostic ignored "-Wunused-function"
+#pragma GCC diagnostic ignored "-Wunused-label"
+#elif defined _MSC_VER
+/**/
+#ifdef yywrap
+#undef  yywrap
+#define yywrap() 1
+#endif
+/**/
+#endif
+#define YY_NO_UNISTD_H
+%}
+
+%option noyywrap
+%option never-interactive
+
+%x DOCU
+%x COMMENT
+
+DIGIT           [0-9]
+OCT_DIGIT       [0-7]
+HEX_DIGIT       [a-fA-F0-9]
+CAPITAL         [A-Z]
+ALPHA           [a-zA-Z]
+INT_LITERAL     [1-9][0-9]*
+OCT_LITERAL     0{OCT_DIGIT}*
+HEX_LITERAL     (0x|0X){HEX_DIGIT}*
+
+IDENTIFIER_NEW  ({ALPHA}({ALPHA}|{DIGIT})*)|({CAPITAL}("_"?({ALPHA}|{DIGIT})+)*)
+IDENTIFIER      ("_"?({ALPHA}|{DIGIT})+)*
+
+%%
+
+[ \t\r]+    ; /* eat up whitespace */
+[\n]           {
+       idlc()->incLineNumber();
+       yycolumn = 1;
+       yylineno++;
+}
+
+attribute       return IDL_ATTRIBUTE;
+bound           return IDL_BOUND;
+const           return IDL_CONST;
+constants       return IDL_CONSTANTS;
+constrained     return IDL_CONSTRAINED;
+enum            return IDL_ENUM;
+exception       return IDL_EXCEPTION;
+interface       return IDL_INTERFACE;
+maybeambiguous  return IDL_MAYBEAMBIGUOUS;
+maybedefault    return IDL_MAYBEDEFAULT;
+maybevoid       return IDL_MAYBEVOID;
+module          return IDL_MODULE;
+needs           return IDL_NEEDS;
+observes        return IDL_OBSERVES;
+optional        return IDL_OPTIONAL;
+property        return IDL_PROPERTY;
+raises          return IDL_RAISES;
+readonly        return IDL_READONLY;
+removable       return IDL_REMOVABLE;
+service         return IDL_SERVICE;
+sequence        return IDL_SEQUENCE;
+singleton       return IDL_SINGLETON;
+struct          return IDL_STRUCT;
+transient       return IDL_TRANSIENT;
+typedef         return IDL_TYPEDEF;
+
+any             return IDL_ANY;             
+boolean         return IDL_BOOLEAN;
+byte            return IDL_BYTE;
+char            return IDL_CHAR;
+double          return IDL_DOUBLE;
+float           return IDL_FLOAT;
+hyper           return IDL_HYPER;
+long            return IDL_LONG;
+short           return IDL_SHORT;
+string          return IDL_STRING;
+type            return IDL_TYPE;
+unsigned        return IDL_UNSIGNED;
+void            return IDL_VOID;
+
+TRUE            return IDL_TRUE;
+True            return IDL_TRUE;
+FALSE           return IDL_FALSE;
+False           return IDL_FALSE;
+
+in              return IDL_IN;
+out             return IDL_OUT;
+inout           return IDL_INOUT;
+
+get             return IDL_GET;
+set             return IDL_SET;
+
+published       return IDL_PUBLISHED;
+
+"..."           return IDL_ELLIPSIS;
+
+("-")?{INT_LITERAL}+(l|L|u|U)?    {
+                return asciiToInteger(yytext, &yylval.ival, &yylval.uval);
+            }
+
+("-")?{OCT_LITERAL}+(l|L|u|U)?    {
+                return asciiToInteger(yytext, &yylval.ival, &yylval.uval);
+            }
+
+("-")?{HEX_LITERAL}+(l|L|u|U)?    {
+                return asciiToInteger(yytext, &yylval.ival, &yylval.uval);
+            }
+
+("-")?{DIGIT}+(e|E)(("+"|"-")?{DIGIT}+)?(f|F)?  |
+("-")?{DIGIT}*"."{DIGIT}+((e|E)("+"|"-")?{DIGIT}+)?(f|F)?        {
+                yylval.dval = asciiToFloat( yytext );
+                return IDL_FLOATING_PT_LITERAL;
+            }
+
+{IDENTIFIER}    {
+                yylval.sval = new OString(yytext);
+                return IDL_IDENTIFIER;
+            }
+
+\<\<    {
+        yylval.strval = yytext;
+        return IDL_LEFTSHIFT;
+    }
+\>\>    {
+        yylval.strval = yytext;
+        return IDL_RIGHTSHIFT;
+    }
+\:\:    {
+        yylval.strval = yytext;
+        return IDL_SCOPESEPARATOR;
+    }
+
+"/*"    { 
+            BEGIN( COMMENT );
+            docu = OString();
+            beginLine = idlc()->getLineNumber();
+        }
+
+"/***"  { 
+            BEGIN( COMMENT );
+            docu = OString();
+            beginLine = idlc()->getLineNumber();
+        }
+
+<COMMENT>[^*]+  {
+                docu += yytext;
+            } 
+
+<COMMENT>"*"[^*/]+  {
+                docu += yytext;
+            }
+
+<COMMENT>"**"   {
+                docu += yytext;
+            }
+
+<COMMENT>[*]+"/"  {
+                docu = docu.trim();
+                sal_Int32 nIndex = 0;
+                int count = 0;
+                do { o3tl::getToken(docu, 0, '\n', nIndex ); count++; } while( nIndex != -1 );
+                idlc()->setLineNumber( beginLine + count - 1);
+                BEGIN( INITIAL );
+            }
+
+"/**"   {
+            BEGIN( DOCU );
+            docu = OString();
+            beginLine = idlc()->getLineNumber();
+        }
+
+<DOCU>[^*\n]+   {
+                docu += yytext;
+            }
+
+<DOCU>"\n"[ \t]*"*"{1}  {
+                idlc()->setLineNumber( idlc()->getLineNumber()  + 1);
+                docu += "\n";
+            }
+
+<DOCU>"\n"  {
+                idlc()->setLineNumber( idlc()->getLineNumber()  + 1);
+                docu += yytext;
+            }
+
+<DOCU>"*"[^*^/\n]*  {
+                docu += yytext;
+            }
+
+<DOCU>"\n"[ \t]*"*/"    {
+                docu = docu.trim();
+                sal_Int32 nIndex = 0;
+                int count = 0;
+                do { o3tl::getToken(docu, 0, '\n', nIndex ); count++; } while( nIndex != -1 );
+                idlc()->setLineNumber( beginLine + count - 1);                
+                if ( (nIndex = docu.indexOf("/*")) >= 0 || (nIndex = docu.indexOf("///")) >= 0 )
+                {
+                    if ( 0 != nIndex &&
+                         (docu[nIndex - 1] != '"' && docu[nIndex - 1] != ':') )
+                        ErrorHandler::syntaxError(PS_NoState, idlc()->getLineNumber(),
+                                                     "nested documentation strings are not allowed!");
+                }
+                idlc()->setDocumentation(docu);
+                BEGIN( INITIAL );
+            }
+
+<DOCU>"*/"  {
+                docu = docu.trim();
+                sal_Int32 nIndex = 0;
+                int count = 0;
+                do { o3tl::getToken(docu, 0, '\n', nIndex ); count++; } while( nIndex != -1 );
+                idlc()->setLineNumber( beginLine + count - 1);
+                if ( docu.indexOf("/*") >= 0 || docu.indexOf("//") >= 0 )
+                {
+                    if ( 0 != nIndex &&
+                         (docu[nIndex - 1] != '"' && docu[nIndex - 1] != ':') )
+                        ErrorHandler::syntaxError(PS_NoState, idlc()->getLineNumber(),
+                                                     "nested documentation strings are not allowed!");
+                }
+                idlc()->setDocumentation(docu);
+                BEGIN( INITIAL );
+            }
+
+"//"[^/]{1}.*"\n" {
+                /* only a comment */
+                OString docStr(yytext);
+                docStr = docStr.copy( 0, docStr.lastIndexOf('\n') );
+                docStr = docStr.copy( docStr.lastIndexOf('/')+1 );
+                docStr = docStr.trim();
+                idlc()->incLineNumber();
+            }
+
+"///".*"\n"  {
+                OString docStr(yytext);
+                docStr = docStr.copy( 0, docStr.lastIndexOf('\n') );
+                docStr = docStr.copy( docStr.lastIndexOf('/')+1 );
+                docStr = docStr.trim();
+                idlc()->incLineNumber();
+                idlc()->setDocumentation(docStr);
+            }
+
+.   return yytext[0];
+
+^#[ \t]*line[ \t]*[0-9]*" ""\""[^\"]*"\""\n    {
+    parseLineAndFile(yytext);
+}
+
+^#[ \t]*[0-9]*" ""\""[^\"]*"\""" "[0-9]*\n {
+    parseLineAndFile(yytext);
+}
+
+^#[ \t]*[0-9]*" ""\""[^\"]*"\""\n {
+    parseLineAndFile(yytext);
+}
+
+^#[ \t]*[0-9]*\n {
+    parseLineAndFile(yytext);
+}
+
+^#[ \t]*ident.*\n {
+    /* ignore cpp ident */
+    idlc()->incLineNumber();
+}
+
+^#[ \t]*pragma[ \t].*\n        {       /* remember pragma */
+    idlParsePragma(yytext);
+    idlc()->incLineNumber();
+}
+
+%%
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab cinoptions=b1,g0,N-s cinkeys+=0=break: */