| java.lang.Object de.uka.ilkd.key.visualdebugger.SourceElementId
SourceElementId | public class SourceElementId (Code) | | A source element id identifies an occurrence of a source code element
unambigously. In the current implementation an occurrence is identified by
labeling programs (up to now only statement labels are supported). the
labelling is performed by inserting a pseudo method call
Debug.sep(id) before and after each statement.
An isnatnce of this class refers to exact one such label.
|
SourceElementId | public SourceElementId(String cl, int id)(Code) | | |
SourceElementId | public SourceElementId(String cl, String id, boolean isStatement, boolean isBoolean)(Code) | | |
hashCode | public int hashCode()(Code) | | |
isBoolean | public boolean isBoolean()(Code) | | |
isStatement | public boolean isStatement()(Code) | | |
|
|