org.eclipse.incquery.runtime.matchers.psystem.rewriters

Class FlattenerCopier

java.lang.Object

org.eclipse.incquery.runtime.matchers.psystem.rewriters.PBodyCopier

org.eclipse.incquery.runtime.matchers.psystem.rewriters.FlattenerCopier

public class FlattenerCopier
extends PBodyCopier

This rewriter class can add new equality constraints to the copied body

Author:

Marton Bur

Constructor Summary

Constructors

Constructor and Description
FlattenerCopier(PQuery query, java.util.List<PositivePatternCall> callsToFlatten, java.util.List<PBody> calledBodies)

Method Summary

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.rewriters.PBodyCopier

getCopiedBody, getVariableMapping, mergeBody, mergeBody

Methods inherited from class java.lang.Object

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

Constructor Detail

FlattenerCopier

public FlattenerCopier(PQuery query,
                       java.util.List<PositivePatternCall> callsToFlatten,
                       java.util.List<PBody> calledBodies)