public class TagAggregatorOptions extends PhaseOptions
| Constructor and Description |
|---|
TagAggregatorOptions() |
| Modifier and Type | Method and Description |
|---|---|
TagAggregatorOptions |
aggregateArrayBoundsAndNullPointerChecks() |
TagAggregatorOptions |
aggregateDependenceTags() |
TagAggregatorOptions |
aggregateFieldReadsWrites() |
TagAggregatorOptions |
aggregateLineNumber() |
boolean |
equals(Object o) |
int |
hashCode() |
protected void |
pushToOptionSet() |
addOption, apply, pushSubOption, removeOptionpublic TagAggregatorOptions aggregateLineNumber()
public TagAggregatorOptions aggregateArrayBoundsAndNullPointerChecks()
public TagAggregatorOptions aggregateDependenceTags()
public TagAggregatorOptions aggregateFieldReadsWrites()
protected void pushToOptionSet()
pushToOptionSet in class PhaseOptionspublic boolean equals(Object o)
equals in class PhaseOptionspublic int hashCode()
hashCode in class PhaseOptionsCopyright © 2017. All rights reserved.