org.eclipse.viatra.query.runtime.matchers.backend

Class CommonQueryHintOptions

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.backend.CommonQueryHintOptions

public final class CommonQueryHintOptions
extends java.lang.Object

Query evaluation hints applicable to any engine

Since:

1.6

Field Summary

Fields

Modifier and Type	Field and Description
static QueryHintOption<IRewriterTraceCollector>	normalizationTraceCollector This hint instructs the query backends to record trace information into the given trace collector

Constructor Summary

Constructors

Constructor and Description
CommonQueryHintOptions()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

normalizationTraceCollector

public static final QueryHintOption<IRewriterTraceCollector> normalizationTraceCollector

This hint instructs the query backends to record trace information into the given trace collector

Constructor Detail

CommonQueryHintOptions

public CommonQueryHintOptions()