@specs-feup/kadabra
Version:
A Java source-to-source compiler written in Typescript
65 lines • 2.25 kB
TypeScript
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