Package org.teavm.vm.spi

Interface TeaVMHost

All Superinterfaces:

ServiceRepository

All Known Implementing Classes:

TeaVM

public interface TeaVMHost
extends ServiceRepository

A host of plugins for TeaVM. Plugins are provided with this interface in order to give them ability to extend TeaVM.

Method Summary

Modifier and Type	Method	Description
void	add(DependencyListener dependencyListener)
void	add(ClassHolderTransformer classTransformer)
void	add(MethodReference methodRef, BootstrapMethodSubstitutor substitutor)
void	add(MethodReference methodRef, DependencyPlugin dependencyPlugin)
java.lang.ClassLoader	getClassLoader()	Gets class loaded that is used by TeaVM.
<T extends TeaVMHostExtension> T	getExtension(java.lang.Class<T> extensionType)
java.lang.String[]	getPlatformTags()
java.util.Properties	getProperties()	Gets configuration properties.
<T> void	registerService(java.lang.Class<T> type, T instance)

Methods inherited from interface org.teavm.common.ServiceRepository

getService

Method Detail

add

void add(DependencyListener dependencyListener)

add

void add(ClassHolderTransformer classTransformer)

add

void add(MethodReference methodRef,
         BootstrapMethodSubstitutor substitutor)

add

void add(MethodReference methodRef,
         DependencyPlugin dependencyPlugin)

getExtension

<T extends TeaVMHostExtension> T getExtension(java.lang.Class<T> extensionType)

registerService

<T> void registerService(java.lang.Class<T> type,
                         T instance)

getClassLoader

java.lang.ClassLoader getClassLoader()

Gets class loaded that is used by TeaVM. This class loader is usually specified by TeaVMBuilder.setClassLoader(ClassLoader)

Returns:

class loader that can be used by plugins.

getProperties

java.util.Properties getProperties()

Gets configuration properties. These properties are usually specified by TeaVM.setProperties(Properties).

Returns:

a copy of all of the VM properties. Any further changes to returned objects will not be visible to VM.

getPlatformTags

java.lang.String[] getPlatformTags()