public class EmbeddingCheckerProvider extends Object
| Constructor and Description |
|---|
EmbeddingCheckerProvider(int minDereferenceDepth,
boolean aggressiveNullAbstractionEnabled,
boolean aggressiveCompositeMarkingAbstraction)
Constructs an EmbeddingCheckerProvider with the given communication
|
| Modifier and Type | Method and Description |
|---|---|
AbstractMatchingChecker |
getEmbeddingChecker(HeapConfiguration graph,
HeapConfiguration pattern)
For the given target and pattern, gets the correct EmbeddingCheckerType for the stored
communication and the given semantics
|
public EmbeddingCheckerProvider(int minDereferenceDepth,
boolean aggressiveNullAbstractionEnabled,
boolean aggressiveCompositeMarkingAbstraction)
minDereferenceDepth - the distance which has to be ensured between an embedding and
the next node referenced by a variablepublic AbstractMatchingChecker getEmbeddingChecker(HeapConfiguration graph, HeapConfiguration pattern)
graph - the target graphpattern - the graph which will be embeddedCopyright © 2018. All rights reserved.