/**
 * Internal representation: the parsed syntax for C0/C1
 *
 * This file describes exactly the syntax that gets parsed by the parser. It is therefore very sensitive to changes in the parser, and so should not be relied upon.
 *
 * The only producer of these types is parse-util.ts. The only consumer of these types is restrictsyntax.ts. The structure of this file should match ast.ts as much as practical.
 */
import * as ast from "./ast";
export declare type Expression = ast.Identifier | IntLiteral | StringLiteral | CharLiteral | ast.BoolLiteral | ast.NullLiteral | ArrayMemberExpression | StructMemberExpression | CallExpression | IndirectCallExpression | CastExpression | UnaryExpression | BinaryExpression | LogicalExpression | ConditionalExpression | AllocExpression | AllocArrayExpression | ResultExpression | LengthExpression | HasTagExpression | AssignmentExpression | UpdateExpression | AssertExpression | ErrorExpression;
export interface IntLiteral extends ast.Syn {
    readonly tag: "IntLiteral";
    readonly raw: string;
}
export interface StringLiteral extends ast.Syn {
    readonly tag: "StringLiteral";
    readonly raw: string[];
}
export interface CharLiteral extends ast.Syn {
    readonly tag: "CharLiteral";
    readonly raw: string;
}
export interface ArrayMemberExpression extends ast.Syn {
    readonly tag: "ArrayMemberExpression";
    readonly object: Expression;
    readonly index: Expression;
}
export interface StructMemberExpression extends ast.Syn {
    readonly tag: "StructMemberExpression";
    readonly deref: boolean;
    readonly object: Expression;
    readonly field: ast.Identifier;
}
export interface CallExpression extends ast.Syn {
    readonly tag: "CallExpression";
    readonly callee: ast.Identifier;
    readonly arguments: Expression[];
}
export interface IndirectCallExpression extends ast.Syn {
    readonly tag: "IndirectCallExpression";
    readonly callee: Expression;
    readonly arguments: Expression[];
}
export interface CastExpression extends ast.Syn {
    readonly tag: "CastExpression";
    readonly kind: ast.Type;
    readonly argument: Expression;
}
export interface UnaryExpression extends ast.Syn {
    readonly tag: "UnaryExpression";
    readonly operator: "&" | "!" | "~" | "-" | "*";
    readonly argument: Expression;
}
/**
 * Eager binary operations `e+e` and friends
 */
export interface BinaryExpression extends ast.Syn {
    readonly tag: "BinaryExpression";
    readonly operator: "*" | "/" | "%" | "+" | "-" | "<<" | ">>" | "<" | "<=" | ">=" | ">" | "==" | "!=" | "&" | "^" | "|";
    readonly left: Expression;
    readonly right: Expression;
}
export interface LogicalExpression extends ast.Syn {
    readonly tag: "LogicalExpression";
    readonly operator: "||" | "&&";
    readonly left: Expression;
    readonly right: Expression;
}
export interface ConditionalExpression extends ast.Syn {
    readonly tag: "ConditionalExpression";
    readonly test: Expression;
    readonly consequent: Expression;
    readonly alternate: Expression;
}
export interface AllocExpression extends ast.Syn {
    readonly tag: "AllocExpression";
    readonly kind: ast.Type;
}
export interface AllocArrayExpression extends ast.Syn {
    readonly tag: "AllocArrayExpression";
    readonly kind: ast.Type;
    readonly size: Expression;
}
export interface ResultExpression extends ast.Syn {
    readonly tag: "ResultExpression";
}
export interface LengthExpression extends ast.Syn {
    readonly tag: "LengthExpression";
    readonly argument: Expression;
}
export interface HasTagExpression extends ast.Syn {
    readonly tag: "HasTagExpression";
    readonly kind: ast.Type;
    readonly argument: Expression;
}
export interface AssignmentExpression extends ast.Syn {
    readonly tag: "AssignmentExpression";
    readonly operator: "=" | "+=" | "-=" | "*=" | "/=" | "%=" | "<<=" | ">>=" | "&=" | "^=" | "|=";
    readonly left: Expression;
    readonly right: Expression;
}
export interface UpdateExpression extends ast.Syn {
    readonly tag: "UpdateExpression";
    readonly operator: "++" | "--";
    readonly argument: Expression;
}
export interface AssertExpression extends ast.Syn {
    readonly tag: "AssertExpression";
    readonly test: Expression;
}
export interface ErrorExpression extends ast.Syn {
    readonly tag: "ErrorExpression";
    readonly argument: Expression;
}
export declare type Statement = AnnoStatement | ExpressionStatement | VariableDeclaration | IfStatement | WhileStatement | ForStatement | ReturnStatement | BlockStatement | ast.BreakStatement | ast.ContinueStatement;
export interface Anno {
    readonly tag: "requires" | "ensures" | "loop_invariant" | "assert";
    readonly test: Expression;
}
export interface AnnoStatement extends ast.Syn {
    readonly tag: "AnnoStatement";
    readonly anno: Anno;
}
export interface ExpressionStatement extends ast.Syn {
    readonly tag: "ExpressionStatement";
    readonly expression: Expression;
}
export interface VariableDeclaration extends ast.Syn {
    readonly tag: "VariableDeclaration";
    readonly kind: ast.Type;
    readonly id: ast.Identifier;
    readonly init: Expression | null;
}
export interface IfStatement extends ast.Syn {
    readonly tag: "IfStatement";
    readonly test: Expression;
    readonly consequent: [Anno[], Statement];
    readonly alternate?: [Anno[], Statement];
}
export interface WhileStatement extends ast.Syn {
    readonly tag: "WhileStatement";
    readonly test: Expression;
    readonly annos: Anno[];
    readonly body: Statement;
}
export interface ForStatement extends ast.Syn {
    readonly tag: "ForStatement";
    readonly init: VariableDeclaration | ExpressionStatement | null;
    readonly test: Expression;
    readonly update: Expression | null;
    readonly annos: Anno[];
    readonly body: Statement;
}
export interface ReturnStatement extends ast.Syn {
    readonly tag: "ReturnStatement";
    readonly argument: Expression | null;
}
export interface BlockStatement extends ast.Syn {
    readonly tag: "BlockStatement";
    readonly body: Statement[];
}
export declare type Declaration = FunctionDeclaration | BlockStatement;
export interface VariableDeclarationOnly extends ast.Syn {
    readonly kind: ast.Type;
    readonly id: ast.Identifier;
}
export interface FunctionDeclaration extends ast.Syn {
    readonly tag: "FunctionDeclaration";
    readonly returns: ast.Type;
    readonly id: ast.Identifier;
    readonly params: ast.VariableDeclarationOnly[];
    readonly annos: Anno[];
    readonly body: null | BlockStatement;
}