com.oracle.truffle.tools.coverage.impl.CoverageInstrumentProvider Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of coverage-tool Show documentation

Core module of the Truffle code coverage tool

There is a newer version: 24.1.1

// CheckStyle: start generated
package com.oracle.truffle.tools.coverage.impl;

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(CoverageInstrument.class)
@Registration(id = "coverage", name = "Code Coverage", version = "0.1.0", website = "https://www.graalvm.org/tools/code-coverage/")
public final class CoverageInstrumentProvider extends TruffleInstrumentProvider {

    @Override
    protected String getInstrumentClassName() {
        return "com.oracle.truffle.tools.coverage.impl.CoverageInstrument";
    }

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

    @Override
    protected Collection getServicesClassNames() {
        return List.of("com.oracle.truffle.tools.coverage.CoverageTracker");
    }

    @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));
    }

}