org.eclipse.ocl.examples.codegen.cse

Class CatchPlace

java.lang.Object

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

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

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

org.eclipse.ocl.examples.codegen.cse.CatchPlace

public class CatchPlace
extends ControlPlace

A CatchPlace describes either the body forest of CG trees for a catch expression.

Field Summary

Fields inherited from class org.eclipse.ocl.examples.codegen.cse.ControlPlace

hashedAnalyses, parentPlace, placedElement

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

globalPlace

Method Summary

Modifier and Type	Method and Description
static LocalPlace	createCatchPlace(java.util.Map<CGElement,AbstractPlace> element2place, CGCatchExp cgCatchExp)
void	pushUp() Push shareable analyses up the place tree.

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

addAnalysis, createControlPlace, getControlPlace, getDepth, getHashedAnalyses, getParentPlace, getSimpleAnalysis, getStackPlace, printHierarchy, prune, pullUp, rewrite, toString

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

addControlPlace, createLocalPlace, getGlobalPlace, getGlobalPlace, getLocalPlace, getLocalPlace

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

getControlPlace

Methods inherited from class java.lang.Object

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

Method Detail

createCatchPlace

@NonNull
public static LocalPlace createCatchPlace(@NonNull
                                                    java.util.Map<CGElement,AbstractPlace> element2place,
                                                    @NonNull
                                                    CGCatchExp cgCatchExp)

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 ControlPlace