org.eclipse.ocl.examples.debug.vm
Class UnitManager

java.lang.Object
  org.eclipse.ocl.examples.debug.vm.UnitManager

public class UnitManager
extends java.lang.Object

Field Summary

protected MetaModelManager

metaModelManager

Method Summary

static void	collectAllImports(CompiledUnit mainUnit, java.util.HashSet<CompiledUnit> allUnits)
CompiledUnit	findUnitForModule(NamedElement module)
CompiledUnit	getCompiledModule(org.eclipse.emf.common.util.URI unitURI)
LineNumberProvider	getLineNumberProvider(org.eclipse.emf.common.util.URI unitURI)
CompiledUnit	getMainUnit()

Methods inherited from class java.lang.Object

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

Field Detail

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager

Method Detail

collectAllImports

public static void collectAllImports(CompiledUnit mainUnit,
                                     java.util.HashSet<CompiledUnit> allUnits)

getMainUnit

@NonNull
public CompiledUnit getMainUnit()

getCompiledModule

@Nullable
public CompiledUnit getCompiledModule(@NonNull
                                               org.eclipse.emf.common.util.URI unitURI)

getLineNumberProvider

@Nullable
public LineNumberProvider getLineNumberProvider(@NonNull
                                                         org.eclipse.emf.common.util.URI unitURI)

findUnitForModule

@Nullable
public CompiledUnit findUnitForModule(@NonNull
                                               NamedElement module)