@Singleton public class RequiredExtensionalDataNodeExtractor extends Object
| Modifier | Constructor and Description |
|---|---|
protected |
RequiredExtensionalDataNodeExtractor() |
| Modifier and Type | Method and Description |
|---|---|
protected Stream<ExtensionalDataNode> |
extractOtherType(IQTree tree)
By default, not digging into other kind of trees
|
Stream<ExtensionalDataNode> |
extractSomeRequiredNodes(IQTree tree,
boolean fromLeft)
Not required to be exhaustive
Expects the tree to come from a normalized tree
(but won't fail if it is not the case)
|
@Inject protected RequiredExtensionalDataNodeExtractor()
public Stream<ExtensionalDataNode> extractSomeRequiredNodes(IQTree tree, boolean fromLeft)
protected Stream<ExtensionalDataNode> extractOtherType(IQTree tree)
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.