Package tools.refinery.interpreter.matchers.backend

Class CommonQueryHintOptions

java.lang.Object

tools.refinery.interpreter.matchers.backend.CommonQueryHintOptions

public final class CommonQueryHintOptions
extends Object

Query evaluation hints applicable to any engine

Since:

1.6

Field Summary

Fields

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

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

normalizationTraceCollector

public static final QueryHintOption<IRewriterTraceCollector> normalizationTraceCollector

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