Package com.oracle.truffle.tck.instrumentation

Class VerifierInstrument

java.lang.Object
com.oracle.truffle.api.instrumentation.TruffleInstrument
com.oracle.truffle.tck.instrumentation.VerifierInstrument
All Implemented Interfaces:
com.oracle.truffle.tck.common.inline.InlineVerifier
public class VerifierInstrument extends com.oracle.truffle.api.instrumentation.TruffleInstrument implements com.oracle.truffle.tck.common.inline.InlineVerifier
Verify constraints of Truffle languages.

  • Nested Class Summary

    Nested classes/interfaces inherited from class com.oracle.truffle.api.instrumentation.TruffleInstrument

    com.oracle.truffle.api.instrumentation.TruffleInstrument.ContextLocalFactory<T>, com.oracle.truffle.api.instrumentation.TruffleInstrument.ContextLocalProvider, com.oracle.truffle.api.instrumentation.TruffleInstrument.ContextThreadLocalFactory<T>, com.oracle.truffle.api.instrumentation.TruffleInstrument.Env, com.oracle.truffle.api.instrumentation.TruffleInstrument.Registration

    Nested classes/interfaces inherited from interface com.oracle.truffle.tck.common.inline.InlineVerifier

    com.oracle.truffle.tck.common.inline.InlineVerifier.ResultVerifier

  • Field Summary

    Fields inherited from class com.oracle.truffle.api.instrumentation.TruffleInstrument

    locals

    Fields inherited from interface com.oracle.truffle.tck.common.inline.InlineVerifier

    ID

  • Constructor Summary

    Constructors
    Constructor
    Description
    VerifierInstrument()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    onCreate(com.oracle.truffle.api.instrumentation.TruffleInstrument.Env instrumentEnv)
     
    void
    setInlineSnippet(String languageId, org.graalvm.polyglot.tck.InlineSnippet inlineSnippet, com.oracle.truffle.tck.common.inline.InlineVerifier.ResultVerifier verifier)
     

    Methods inherited from class com.oracle.truffle.api.instrumentation.TruffleInstrument

    createContextLocal, createContextThreadLocal, getContextOptionDescriptors, getOptionDescriptors, getSourceOptionDescriptors, onDispose, onFinalize

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • VerifierInstrument

      public VerifierInstrument()

  • Method Details

    • onCreate

      protected void onCreate(com.oracle.truffle.api.instrumentation.TruffleInstrument.Env instrumentEnv)
      Specified by:
      onCreate in class com.oracle.truffle.api.instrumentation.TruffleInstrument

    • setInlineSnippet

      public void setInlineSnippet(String languageId, org.graalvm.polyglot.tck.InlineSnippet inlineSnippet, com.oracle.truffle.tck.common.inline.InlineVerifier.ResultVerifier verifier)
      Specified by:
      setInlineSnippet in interface com.oracle.truffle.tck.common.inline.InlineVerifier