com.oracle.truffle.tck.instrumentation.VerifierInstrumentProvider Maven / Gradle / Ivy

Go to download

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

Instruments used by the Truffle TCK.

The newest version!

// CheckStyle: start generated
package com.oracle.truffle.tck.instrumentation;

import com.oracle.truffle.api.dsl.GeneratedBy;
import com.oracle.truffle.api.instrumentation.TruffleInstrument.Registration;
import com.oracle.truffle.api.instrumentation.provider.TruffleInstrumentProvider;
import java.util.Collection;
import java.util.List;

@GeneratedBy(VerifierInstrument.class)
@Registration(id = "TckVerifierInstrument", name = "TckVerifierInstrument")
public final class VerifierInstrumentProvider extends TruffleInstrumentProvider {

    @Override
    protected String getInstrumentClassName() {
        return "com.oracle.truffle.tck.instrumentation.VerifierInstrument";
    }

    @Override
    protected Object create() {
        return new VerifierInstrument();
    }

    @Override
    protected Collection getServicesClassNames() {
        return List.of("com.oracle.truffle.tck.common.inline.InlineVerifier");
    }

    @Override
    protected List getInternalResourceIds() {
        return List.of();
    }

    @Override
    protected Object createInternalResource(String resourceId) {
        throw new IllegalArgumentException(String.format("Unsupported internal resource id %s, supported ids are ", resourceId));
    }

}