org.eclipse.ocl.examples.codegen.cse

Class ControlPlace

java.lang.Object

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

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

org.eclipse.ocl.examples.codegen.cse.ControlPlace

Direct Known Subclasses:

CatchPlace, IfPlaces.ElsePlace, IfPlaces.ThenPlace, LetPlaces.InPlace, ThrowPlace

public class ControlPlace
extends LocalPlace

A ControlPlace is associated with a location in the CG AST such as the then or else (but not condition) ig a CGIfExp at which child nodes cannot be hoisted without violating control dependencies.

Constructor Summary

Constructors

Constructor and Description
ControlPlace(LocalPlace parentPlace, CGValuedElement cgElement)

Method Summary

Modifier and Type	Method and Description
void	addAnalysis(AbstractAnalysis anAnalysis)
static AbstractPlace	createControlPlace(Map<CGElement,AbstractPlace> element2place, CGValuedElement cgElement)
static ControlPlace	getControlPlace(Map<CGElement,AbstractPlace> element2place, CGValuedElement cgElement)
int	getDepth()
HashedAnalyses	getHashedAnalyses()
LocalPlace	getParentPlace() Return the parent of this place, which is self for the GlobalPlace.
SimpleAnalysis	getSimpleAnalysis()
StackPlace	getStackPlace() Return the stack place hosting this place.
void	printHierarchy(Appendable appendable, String indentation)
void	prune() Filter the element analyses to discard non-SharedAnalysis and to return a partitioning of the results by minimum depth.
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.
String	toString()

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

addControlPlace, createLocalPlace, getGlobalPlace

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

getControlPlace

Methods inherited from class java.lang.Object

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

Constructor Detail

ControlPlace

public ControlPlace(LocalPlace parentPlace,
                    CGValuedElement cgElement)

Method Detail

createControlPlace

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

getControlPlace

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

addAnalysis

public void addAnalysis(AbstractAnalysis anAnalysis)

getDepth

public int getDepth()

getHashedAnalyses

public HashedAnalyses getHashedAnalyses()

getParentPlace

public LocalPlace getParentPlace()

Description copied from class: AbstractPlace

Return the parent of this place, which is self for the GlobalPlace.

Specified by:

getParentPlace in class AbstractPlace

getSimpleAnalysis

public SimpleAnalysis getSimpleAnalysis()

getStackPlace

public StackPlace getStackPlace()

Description copied from class: AbstractPlace

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

Specified by:

getStackPlace in class LocalPlace

printHierarchy

public void printHierarchy(Appendable appendable,
                           String indentation)

Overrides:

printHierarchy in class LocalPlace

prune

public void prune()

Filter the element analyses to discard non-SharedAnalysis and to return a partitioning of the results by minimum depth.

Overrides:

prune in class LocalPlace

pullUp

public void pullUp()

Description copied from class: LocalPlace

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

Overrides:

pullUp in class LocalPlace

pushUp

public void pushUp()

Description copied from class: LocalPlace

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

Overrides:

pushUp in class LocalPlace

rewrite

public void rewrite()

Description copied from class: LocalPlace

Rewrite the expression trees to exploit the CSEs.

Overrides:

rewrite in class LocalPlace

toString

public String toString()

Overrides:

toString in class Object