package com.oracle.truffle.api;
import java.io.InputStream;
import java.io.OutputStream;
import java.net.URI;
import java.nio.charset.Charset;
import java.nio.file.FileSystemNotFoundException;
import java.nio.file.Path;
import java.util.ArrayList;
import java.util.Collections;
import java.util.LinkedHashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;
import java.util.logging.Level;
import org.graalvm.options.OptionDescriptor;
import org.graalvm.options.OptionDescriptors;
import org.graalvm.options.OptionValues;
import org.graalvm.polyglot.io.FileSystem;
import com.oracle.truffle.api.TruffleLanguage.ContextLocalFactory;
import com.oracle.truffle.api.TruffleLanguage.ContextThreadLocalFactory;
import com.oracle.truffle.api.TruffleLanguage.Env;
import com.oracle.truffle.api.frame.Frame;
import com.oracle.truffle.api.frame.MaterializedFrame;
import com.oracle.truffle.api.impl.Accessor;
import com.oracle.truffle.api.nodes.ExecutableNode;
import com.oracle.truffle.api.nodes.LanguageInfo;
import com.oracle.truffle.api.nodes.Node;
import com.oracle.truffle.api.nodes.RootNode;
import com.oracle.truffle.api.source.Source;
import com.oracle.truffle.api.source.SourceSection;
final class LanguageAccessor extends Accessor {
static final LanguageAccessor ACCESSOR = new LanguageAccessor();
static final NodeSupport NODES = ACCESSOR.nodeSupport();
static final SourceSupport SOURCE = ACCESSOR.sourceSupport();
static final InstrumentSupport INSTRUMENT = ACCESSOR.instrumentSupport();
static final JDKSupport JDK = ACCESSOR.jdkSupport();
static final EngineSupport ENGINE = ACCESSOR.engineSupport();
static final InteropSupport INTEROP = ACCESSOR.interopSupport();
private LanguageAccessor() {
}
static EngineSupport engineAccess() {
return ACCESSOR.engineSupport();
}
static InstrumentSupport instrumentAccess() {
return ACCESSOR.instrumentSupport();
}
static NodeSupport nodesAccess() {
return ACCESSOR.nodeSupport();
}
static InteropSupport interopAccess() {
return ACCESSOR.interopSupport();
}
static ExceptionSupport exceptionAccess() {
return ACCESSOR.exceptionSupport();
}
static IOSupport ioAccess() {
return ACCESSOR.ioSupport();
}
static JDKSupport jdkServicesAccessor() {
return ACCESSOR.jdkSupport();
}
static final class LanguageImpl extends LanguageSupport {
@Override
public boolean isTruffleStackTrace(Throwable t) {
return t instanceof TruffleStackTrace.LazyStackTrace;
}
@Override
public StackTraceElement[] getInternalStackTraceElements(Throwable t) {
TruffleStackTrace trace = ((TruffleStackTrace.LazyStackTrace) t).getInternalStackTrace();
if (trace == null) {
return new StackTraceElement[0];
} else {
return trace.getInternalStackTrace();
}
}
@Override
public void materializeHostFrames(Throwable original) {
TruffleStackTrace.materializeHostFrames(original);
}
@Override
public InstrumentInfo createInstrument(Object polyglotInstrument, String id, String name, String version) {
return new InstrumentInfo(polyglotInstrument, id, name, version);
}
@Override
public Object getPolyglotInstrument(InstrumentInfo info) {
return info.getPolyglotInstrument();
}
@Override
public void initializeLanguage(TruffleLanguage<?> impl, LanguageInfo language, Object polyglotLanguage, Object polyglotLanguageInstance) {
impl.languageInfo = language;
impl.reference = engineAccess().getCurrentContextReference(polyglotLanguage);
impl.polyglotLanguageInstance = polyglotLanguageInstance;
if (impl.contextLocals == null) {
impl.contextLocals = Collections.emptyList();
} else {
ENGINE.initializeLanguageContextLocal(impl.contextLocals, polyglotLanguageInstance);
impl.contextLocals = Collections.unmodifiableList(impl.contextLocals);
}
if (impl.contextThreadLocals == null) {
impl.contextThreadLocals = Collections.emptyList();
} else {
ENGINE.initializeLanguageContextThreadLocal(impl.contextThreadLocals, polyglotLanguageInstance);
impl.contextThreadLocals = Collections.unmodifiableList(impl.contextThreadLocals);
}
}
@SuppressWarnings("deprecation")
@Override
public boolean initializeMultiContext(TruffleLanguage<?> language) {
language.initializeMultipleContexts();
return language.initializeMultiContext();
}
@Override
public Object getContext(TruffleLanguage.Env env) {
Object c = env.getLanguageContext();
if (c != TruffleLanguage.Env.UNSET_CONTEXT) {
return c;
} else {
return null;
}
}
@Override
public Object getPolyglotLanguageContext(Env env) {
return env.getPolyglotLanguageContext();
}
@Override
public Object getFileSystemContext(TruffleFile file) {
return file.getFileSystemContext();
}
@Override
public Object getLanguageView(Env env, Object value) {
Object c = env.getLanguageContext();
if (c == TruffleLanguage.Env.UNSET_CONTEXT) {
CompilerDirectives.transferToInterpreter();
return null;
} else {
Object result = env.getSpi().getLanguageView(c, value);
if (result == null) {
return LanguageAccessor.engineAccess().getDefaultLanguageView(env.spi, c, value);
} else {
return result;
}
}
}
@Override
@SuppressWarnings("deprecation")
public Object getLegacyScopedView(Env env, Node location, Frame frame, Object value) {
Object c = env.getLanguageContext();
if (c == TruffleLanguage.Env.UNSET_CONTEXT) {
CompilerDirectives.transferToInterpreter();
return value;
} else {
return env.getSpi().getScopedView(c, location, frame, value);
}
}
@Override
public Object getScope(Env env) {
Object c = env.getLanguageContext();
if (c == TruffleLanguage.Env.UNSET_CONTEXT) {
CompilerDirectives.transferToInterpreter();
return null;
} else {
Object result = env.getSpi().getScope(c);
assert ACCESSOR.interopSupport().isScopeObject(result) : String.format("%s is not a scope", result);
return result;
}
}
@Override
public Object getPolyglotContext(TruffleContext context) {
return context.polyglotContext;
}
@SuppressWarnings("unchecked")
@Override
public Object invokeContextLocalFactory(Object factory, Object contextImpl) {
Object result = ((ContextLocalFactory<Object, Object>) factory).create(contextImpl);
if (result == null) {
throw new IllegalStateException(String.format("%s.create is not allowed to return null.", ContextLocalFactory.class.getSimpleName()));
}
return result;
}
@SuppressWarnings("unchecked")
@Override
public Object invokeContextThreadLocalFactory(Object factory, Object contextImpl, Thread thread) {
Object result = ((ContextThreadLocalFactory<Object, Object>) factory).create(contextImpl, thread);
if (result == null) {
throw new IllegalStateException(String.format("%s.create is not allowed to return null.", ContextThreadLocalFactory.class.getSimpleName()));
}
return result;
}
@Override
public TruffleLanguage<?> getSPI(TruffleLanguage.Env env) {
return env.getSpi();
}
@Override
public TruffleLanguage.Env createEnv(Object polyglotLanguageContext, TruffleLanguage<?> language, OutputStream stdOut, OutputStream stdErr, InputStream stdIn, Map<String, Object> config,
OptionValues options, String[] applicationArguments) {
TruffleLanguage.Env env = new TruffleLanguage.Env(polyglotLanguageContext, language, stdOut, stdErr, stdIn, config, options, applicationArguments);
LinkedHashSet<Object> collectedServices = new LinkedHashSet<>();
LanguageInfo info = language.languageInfo;
instrumentAccess().collectEnvServices(collectedServices, ACCESSOR.nodeSupport().getPolyglotLanguage(info), language);
env.services = new ArrayList<>(collectedServices);
return env;
}
@Override
public Object createEnvContext(TruffleLanguage.Env env, List<Object> servicesCollector) {
env.languageServicesCollector = servicesCollector;
Object context;
try {
context = env.getSpi().createContext(env);
} finally {
env.languageServicesCollector = null;
}
env.context = context;
Assumption contextUnchanged = env.contextUnchangedAssumption;
env.contextUnchangedAssumption = Truffle.getRuntime().createAssumption("Language context unchanged");
contextUnchanged.invalidate();
return context;
}
@Override
public TruffleContext createTruffleContext(Object impl, boolean creator) {
return new TruffleContext(impl, creator);
}
@Override
public void postInitEnv(TruffleLanguage.Env env) {
env.postInit();
}
@Override
public boolean isContextInitialized(TruffleLanguage.Env env) {
return env.isInitialized();
}
@Override
@SuppressWarnings("unused")
public CallTarget parse(TruffleLanguage.Env env, Source code, Node context, String... argumentNames) {
return env.getSpi().parse(code, argumentNames);
}
@Override
public ExecutableNode parseInline(TruffleLanguage.Env env, Source code, Node context, MaterializedFrame frame) {
return env.getSpi().parseInline(code, context, frame);
}
@Override
public LanguageInfo getLanguageInfo(TruffleLanguage.Env env) {
return env.getSpi().languageInfo;
}
@Override
public void onThrowable(Node callNode, RootCallTarget root, Throwable e, Frame frame) {
TruffleStackTrace.addStackFrameInfo(callNode, root, e, frame);
}
@Override
public void initializeThread(TruffleLanguage.Env env, Thread current) {
env.getSpi().initializeThread(env.context, current);
}
@Override
public boolean isThreadAccessAllowed(TruffleLanguage.Env language, Thread thread, boolean singleThread) {
return language.getSpi().isThreadAccessAllowed(thread, singleThread);
}
@Override
public void initializeMultiThreading(TruffleLanguage.Env env) {
env.getSpi().initializeMultiThreading(env.context);
}
@Override
public void finalizeContext(TruffleLanguage.Env env) {
env.getSpi().finalizeContext(env.context);
}
@Override
public void disposeThread(TruffleLanguage.Env env, Thread current) {
env.getSpi().disposeThread(env.context, current);
}
@Override
public Object evalInContext(Source source, Node node, final MaterializedFrame mFrame) {
CallTarget target = ACCESSOR.nodeSupport().getLanguage(node.getRootNode()).parse(source);
try {
if (target instanceof RootCallTarget) {
RootNode exec = ((RootCallTarget) target).getRootNode();
return exec.execute(mFrame);
} else {
throw new IllegalStateException("" + target);
}
} catch (Exception ex) {
if (ex instanceof RuntimeException) {
throw (RuntimeException) ex;
}
throw new RuntimeException(ex);
}
}
@Override
public Object findExportedSymbol(TruffleLanguage.Env env, String globalName, boolean onlyExplicit) {
return env.findExportedSymbol(globalName, onlyExplicit);
}
@Override
public LanguageInfo getLanguageInfo(TruffleLanguage<?> language) {
return language.languageInfo;
}
@Override
public Object getPolyglotLanguageInstance(TruffleLanguage<?> language) {
if (language == null) {
return null;
}
return language.polyglotLanguageInstance;
}
@Override
public void dispose(TruffleLanguage.Env env) {
env.dispose();
}
@Override
public boolean isVisible(TruffleLanguage.Env env, Object value) {
return env.isVisible(value);
}
@Override
public String legacyToString(TruffleLanguage.Env env, Object value) {
return env.toStringIfVisible(value, false);
}
@Override
public Object legacyFindMetaObject(TruffleLanguage.Env env, Object obj) {
return env.findMetaObjectImpl(obj);
}
@Override
public SourceSection legacyFindSourceLocation(TruffleLanguage.Env env, Object obj) {
return env.findSourceLocation(obj);
}
@Override
public boolean isObjectOfLanguage(TruffleLanguage.Env env, Object value) {
return env.isObjectOfLanguage(value);
}
@SuppressWarnings("deprecation")
@Override
public <C> Object legacyFindMetaObject(TruffleLanguage<C> language, C context, Object value) {
return language.findMetaObject(context, value);
}
@SuppressWarnings("deprecation")
@Override
public <C> SourceSection legacyFindSourceLocation(TruffleLanguage<C> language, C context, Object value) {
return language.findSourceLocation(context, value);
}
@SuppressWarnings("deprecation")
@Override
public <C> String legacyToString(TruffleLanguage<C> language, C context, Object obj) {
return language.toString(context, obj);
}
@Override
@SuppressWarnings("deprecation")
public Iterable<Scope> findLegacyLocalScopes(TruffleLanguage.Env env, Node node, Frame frame) {
return env.findLocalScopes(node, frame);
}
@Override
@SuppressWarnings("deprecation")
public Iterable<Scope> findTopScopes(TruffleLanguage.Env env) {
return env.findTopScopes();
}
@Override
public OptionDescriptors describeOptions(TruffleLanguage<?> language, String requiredGroup) {
OptionDescriptors descriptors = language.getOptionDescriptors();
if (descriptors == null) {
return OptionDescriptors.EMPTY;
}
assert verifyDescriptors(language, requiredGroup, descriptors);
return descriptors;
}
private static boolean verifyDescriptors(TruffleLanguage<?> language, String requiredGroup, OptionDescriptors descriptors) {
String groupPlusDot = requiredGroup + ".";
for (OptionDescriptor descriptor : descriptors) {
if (!descriptor.getName().equals(requiredGroup) && !descriptor.getName().startsWith(groupPlusDot)) {
throw new IllegalArgumentException(String.format("Illegal option prefix in name '%s' specified for option described by language '%s'. " +
"The option prefix must match the id of the language '%s'.",
descriptor.getName(), language.getClass().getName(), requiredGroup));
}
}
return true;
}
@Override
public TruffleLanguage.Env patchEnvContext(TruffleLanguage.Env env, OutputStream stdOut, OutputStream stdErr, InputStream stdIn, Map<String, Object> config, OptionValues options,
String[] applicationArguments) {
assert env.spi != null;
final TruffleLanguage.Env newEnv = createEnv(
env.polyglotLanguageContext,
env.spi,
stdOut,
stdErr,
stdIn,
config,
options,
applicationArguments);
newEnv.initialized = env.initialized;
newEnv.context = env.context;
boolean success = env.getSpi().patchContext(env.context, newEnv);
if (success) {
env.valid = false;
return newEnv;
} else {
return null;
}
}
@Override
public Object createFileSystemContext(Object engineFileSystemContext, FileSystem fileSystem) {
return new TruffleFile.FileSystemContext(engineFileSystemContext, fileSystem);
}
@Override
public Object getFileSystemEngineObject(Object fileSystemContext) {
return ((TruffleFile.FileSystemContext) fileSystemContext).engineObject;
}
@Override
public String detectMimeType(TruffleFile file, Set<String> validMimeTypes) {
return file.detectMimeType(validMimeTypes);
}
@Override
public Charset detectEncoding(TruffleFile file, String mimeType) {
String useMimeType = mimeType == null ? file.detectMimeType() : mimeType;
return useMimeType == null ? null : file.detectEncoding(useMimeType);
}
@Override
public void configureLoggers(Object polyglotContext, Map<String, Level> logLevels, Object... loggers) {
for (Object loggerCache : loggers) {
if (logLevels == null) {
((TruffleLogger.LoggerCache) loggerCache).removeLogLevelsForContext(polyglotContext);
} else {
((TruffleLogger.LoggerCache) loggerCache).addLogLevelsForContext(polyglotContext, logLevels);
}
}
}
@Override
public boolean areOptionsCompatible(TruffleLanguage<?> language, OptionValues firstContextOptions, OptionValues newContextOptions) {
return language.areOptionsCompatible(firstContextOptions, newContextOptions);
}
@Override
public TruffleLanguage<?> getLanguage(TruffleLanguage.Env env) {
return env.getSpi();
}
@Override
public TruffleFile getTruffleFile(String path, Object fileSystemContext) {
TruffleFile.FileSystemContext ctx = (TruffleFile.FileSystemContext) fileSystemContext;
return new TruffleFile(ctx, ctx.fileSystem.parsePath(path));
}
@Override
public TruffleFile getTruffleFile(Object fileSystemContext, URI uri) {
TruffleFile.FileSystemContext ctx = (TruffleFile.FileSystemContext) fileSystemContext;
try {
return new TruffleFile(ctx, ctx.fileSystem.parsePath(uri));
} catch (UnsupportedOperationException e) {
throw new FileSystemNotFoundException("FileSystem for: " + uri.getScheme() + " scheme is not supported.");
}
}
@Override
public boolean hasAllAccess(Object fileSystemContext) {
TruffleFile.FileSystemContext ctx = (TruffleFile.FileSystemContext) fileSystemContext;
return engineAccess().hasAllAccess(ctx.fileSystem);
}
@Override
public TruffleFile getTruffleFile(Object context, String path) {
return getTruffleFile(path, context);
}
@Override
public Object getDefaultLoggers() {
return TruffleLogger.LoggerCache.getInstance();
}
@Override
public Object createEngineLoggers(Object spi, Map<String, Level> logLevels) {
return TruffleLogger.createLoggerCache(spi, logLevels);
}
@Override
public void closeEngineLoggers(Object loggers) {
((TruffleLogger.LoggerCache) loggers).close();
}
@Override
public TruffleLogger getLogger(String id, String loggerName, Object loggers) {
return TruffleLogger.getLogger(id, loggerName, (TruffleLogger.LoggerCache) loggers);
}
@Override
public FileSystem getFileSystem(TruffleFile truffleFile) {
return truffleFile.getSPIFileSystem();
}
@Override
public Path getPath(TruffleFile truffleFile) {
return truffleFile.getSPIPath();
}
}
}