@specs-feup/kadabra/src-api/kadabra/KadabraJavaTypes.ts

A Java source-to-source compiler written in Typescript

import JavaTypes, {
    JavaClasses,
} from "@specs-feup/lara/api/lara/util/JavaTypes.js";

// eslint-disable-next-line @typescript-eslint/no-namespace
export namespace KadabraJavaClasses {
    /* eslint-disable @typescript-eslint/no-empty-object-type */
    export interface ArgumentsParser extends JavaClasses.JavaClass {}
    export interface KadabraLauncher extends JavaClasses.JavaClass {}
    export interface KadabraJoinPoints extends JavaClasses.JavaClass {}
    export interface OperatorUtils extends JavaClasses.JavaClass {}
    export interface AndroidResources extends JavaClasses.JavaClass {}
    /* eslint-enable @typescript-eslint/no-empty-object-type */
}

/**
 * Static variables with class names of Java classes used in the Clava API.
 */
export default class KadabraJavaTypes {
    static get ArgumentsParser() {
        return JavaTypes.getType(
            "pt.up.fe.specs.util.parsing.arguments.ArgumentsParser"
        ) as KadabraJavaClasses.ArgumentsParser;
    }
    static get KadabraLauncher() {
        return JavaTypes.getType(
            "weaver.gui.KadabraLauncher"
        ) as KadabraJavaClasses.KadabraLauncher;
    }
    static get KadabraJoinPoints() {
        return JavaTypes.getType(
            "weaver.kadabra.importable.KadabraJoinPoints"
        ) as KadabraJavaClasses.KadabraJoinPoints;
    }
    static get OperatorUtils() {
        return JavaTypes.getType(
            "weaver.utils.element.OperatorUtils"
        ) as KadabraJavaClasses.OperatorUtils;
    }
    static get AndroidResources() {
        return JavaTypes.getType(
            "weaver.utils.android.AndroidResources"
        ) as KadabraJavaClasses.AndroidResources;
    }
}