com.oracle.truffle.api.vm.PolyglotEngineOptionsOptionDescriptors Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of truffle-api Show documentation

Truffle is a multi-language framework for executing dynamic languages that achieves high performance when combined with Graal.

There is a newer version: 1.0.0-rc7

Show newest version

// CheckStyle: start generated
package com.oracle.truffle.api.vm;

import java.util.Arrays;
import java.util.Iterator;
import org.graalvm.options.OptionCategory;
import org.graalvm.options.OptionDescriptor;
import org.graalvm.options.OptionDescriptors;

final class PolyglotEngineOptionsOptionDescriptors implements OptionDescriptors {

    @Override
    public OptionDescriptor get(String optionName) {
        switch (optionName) {
            case "engine.InstrumentExceptionsAreThrown" :
                return OptionDescriptor.newBuilder(PolyglotEngineOptions.InstrumentExceptionsAreThrown, "engine.InstrumentExceptionsAreThrown").deprecated(false).help("Propagates exceptions thrown by instruments.").category(OptionCategory.DEBUG).build();
            case "engine.PreinitializeContexts" :
                return OptionDescriptor.newBuilder(PolyglotEngineOptions.PreinitializeContexts, "engine.PreinitializeContexts").deprecated(false).help("Preinitialize language contexts for given languages.").category(OptionCategory.EXPERT).build();
        }
        return null;
    }

    @Override
    public Iterator iterator() {
        return Arrays.asList(
            OptionDescriptor.newBuilder(PolyglotEngineOptions.InstrumentExceptionsAreThrown, "engine.InstrumentExceptionsAreThrown").deprecated(false).help("Propagates exceptions thrown by instruments.").category(OptionCategory.DEBUG).build(),
            OptionDescriptor.newBuilder(PolyglotEngineOptions.PreinitializeContexts, "engine.PreinitializeContexts").deprecated(false).help("Preinitialize language contexts for given languages.").category(OptionCategory.EXPERT).build())
        .iterator();
    }

}