Class SourceFilter

java.lang.Object

com.oracle.truffle.api.instrumentation.SourceFilter

public final class SourceFilter
extends Object

A source filter represents an expression for a subset of guest language sources that are used in an Truffle interpreter.

Start building event filters by calling newBuilder() and complete them by calling SourceFilter.Builder.build().

Since:

0.32

See Also:

• newBuilder()
• Instrumenter.attachLoadSourceListener(SourceFilter, LoadSourceListener, boolean)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
final class	SourceFilter.Builder	Configure your own SourceFilter before creating its instance.

Field Summary

Fields

Modifier and Type	Field	Description
static final SourceFilter	ANY	A filter that matches any source.

Method Summary

Modifier and Type	Method	Description
static SourceFilter.Builder	newBuilder()	Creates a new SourceFilter expression using a builder pattern.

Methods inherited from class Object

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

Field Details

ANY

public static final SourceFilter ANY

A filter that matches any source.

Since:

0.32

Method Details

newBuilder

public static SourceFilter.Builder newBuilder()

Creates a new SourceFilter expression using a builder pattern. Individual builder statements are interpreted as conjunctions (AND) while multiple parameters for individual filter expressions are treated as disjunctions (OR). To create the final filter finalize the expression using SourceFilter.Builder.build().

Returns:

a new builder to create new SourceFilter instances

Since:

0.32

See Also:

• SourceFilter.Builder.sourceIs(Source...)
• SourceFilter.Builder.sourceIs(Predicate)
• SourceFilter.Builder.languageIs(String...)
• SourceFilter.Builder.includeInternal(boolean)
• SourceFilter.Builder.build()