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

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 LocalPlace