de.rwth.i2.attestor.graph.heap.internal

Class InternalMatching

java.lang.Object

de.rwth.i2.attestor.graph.heap.internal.InternalMatching

All Implemented Interfaces:

Matching

public class InternalMatching
extends Object
implements Matching

Implementation of Matching for InternalHeapConfiguration. Essentially this class wraps a Morphism.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
InternalMatching(HeapConfiguration pattern, Morphism morphism, HeapConfiguration target) Initializes a new InternalMatching.

Method Summary

Modifier and Type	Method and Description
int	internalMatch(int element) Directly match elements using private IDs.
int	match(int element)
HeapConfiguration	pattern()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InternalMatching

public InternalMatching(HeapConfiguration pattern,
                        Morphism morphism,
                        HeapConfiguration target)

Initializes a new InternalMatching.

Parameters:

pattern - The pattern HeapConfiguration whose underlying Graph is used by morphism.

morphism - The target HeapConfiguration whose underlying Graph is used by morphism.

target - The encapsulated Morphism that maps elements from pattern to target.

Method Detail

pattern

public HeapConfiguration pattern()

Specified by:

pattern in interface Matching

Returns:

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

internalMatch

public int internalMatch(int element)

Directly match elements using private IDs.

Parameters:

element - private ID of an

Returns:

corresponding private ID

match

public int match(int element)

Specified by:

match in interface Matching

Parameters:

element - An element of the pattern HeapConfiguration.

Returns:

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