org.eclipse.ocl.examples.debug.vm.utils
Interface IModuleSourceInfo


public interface IModuleSourceInfo

Interface allows adapting of a compiled Module to its source information.


Method Summary
 LineNumberProvider getLineNumberProvider()
          Gets the line number provider operating on the module source contents.
 org.eclipse.emf.common.util.URI getSourceURI()
          Gets the name of the module source file.
 

Method Detail

getSourceURI

@Nullable
org.eclipse.emf.common.util.URI getSourceURI()
Gets the name of the module source file.

Returns:
the name string

getLineNumberProvider

@NonNull
LineNumberProvider getLineNumberProvider()
Gets the line number provider operating on the module source contents.

Returns:
the provider instance