adlast.adl

module sys.adlast
{
// Types to represent an ADL syntax tree

import sys.types.*;

type ModuleName = String;
type Ident = String;

type Annotations = Map<ScopedName,Json>;


struct ScopedName
{
    ModuleName moduleName;
    Ident name;
};

union TypeRef
{
    Ident primitive;
    Ident typeParam;
    ScopedName reference;
};

struct TypeExpr
{
    TypeRef typeRef;
    Vector<TypeExpr> parameters;
};

struct Field
{
    Ident name;
    Ident serializedName;
    TypeExpr typeExpr;
    Maybe<Json> default;
    Annotations annotations;
};

struct Struct
{
    Vector<Ident> typeParams;
    Vector<Field> fields;
};

struct Union
{
    Vector<Ident> typeParams;
    Vector<Field> fields;
};

struct TypeDef
{
    Vector<Ident> typeParams;
    TypeExpr typeExpr;
};

struct NewType
{
    Vector<Ident> typeParams;
    TypeExpr typeExpr;
    Maybe<Json> default;
};

union DeclType
{
    Struct struct_;
    Union union_;
    TypeDef type_;
    NewType newtype_;
};

struct Decl
{
    Ident name;
    Maybe<Word32> version;
    DeclType type_;
    Annotations annotations;
};

struct ScopedDecl
{
    ModuleName moduleName;
    Decl decl;
};

type DeclVersions = Vector<Decl>;

union Import
{
    ModuleName moduleName;
    ScopedName scopedName;
};

struct Module
{
    ModuleName name;
    Vector<Import> imports;
    StringMap<Decl> decls;
    Annotations annotations;
};

};