@mica-js/ddl 0.0.0-stage → 0.2.0

package/dist/generated/ast.js

@@ -0,0 +1,1241 @@
+/******************************************************************************
+ * This file was generated by langium-cli 4.4.0.
+ * DO NOT EDIT MANUALLY!
+ ******************************************************************************/
+/* eslint-disable */
+import * as langium from 'langium';
+export const DDLTerminals = {
+    BOM: /\uFEFF/,
+    WS: /[ \t\r\n]+/,
+    ID: /[A-Za-z_][A-Za-z0-9_]*/,
+    NUMBER: /0[xX][0-9a-fA-F](?:_?[0-9a-fA-F])*|0[bB][01](?:_?[01])*|0[oO][0-7](?:_?[0-7])*|[0-9](?:_?[0-9])*(?:\.[0-9](?:_?[0-9])*)?(?:[eE][+-]?[0-9](?:_?[0-9])*)?/,
+    DDL_STRING: /"(?:[^"\\\x00-\x1F]|\\(?:["\\nrt]|u[0-9a-fA-F]{4}|u\{[0-9a-fA-F]+\}))*"/,
+    ML_COMMENT: /\/\*[\s\S]*?\*\//,
+    SL_COMMENT: /\/\/[^\n\r]*/,
+};
+export const Argument = {
+    $type: 'Argument'
+};
+export function isArgument(item) {
+    return reflection.isInstance(item, Argument.$type);
+}
+export function isArgumentName(item) {
+    return isName(item) || item === 'memory';
+}
+export const AssertStmt = {
+    $type: 'AssertStmt',
+    condition: 'condition',
+    message: 'message'
+};
+export function isAssertStmt(item) {
+    return reflection.isInstance(item, AssertStmt.$type);
+}
+export const AssignStmt = {
+    $type: 'AssignStmt',
+    name: 'name',
+    value: 'value'
+};
+export function isAssignStmt(item) {
+    return reflection.isInstance(item, AssignStmt.$type);
+}
+export const AwaitOperation = {
+    $type: 'AwaitOperation',
+    channel: 'channel',
+    duration: 'duration',
+    ticks: 'ticks'
+};
+export function isAwaitOperation(item) {
+    return reflection.isInstance(item, AwaitOperation.$type);
+}
+export const AwaitStmt = {
+    $type: 'AwaitStmt',
+    value: 'value'
+};
+export function isAwaitStmt(item) {
+    return reflection.isInstance(item, AwaitStmt.$type);
+}
+export const Binary = {
+    $type: 'Binary',
+    left: 'left',
+    op: 'op',
+    right: 'right'
+};
+export function isBinary(item) {
+    return reflection.isInstance(item, Binary.$type);
+}
+export const Block = {
+    $type: 'Block',
+    statements: 'statements'
+};
+export function isBlock(item) {
+    return reflection.isInstance(item, Block.$type);
+}
+export const BreakStmt = {
+    $type: 'BreakStmt'
+};
+export function isBreakStmt(item) {
+    return reflection.isInstance(item, BreakStmt.$type);
+}
+export const BytesLiteral = {
+    $type: 'BytesLiteral',
+    elements: 'elements'
+};
+export function isBytesLiteral(item) {
+    return reflection.isInstance(item, BytesLiteral.$type);
+}
+export const Call = {
+    $type: 'Call',
+    args: 'args',
+    callee: 'callee'
+};
+export function isCall(item) {
+    return reflection.isInstance(item, Call.$type);
+}
+export const CallStmt = {
+    $type: 'CallStmt',
+    value: 'value'
+};
+export function isCallStmt(item) {
+    return reflection.isInstance(item, CallStmt.$type);
+}
+export const Capture = {
+    $type: 'Capture',
+    name: 'name',
+    value: 'value'
+};
+export function isCapture(item) {
+    return reflection.isInstance(item, Capture.$type);
+}
+export const ChannelDecl = {
+    $type: 'ChannelDecl',
+    direction: 'direction',
+    name: 'name',
+    options: 'options',
+    type: 'type'
+};
+export function isChannelDecl(item) {
+    return reflection.isInstance(item, ChannelDecl.$type);
+}
+export const ConstantDecl = {
+    $type: 'ConstantDecl',
+    name: 'name',
+    type: 'type',
+    value: 'value'
+};
+export function isConstantDecl(item) {
+    return reflection.isInstance(item, ConstantDecl.$type);
+}
+export const ContinueStmt = {
+    $type: 'ContinueStmt'
+};
+export function isContinueStmt(item) {
+    return reflection.isInstance(item, ContinueStmt.$type);
+}
+export const DerivedDecl = {
+    $type: 'DerivedDecl',
+    name: 'name',
+    type: 'type',
+    value: 'value'
+};
+export function isDerivedDecl(item) {
+    return reflection.isInstance(item, DerivedDecl.$type);
+}
+export const Device = {
+    $type: 'Device',
+    members: 'members',
+    name: 'name',
+    properties: 'properties'
+};
+export function isDevice(item) {
+    return reflection.isInstance(item, Device.$type);
+}
+export const EnumDecl = {
+    $type: 'EnumDecl',
+    members: 'members',
+    name: 'name'
+};
+export function isEnumDecl(item) {
+    return reflection.isInstance(item, EnumDecl.$type);
+}
+export const Expr = {
+    $type: 'Expr'
+};
+export function isExpr(item) {
+    return reflection.isInstance(item, Expr.$type);
+}
+export const FunctionDecl = {
+    $type: 'FunctionDecl',
+    body: 'body',
+    name: 'name',
+    params: 'params',
+    pure: 'pure',
+    returns: 'returns'
+};
+export function isFunctionDecl(item) {
+    return reflection.isInstance(item, FunctionDecl.$type);
+}
+export const IfStmt = {
+    $type: 'IfStmt',
+    alternate: 'alternate',
+    condition: 'condition',
+    no: 'no',
+    yes: 'yes'
+};
+export function isIfStmt(item) {
+    return reflection.isInstance(item, IfStmt.$type);
+}
+export const IndexAccess = {
+    $type: 'IndexAccess',
+    index: 'index',
+    object: 'object'
+};
+export function isIndexAccess(item) {
+    return reflection.isInstance(item, IndexAccess.$type);
+}
+export const Initializer = {
+    $type: 'Initializer'
+};
+export function isInitializer(item) {
+    return reflection.isInstance(item, Initializer.$type);
+}
+export const IntentLiteral = {
+    $type: 'IntentLiteral',
+    elements: 'elements'
+};
+export function isIntentLiteral(item) {
+    return reflection.isInstance(item, IntentLiteral.$type);
+}
+export const IntentStmt = {
+    $type: 'IntentStmt',
+    name: 'name',
+    value: 'value'
+};
+export function isIntentStmt(item) {
+    return reflection.isInstance(item, IntentStmt.$type);
+}
+export const Literal = {
+    $type: 'Literal',
+    value: 'value'
+};
+export function isLiteral(item) {
+    return reflection.isInstance(item, Literal.$type);
+}
+export const LocalStmt = {
+    $type: 'LocalStmt',
+    binding: 'binding',
+    name: 'name',
+    type: 'type',
+    value: 'value'
+};
+export function isLocalStmt(item) {
+    return reflection.isInstance(item, LocalStmt.$type);
+}
+export const LoopStmt = {
+    $type: 'LoopStmt',
+    body: 'body'
+};
+export function isLoopStmt(item) {
+    return reflection.isInstance(item, LoopStmt.$type);
+}
+export const MatchArm = {
+    $type: 'MatchArm',
+    body: 'body',
+    pattern: 'pattern'
+};
+export function isMatchArm(item) {
+    return reflection.isInstance(item, MatchArm.$type);
+}
+export const MatchStmt = {
+    $type: 'MatchStmt',
+    arms: 'arms',
+    value: 'value'
+};
+export function isMatchStmt(item) {
+    return reflection.isInstance(item, MatchStmt.$type);
+}
+export const Member = {
+    $type: 'Member'
+};
+export function isMember(item) {
+    return reflection.isInstance(item, Member.$type);
+}
+export const MemberAccess = {
+    $type: 'MemberAccess',
+    member: 'member',
+    object: 'object'
+};
+export function isMemberAccess(item) {
+    return reflection.isInstance(item, MemberAccess.$type);
+}
+export const MemoryDecl = {
+    $type: 'MemoryDecl',
+    length: 'length',
+    name: 'name',
+    public: 'public'
+};
+export function isMemoryDecl(item) {
+    return reflection.isInstance(item, MemoryDecl.$type);
+}
+export function isName(item) {
+    return item === 'input' || item === 'output' || item === 'public' || item === 'channel' || item === 'notification' || item === 'start' || item === 'intent' || item === 'sample' || item === 'receive' || item === 'ticks' || item === 'duration' || item === 'delay' || (typeof item === 'string' && (/[A-Za-z_][A-Za-z0-9_]*/.test(item)));
+}
+export const NamedArgument = {
+    $type: 'NamedArgument',
+    name: 'name',
+    value: 'value'
+};
+export function isNamedArgument(item) {
+    return reflection.isInstance(item, NamedArgument.$type);
+}
+export const NotificationDecl = {
+    $type: 'NotificationDecl',
+    direction: 'direction',
+    name: 'name'
+};
+export function isNotificationDecl(item) {
+    return reflection.isInstance(item, NotificationDecl.$type);
+}
+export const NumberLiteral = {
+    $type: 'NumberLiteral',
+    value: 'value'
+};
+export function isNumberLiteral(item) {
+    return reflection.isInstance(item, NumberLiteral.$type);
+}
+export const Parameter = {
+    $type: 'Parameter',
+    name: 'name',
+    type: 'type'
+};
+export function isParameter(item) {
+    return reflection.isInstance(item, Parameter.$type);
+}
+export const ParameterType = {
+    $type: 'ParameterType',
+    name: 'name',
+    value: 'value'
+};
+export function isParameterType(item) {
+    return reflection.isInstance(item, ParameterType.$type);
+}
+export const Pattern = {
+    $type: 'Pattern',
+    enum: 'enum',
+    literal: 'literal',
+    member: 'member',
+    number: 'number',
+    sign: 'sign',
+    string: 'string',
+    wildcard: 'wildcard'
+};
+export function isPattern(item) {
+    return reflection.isInstance(item, Pattern.$type);
+}
+export const PinDecl = {
+    $type: 'PinDecl',
+    name: 'name',
+    options: 'options',
+    value: 'value'
+};
+export function isPinDecl(item) {
+    return reflection.isInstance(item, PinDecl.$type);
+}
+export const PositionalArgument = {
+    $type: 'PositionalArgument',
+    value: 'value'
+};
+export function isPositionalArgument(item) {
+    return reflection.isInstance(item, PositionalArgument.$type);
+}
+export const ProcessDecl = {
+    $type: 'ProcessDecl',
+    body: 'body',
+    name: 'name',
+    path: 'path'
+};
+export function isProcessDecl(item) {
+    return reflection.isInstance(item, ProcessDecl.$type);
+}
+export const Property = {
+    $type: 'Property',
+    name: 'name',
+    type: 'type',
+    value: 'value'
+};
+export function isProperty(item) {
+    return reflection.isInstance(item, Property.$type);
+}
+export const ReactionDecl = {
+    $type: 'ReactionDecl',
+    body: 'body',
+    captures: 'captures',
+    current: 'current',
+    name: 'name',
+    path: 'path',
+    previous: 'previous'
+};
+export function isReactionDecl(item) {
+    return reflection.isInstance(item, ReactionDecl.$type);
+}
+export const RecordDecl = {
+    $type: 'RecordDecl',
+    fields: 'fields',
+    name: 'name'
+};
+export function isRecordDecl(item) {
+    return reflection.isInstance(item, RecordDecl.$type);
+}
+export const RecordField = {
+    $type: 'RecordField',
+    name: 'name',
+    type: 'type'
+};
+export function isRecordField(item) {
+    return reflection.isInstance(item, RecordField.$type);
+}
+export const RecordLiteral = {
+    $type: 'RecordLiteral',
+    fields: 'fields'
+};
+export function isRecordLiteral(item) {
+    return reflection.isInstance(item, RecordLiteral.$type);
+}
+export const RedirectStmt = {
+    $type: 'RedirectStmt',
+    delay: 'delay',
+    target: 'target'
+};
+export function isRedirectStmt(item) {
+    return reflection.isInstance(item, RedirectStmt.$type);
+}
+export const Reference = {
+    $type: 'Reference',
+    name: 'name'
+};
+export function isReference(item) {
+    return reflection.isInstance(item, Reference.$type);
+}
+export const ReturnStmt = {
+    $type: 'ReturnStmt',
+    value: 'value'
+};
+export function isReturnStmt(item) {
+    return reflection.isInstance(item, ReturnStmt.$type);
+}
+export const Select = {
+    $type: 'Select',
+    condition: 'condition',
+    no: 'no',
+    yes: 'yes'
+};
+export function isSelect(item) {
+    return reflection.isInstance(item, Select.$type);
+}
+export const SourcePath = {
+    $type: 'SourcePath',
+    parts: 'parts'
+};
+export function isSourcePath(item) {
+    return reflection.isInstance(item, SourcePath.$type);
+}
+export const StateDecl = {
+    $type: 'StateDecl',
+    name: 'name',
+    type: 'type',
+    value: 'value'
+};
+export function isStateDecl(item) {
+    return reflection.isInstance(item, StateDecl.$type);
+}
+export const Statement = {
+    $type: 'Statement'
+};
+export function isStatement(item) {
+    return reflection.isInstance(item, Statement.$type);
+}
+export const StringLiteral = {
+    $type: 'StringLiteral',
+    value: 'value'
+};
+export function isStringLiteral(item) {
+    return reflection.isInstance(item, StringLiteral.$type);
+}
+export const Unary = {
+    $type: 'Unary',
+    op: 'op',
+    value: 'value'
+};
+export function isUnary(item) {
+    return reflection.isInstance(item, Unary.$type);
+}
+export const ValueType = {
+    $type: 'ValueType',
+    name: 'name',
+    optional: 'optional'
+};
+export function isValueType(item) {
+    return reflection.isInstance(item, ValueType.$type);
+}
+export const WhileStmt = {
+    $type: 'WhileStmt',
+    body: 'body',
+    condition: 'condition'
+};
+export function isWhileStmt(item) {
+    return reflection.isInstance(item, WhileStmt.$type);
+}
+export class DDLAstReflection extends langium.AbstractAstReflection {
+    types = {
+        Argument: {
+            name: Argument.$type,
+            properties: {},
+            superTypes: []
+        },
+        AssertStmt: {
+            name: AssertStmt.$type,
+            properties: {
+                condition: {
+                    name: AssertStmt.condition
+                },
+                message: {
+                    name: AssertStmt.message,
+                    optional: true
+                }
+            },
+            superTypes: [Member.$type, Statement.$type]
+        },
+        AssignStmt: {
+            name: AssignStmt.$type,
+            properties: {
+                name: {
+                    name: AssignStmt.name
+                },
+                value: {
+                    name: AssignStmt.value
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        AwaitOperation: {
+            name: AwaitOperation.$type,
+            properties: {
+                channel: {
+                    name: AwaitOperation.channel,
+                    optional: true
+                },
+                duration: {
+                    name: AwaitOperation.duration,
+                    optional: true
+                },
+                ticks: {
+                    name: AwaitOperation.ticks,
+                    defaultValue: false,
+                    optional: true
+                }
+            },
+            superTypes: [Initializer.$type]
+        },
+        AwaitStmt: {
+            name: AwaitStmt.$type,
+            properties: {
+                value: {
+                    name: AwaitStmt.value
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        Binary: {
+            name: Binary.$type,
+            properties: {
+                left: {
+                    name: Binary.left
+                },
+                op: {
+                    name: Binary.op
+                },
+                right: {
+                    name: Binary.right
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        Block: {
+            name: Block.$type,
+            properties: {
+                statements: {
+                    name: Block.statements,
+                    defaultValue: [],
+                    optional: true
+                }
+            },
+            superTypes: []
+        },
+        BreakStmt: {
+            name: BreakStmt.$type,
+            properties: {},
+            superTypes: [Statement.$type]
+        },
+        BytesLiteral: {
+            name: BytesLiteral.$type,
+            properties: {
+                elements: {
+                    name: BytesLiteral.elements,
+                    defaultValue: [],
+                    optional: true
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        Call: {
+            name: Call.$type,
+            properties: {
+                args: {
+                    name: Call.args,
+                    defaultValue: [],
+                    optional: true
+                },
+                callee: {
+                    name: Call.callee
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        CallStmt: {
+            name: CallStmt.$type,
+            properties: {
+                value: {
+                    name: CallStmt.value
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        Capture: {
+            name: Capture.$type,
+            properties: {
+                name: {
+                    name: Capture.name
+                },
+                value: {
+                    name: Capture.value
+                }
+            },
+            superTypes: []
+        },
+        ChannelDecl: {
+            name: ChannelDecl.$type,
+            properties: {
+                direction: {
+                    name: ChannelDecl.direction
+                },
+                name: {
+                    name: ChannelDecl.name
+                },
+                options: {
+                    name: ChannelDecl.options,
+                    defaultValue: []
+                },
+                type: {
+                    name: ChannelDecl.type
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        ConstantDecl: {
+            name: ConstantDecl.$type,
+            properties: {
+                name: {
+                    name: ConstantDecl.name
+                },
+                type: {
+                    name: ConstantDecl.type,
+                    optional: true
+                },
+                value: {
+                    name: ConstantDecl.value
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        ContinueStmt: {
+            name: ContinueStmt.$type,
+            properties: {},
+            superTypes: [Statement.$type]
+        },
+        DerivedDecl: {
+            name: DerivedDecl.$type,
+            properties: {
+                name: {
+                    name: DerivedDecl.name
+                },
+                type: {
+                    name: DerivedDecl.type
+                },
+                value: {
+                    name: DerivedDecl.value
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        Device: {
+            name: Device.$type,
+            properties: {
+                members: {
+                    name: Device.members,
+                    defaultValue: [],
+                    optional: true
+                },
+                name: {
+                    name: Device.name
+                },
+                properties: {
+                    name: Device.properties,
+                    defaultValue: [],
+                    optional: true
+                }
+            },
+            superTypes: []
+        },
+        EnumDecl: {
+            name: EnumDecl.$type,
+            properties: {
+                members: {
+                    name: EnumDecl.members,
+                    defaultValue: []
+                },
+                name: {
+                    name: EnumDecl.name
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        Expr: {
+            name: Expr.$type,
+            properties: {},
+            superTypes: [Initializer.$type]
+        },
+        FunctionDecl: {
+            name: FunctionDecl.$type,
+            properties: {
+                body: {
+                    name: FunctionDecl.body
+                },
+                name: {
+                    name: FunctionDecl.name
+                },
+                params: {
+                    name: FunctionDecl.params,
+                    defaultValue: [],
+                    optional: true
+                },
+                pure: {
+                    name: FunctionDecl.pure,
+                    defaultValue: false,
+                    optional: true
+                },
+                returns: {
+                    name: FunctionDecl.returns,
+                    optional: true
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        IfStmt: {
+            name: IfStmt.$type,
+            properties: {
+                alternate: {
+                    name: IfStmt.alternate,
+                    optional: true
+                },
+                condition: {
+                    name: IfStmt.condition
+                },
+                no: {
+                    name: IfStmt.no,
+                    optional: true
+                },
+                yes: {
+                    name: IfStmt.yes
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        IndexAccess: {
+            name: IndexAccess.$type,
+            properties: {
+                index: {
+                    name: IndexAccess.index
+                },
+                object: {
+                    name: IndexAccess.object
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        Initializer: {
+            name: Initializer.$type,
+            properties: {},
+            superTypes: []
+        },
+        IntentLiteral: {
+            name: IntentLiteral.$type,
+            properties: {
+                elements: {
+                    name: IntentLiteral.elements,
+                    defaultValue: [],
+                    optional: true
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        IntentStmt: {
+            name: IntentStmt.$type,
+            properties: {
+                name: {
+                    name: IntentStmt.name
+                },
+                value: {
+                    name: IntentStmt.value
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        Literal: {
+            name: Literal.$type,
+            properties: {
+                value: {
+                    name: Literal.value
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        LocalStmt: {
+            name: LocalStmt.$type,
+            properties: {
+                binding: {
+                    name: LocalStmt.binding
+                },
+                name: {
+                    name: LocalStmt.name
+                },
+                type: {
+                    name: LocalStmt.type,
+                    optional: true
+                },
+                value: {
+                    name: LocalStmt.value
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        LoopStmt: {
+            name: LoopStmt.$type,
+            properties: {
+                body: {
+                    name: LoopStmt.body
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        MatchArm: {
+            name: MatchArm.$type,
+            properties: {
+                body: {
+                    name: MatchArm.body
+                },
+                pattern: {
+                    name: MatchArm.pattern
+                }
+            },
+            superTypes: []
+        },
+        MatchStmt: {
+            name: MatchStmt.$type,
+            properties: {
+                arms: {
+                    name: MatchStmt.arms,
+                    defaultValue: []
+                },
+                value: {
+                    name: MatchStmt.value
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        Member: {
+            name: Member.$type,
+            properties: {},
+            superTypes: []
+        },
+        MemberAccess: {
+            name: MemberAccess.$type,
+            properties: {
+                member: {
+                    name: MemberAccess.member
+                },
+                object: {
+                    name: MemberAccess.object
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        MemoryDecl: {
+            name: MemoryDecl.$type,
+            properties: {
+                length: {
+                    name: MemoryDecl.length
+                },
+                name: {
+                    name: MemoryDecl.name
+                },
+                public: {
+                    name: MemoryDecl.public,
+                    defaultValue: false,
+                    optional: true
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        NamedArgument: {
+            name: NamedArgument.$type,
+            properties: {
+                name: {
+                    name: NamedArgument.name
+                },
+                value: {
+                    name: NamedArgument.value
+                }
+            },
+            superTypes: [Argument.$type]
+        },
+        NotificationDecl: {
+            name: NotificationDecl.$type,
+            properties: {
+                direction: {
+                    name: NotificationDecl.direction
+                },
+                name: {
+                    name: NotificationDecl.name
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        NumberLiteral: {
+            name: NumberLiteral.$type,
+            properties: {
+                value: {
+                    name: NumberLiteral.value
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        Parameter: {
+            name: Parameter.$type,
+            properties: {
+                name: {
+                    name: Parameter.name
+                },
+                type: {
+                    name: Parameter.type
+                }
+            },
+            superTypes: []
+        },
+        ParameterType: {
+            name: ParameterType.$type,
+            properties: {
+                name: {
+                    name: ParameterType.name,
+                    optional: true
+                },
+                value: {
+                    name: ParameterType.value,
+                    optional: true
+                }
+            },
+            superTypes: []
+        },
+        Pattern: {
+            name: Pattern.$type,
+            properties: {
+                enum: {
+                    name: Pattern.enum,
+                    optional: true
+                },
+                literal: {
+                    name: Pattern.literal,
+                    optional: true
+                },
+                member: {
+                    name: Pattern.member,
+                    optional: true
+                },
+                number: {
+                    name: Pattern.number,
+                    optional: true
+                },
+                sign: {
+                    name: Pattern.sign,
+                    optional: true
+                },
+                string: {
+                    name: Pattern.string,
+                    optional: true
+                },
+                wildcard: {
+                    name: Pattern.wildcard,
+                    defaultValue: false,
+                    optional: true
+                }
+            },
+            superTypes: []
+        },
+        PinDecl: {
+            name: PinDecl.$type,
+            properties: {
+                name: {
+                    name: PinDecl.name
+                },
+                options: {
+                    name: PinDecl.options,
+                    defaultValue: [],
+                    optional: true
+                },
+                value: {
+                    name: PinDecl.value,
+                    optional: true
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        PositionalArgument: {
+            name: PositionalArgument.$type,
+            properties: {
+                value: {
+                    name: PositionalArgument.value
+                }
+            },
+            superTypes: [Argument.$type]
+        },
+        ProcessDecl: {
+            name: ProcessDecl.$type,
+            properties: {
+                body: {
+                    name: ProcessDecl.body
+                },
+                name: {
+                    name: ProcessDecl.name
+                },
+                path: {
+                    name: ProcessDecl.path,
+                    optional: true
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        Property: {
+            name: Property.$type,
+            properties: {
+                name: {
+                    name: Property.name
+                },
+                type: {
+                    name: Property.type
+                },
+                value: {
+                    name: Property.value,
+                    optional: true
+                }
+            },
+            superTypes: []
+        },
+        ReactionDecl: {
+            name: ReactionDecl.$type,
+            properties: {
+                body: {
+                    name: ReactionDecl.body
+                },
+                captures: {
+                    name: ReactionDecl.captures,
+                    defaultValue: [],
+                    optional: true
+                },
+                current: {
+                    name: ReactionDecl.current
+                },
+                name: {
+                    name: ReactionDecl.name
+                },
+                path: {
+                    name: ReactionDecl.path
+                },
+                previous: {
+                    name: ReactionDecl.previous
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        RecordDecl: {
+            name: RecordDecl.$type,
+            properties: {
+                fields: {
+                    name: RecordDecl.fields,
+                    defaultValue: [],
+                    optional: true
+                },
+                name: {
+                    name: RecordDecl.name
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        RecordField: {
+            name: RecordField.$type,
+            properties: {
+                name: {
+                    name: RecordField.name
+                },
+                type: {
+                    name: RecordField.type
+                }
+            },
+            superTypes: []
+        },
+        RecordLiteral: {
+            name: RecordLiteral.$type,
+            properties: {
+                fields: {
+                    name: RecordLiteral.fields,
+                    defaultValue: [],
+                    optional: true
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        RedirectStmt: {
+            name: RedirectStmt.$type,
+            properties: {
+                delay: {
+                    name: RedirectStmt.delay,
+                    optional: true
+                },
+                target: {
+                    name: RedirectStmt.target
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        Reference: {
+            name: Reference.$type,
+            properties: {
+                name: {
+                    name: Reference.name
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        ReturnStmt: {
+            name: ReturnStmt.$type,
+            properties: {
+                value: {
+                    name: ReturnStmt.value,
+                    optional: true
+                }
+            },
+            superTypes: [Statement.$type]
+        },
+        Select: {
+            name: Select.$type,
+            properties: {
+                condition: {
+                    name: Select.condition
+                },
+                no: {
+                    name: Select.no
+                },
+                yes: {
+                    name: Select.yes
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        SourcePath: {
+            name: SourcePath.$type,
+            properties: {
+                parts: {
+                    name: SourcePath.parts,
+                    defaultValue: []
+                }
+            },
+            superTypes: []
+        },
+        StateDecl: {
+            name: StateDecl.$type,
+            properties: {
+                name: {
+                    name: StateDecl.name
+                },
+                type: {
+                    name: StateDecl.type
+                },
+                value: {
+                    name: StateDecl.value
+                }
+            },
+            superTypes: [Member.$type]
+        },
+        Statement: {
+            name: Statement.$type,
+            properties: {},
+            superTypes: []
+        },
+        StringLiteral: {
+            name: StringLiteral.$type,
+            properties: {
+                value: {
+                    name: StringLiteral.value
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        Unary: {
+            name: Unary.$type,
+            properties: {
+                op: {
+                    name: Unary.op
+                },
+                value: {
+                    name: Unary.value
+                }
+            },
+            superTypes: [Expr.$type]
+        },
+        ValueType: {
+            name: ValueType.$type,
+            properties: {
+                name: {
+                    name: ValueType.name
+                },
+                optional: {
+                    name: ValueType.optional,
+                    defaultValue: false,
+                    optional: true
+                }
+            },
+            superTypes: []
+        },
+        WhileStmt: {
+            name: WhileStmt.$type,
+            properties: {
+                body: {
+                    name: WhileStmt.body
+                },
+                condition: {
+                    name: WhileStmt.condition
+                }
+            },
+            superTypes: [Statement.$type]
+        }
+    };
+}
+export const reflection = new DDLAstReflection();
+//# sourceMappingURL=ast.js.map