UNPKG

@specs-feup/kadabra

Version:

A Java source-to-source compiler written in Typescript

65 lines 2.25 kB
export declare class KTypes { static readonly Thread = "weaver.kadabra.concurrent.KadabraThread"; static readonly Channel = "weaver.kadabra.concurrent.KadabraChannel"; static readonly Product = "weaver.kadabra.concurrent.Product"; static readonly ControlPoint = "weaver.kadabra.control.ControlPoint"; static readonly ControlPointFactory = "weaver.kadabra.control.ControlPointFactory"; static readonly VersionProviderUtils = "weaver.kadabra.control.utils.ProviderUtils"; static readonly VersionProvider = "weaver.kadabra.control.utils.VersionProvider"; static readonly Tuple = "tdrc.tuple.Tuple"; static readonly Pair = "tdrc.utils.Pair"; static readonly Atomic = "java.util.concurrent.atomic.Atomic"; /** * Generates a channel type with the specified key and value types. */ static channelOf(key?: string, value?: string): string; /** * Generates a product type with the specified key and value types. */ static productOf(key?: string, value?: string): string | undefined; /** * Generates a control point type with the specified type. */ static controlPointOf(type?: string): string; /** * Generates a provider type with the specified type. */ static providerOf(type?: string): string; /** * Generates a tuple type with the specified type. */ static tupleOf(type: string): string; /** * Generates a list type with the specified type. */ static listOf(type: string): string; /** * Generates a pair type with the specified types. */ static pairOf(type1: string, type2: string): string; /** * Generates an atomic type with the specified type. */ static atomicOf(type: string): string; } /** * Converts a primitive type to its wrapper class. */ export declare function toWrapper(type: string): string; export declare const PRIMITIVE_TYPES: string[]; /** * Checks if a type is a primitive type. */ export declare function isPrimitive(type: string): boolean; export declare enum Types { "bool" = 0, "int" = 1, "char" = 2, "void" = 3, "byte" = 4, "short" = 5, "long" = 6, "float" = 7, "double" = 8 } //# sourceMappingURL=Types.d.ts.map