Constructor and Description |
---|
DeferredBindingQuery(PropertyOracle propertyOracle,
Set<String> linkerNames)
Construct a query for contexts where a type is not available.
|
DeferredBindingQuery(PropertyOracle propertyOracle,
Set<String> linkerNames,
CompilationState compilationState,
String testType)
Construct a fully general query, including a query type and type oracle.
|
Modifier and Type | Method and Description |
---|---|
CompilationState |
getCompilationState() |
int |
getFallbackEvaluationCost() |
Set<String> |
getLinkerNames() |
PropertyOracle |
getPropertyOracle() |
String |
getTestType() |
TypeOracle |
getTypeOracle() |
void |
setFallbackEvaluationCost(int cost) |
public DeferredBindingQuery(PropertyOracle propertyOracle, Set<String> linkerNames)
public DeferredBindingQuery(PropertyOracle propertyOracle, Set<String> linkerNames, CompilationState compilationState, String testType)
public CompilationState getCompilationState()
public int getFallbackEvaluationCost()
public PropertyOracle getPropertyOracle()
public String getTestType()
public TypeOracle getTypeOracle()
public void setFallbackEvaluationCost(int cost)
Copyright © 2018. All rights reserved.