org.jsweet.transpiler.extension

Class ExtensionManager

java.lang.Object

org.jsweet.transpiler.extension.ExtensionManager

public class ExtensionManager
extends Object

This class deals with the extension directory, which can contain classes to tune the transpiler's default behavior.

Author:

Renaud Pawlak

Constructor Summary

Constructors

Constructor and Description
ExtensionManager(String extensionDirPath) Creates a new extension manager for the given directory.

Method Summary

Modifier and Type	Method and Description
void	checkAndCompileExtension(File workingDir, String compileClassPath) Checks if some Java source files are to be compiled in the extension directory, and compile them if necessary.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtensionManager

public ExtensionManager(String extensionDirPath)

Creates a new extension manager for the given directory.

Method Detail

checkAndCompileExtension

public void checkAndCompileExtension(File workingDir,
                                     String compileClassPath)

Checks if some Java source files are to be compiled in the extension directory, and compile them if necessary.