org.eclipse.ocl.examples.codegen.cse

Class LocalPlace

java.lang.Object

org.eclipse.ocl.examples.codegen.cse.AbstractPlace

org.eclipse.ocl.examples.codegen.cse.LocalPlace

Direct Known Subclasses:

ControlPlace, StackPlace

public abstract class LocalPlace
extends AbstractPlace

A LocalPlace describes a forest of CG trees that cannot be resolved as global constants.

Method Summary

Modifier and Type	Method and Description
void	addControlPlace(ControlPlace controlPlace)
static AbstractPlace	createLocalPlace(Map<CGElement,AbstractPlace> element2place, CGValuedElement cgElement)
GlobalPlace	getGlobalPlace() Return the GlobalPlace.
abstract StackPlace	getStackPlace() Return the stack place hosting this place.
void	printHierarchy(Appendable appendable, String indentation)
void	prune() Eliminate CSE candidates that are not shared and do not need to be CSEs.
void	pullUp() Pull up all redundant child analyses that are visible in a parent to the parent.
void	pushUp() Push shareable analyses up the place tree.
void	rewrite() Rewrite the expression trees to exploit the CSEs.

Methods inherited from class org.eclipse.ocl.examples.codegen.cse.AbstractPlace

getControlPlace, getParentPlace

Methods inherited from class java.lang.Object

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

Method Detail

createLocalPlace

public static AbstractPlace createLocalPlace(Map<CGElement,AbstractPlace> element2place,
                                             CGValuedElement cgElement)

addControlPlace

public void addControlPlace(ControlPlace controlPlace)

getGlobalPlace

public GlobalPlace getGlobalPlace()

Description copied from class: AbstractPlace

Return the GlobalPlace.

Specified by:

getGlobalPlace in class AbstractPlace

getStackPlace

public abstract StackPlace getStackPlace()

Description copied from class: AbstractPlace

Return the stack place hosting this place. Returns for the GlobalPlace..

Specified by:

getStackPlace in class AbstractPlace

printHierarchy

public void printHierarchy(Appendable appendable,
                           String indentation)

Specified by:

printHierarchy in class AbstractPlace

prune

public void prune()

Eliminate CSE candidates that are not shared and do not need to be CSEs. For the retained CSEs select the shallowest candidate as the actaul CSE.

pullUp

public void pullUp()

Pull up all redundant child analyses that are visible in a parent to the parent.

pushUp

public void pushUp()

Push shareable analyses up the place tree. e.g. something on both then and else arms of an if can be pushed up.

rewrite

public void rewrite()

Rewrite the expression trees to exploit the CSEs.