tlo
Version:
Reader of binary serialized Type Language Schema
84 lines (83 loc) • 2.97 kB
TypeScript
export declare const ID_VAR_NUM = 1885708031;
export declare const ID_VAR_TYPE = 753727511;
export declare const ID_INT = 2823855066;
export declare const ID_LONG = 570911930;
export declare const ID_DOUBLE = 571523412;
export declare const ID_STRING = 3039325732;
export declare const ID_VECTOR = 481674261;
export declare const ID_DICTIONARY = 525099407;
export declare const ID_MAYBE_TRUE = 1067224824;
export declare const ID_MAYBE_FALSE = 663947899;
export declare const ID_BOOL_FALSE = 3162085175;
export declare const ID_BOOL_TRUE = 2574415285;
export declare const FLAG_OPT_VAR: number;
export declare const FLAG_EXCL: number;
export declare const FLAG_NOVAR: number;
export declare const FLAG_DEFAULT_CONSTRUCTOR: number;
export declare const FLAG_BARE: number;
export declare const FLAG_COMPLEX: number;
export declare const FLAGS_MASK: number;
export declare class TlBase {
}
export declare class Arg extends TlBase {
name?: string;
flags: number;
var_num?: number;
exist_var_num?: number;
exist_var_bit?: number;
type?: TlTree;
constructor(name?: string, flags?: number, var_num?: number, exist_var_num?: number, exist_var_bit?: number, type?: TlTree);
}
export declare class TlCombinator extends TlBase {
id?: number;
name?: string;
var_count: number;
type_id: number;
args?: Arg[];
result?: TlTree;
constructor(id?: number, name?: string, var_count?: number, type_id?: number, args?: Arg[], result?: TlTree);
}
export declare class TlType extends TlBase {
id?: number;
name?: string;
arity?: number;
flags: number;
simple_constructors?: number;
constructors_num?: number;
constructors?: TlCombinator[];
constructor(id?: number, name?: string, arity?: number, flags?: number, simple_constructors?: number, constructors_num?: number, constructors?: TlCombinator[]);
add_constructor: (new_constructor: TlCombinator) => void;
}
export declare class TlTree extends TlBase {
flags: number;
constructor(flags: number);
get_type: () => number;
}
export declare class TlTreeType extends TlTree {
type: TlType;
children: TlTree[];
constructor(flags: number, type: TlType);
get_type: () => number;
}
export declare class TlTreeNatConst extends TlTree {
num: number;
constructor(flags: number, num: number);
get_type: () => number;
}
export declare class TlTreeVarType extends TlTree {
var_num: number;
constructor(flags: number, var_num: number);
get_type: () => number;
}
export declare class TlTreeVarNum extends TlTree {
var_num: number;
diff: number;
constructor(flags: number, var_num: number, diff: number);
get_type: () => number;
}
export declare class TlTreeArray extends TlTree {
multiplicity: TlTree;
args: Arg[];
constructor(flags: number, multiplicity: TlTree, a: Arg[]);
get_type: () => number;
}