de.rwth.i2.attestor.graph.heap

Interface Matching

All Known Implementing Classes:

InternalMatching

public interface Matching

A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
int	match(int element)
HeapConfiguration	pattern()

Method Detail

pattern

HeapConfiguration pattern()

Returns:

The HeapConfiguration that determines that pattern that is matched onto a target HeapConfiguration by this Matching.

match

int match(int element)

Parameters:

element - An element of the pattern HeapConfiguration.

Returns:

The element in the target HeapConfiguration corresponding to the given element of the pattern HeapConfiguration.