org.eclipse.ocl.examples.codegen.cse
Class IfPlaces.ThenPlace

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.IfPlaces.ThenPlace

Enclosing class:

IfPlaces

public static class IfPlaces.ThenPlace
extends ControlPlace

A ThenPlace describes the then forest of CG trees for an IF expression.

Field Summary

protected IfPlaces.ElsePlace

elsePlace

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

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, pushUp

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

Field Detail

elsePlace

@NonNull
protected final IfPlaces.ElsePlace elsePlace