• Home
• org.graalvm.truffle
• truffle-tck-instrumentation
• 19.3.2
• source code
• VerifierInstrumentProvider.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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

import com.oracle.truffle.api.dsl.GeneratedBy;
import com.oracle.truffle.api.instrumentation.TruffleInstrument;
import com.oracle.truffle.api.instrumentation.TruffleInstrument.Provider;
import com.oracle.truffle.api.instrumentation.TruffleInstrument.Registration;
import com.oracle.truffle.tck.instrumentation.VerifierInstrument;
import java.util.Arrays;
import java.util.Collection;

@GeneratedBy(VerifierInstrument.class)
@Registration(id = "TckVerifierInstrument", name = "TckVerifierInstrument")
public class VerifierInstrumentProvider implements Provider {

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

    @Override
    public TruffleInstrument create() {
        return new VerifierInstrument();
    }

    @Override
    public Collection getServicesClassNames() {
        return Arrays.asList("com.oracle.truffle.tck.common.inline.InlineVerifier");
    }

}